default search action
Martin Hirzel
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j24]Ingkarat Rak-amnouykit
, Ana L. Milanova
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. Softw. Pract. Exp. 54(3): 363-393 (2024) - [c61]Nikitha Rao
AI for Low-Code for AI. IUI 2024: 837-852 - [i23]Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby:
PoTo: A Hybrid Andersen's Points-to Analysis for Python. CoRR abs/2409.03918 (2024) - 2023
- [j23]Martin Hirzel:
Low-Code Programming Models. Commun. ACM 66(10): 76-85 (2023) - [j22]Kanat Tangwongsan, Martin Hirzel, Scott Schneider:
Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and Insertions. Proc. VLDB Endow. 16(11): 3227-3239 (2023) - [c60]Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar:
Searching for Fairer Machine Learning Ensembles. AutoML 2023: 17/1-19 - [i22]Nikitha Rao, Jason Tsay, Kiran Kate, Vincent J. Hellendoorn, Martin Hirzel:
AI for Low-Code for AI. CoRR abs/2305.20015 (2023) - [i21]Kanat Tangwongsan, Martin Hirzel, Scott Schneider:
Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and Insertions (Extended Version). CoRR abs/2307.11210 (2023) - [i20]Martin Hirzel, Michael Feffer:
A Suite of Fairness Datasets for Tabular Classification. CoRR abs/2308.00133 (2023) - [i19]Razan Baltaji, Saurabh Pujar, Louis Mandel, Martin Hirzel, Luca Buratti, Lav R. Varshney:
Learning Transfers over Several Programming Languages. CoRR abs/2310.16937 (2023) - 2022
- [j21]Jason Tsay
Extracting enhanced artificial intelligence model metadata from software repositories. Empir. Softw. Eng. 27(7): 176 (2022) - [c59]Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby:
The raise of machine learning hyperparameter constraints in Python code. ISSTA 2022: 580-592 - [c58]Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay:
Gradual AutoML using Lale. KDD 2022: 4794-4795 - [c57]Nikitha Rao, Jason Tsay, Martin Hirzel, Vincent J. Hellendoorn:
Comments on Comments: Where Code Review and Documentation Meet. MSR 2022: 18-22 - [c56]Yi Yang, Ana L. Milanova, Martin Hirzel:
Complex Python Features in the Wild. MSR 2022: 282-293 - [c55]Julian Dolby, Jason Tsay, Martin Hirzel:
Automatically debugging AutoML pipelines using maro: ML automated remediation oracle. MAPS@PLDI 2022: 60-69 - [i18]Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar:
An Empirical Study of Modular Bias Mitigators and Ensembles. CoRR abs/2202.00751 (2022) - [i17]Nikitha Rao, Jason Tsay, Martin Hirzel, Vincent J. Hellendoorn:
Comments on Comments: Where Code Review and Documentation Meet. CoRR abs/2204.00107 (2022) - [i16]Julian Dolby, Jason Tsay, Martin Hirzel:
Automatically Debugging AutoML Pipelines using Maro: ML Automated Remediation Oracle (Extended Version). CoRR abs/2205.01311 (2022) - [i15]Martin Hirzel:
Low-Code Programming Models. CoRR abs/2205.02282 (2022) - [i14]Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar:
Navigating Ensemble Configurations for Algorithmic Fairness. CoRR abs/2210.05594 (2022) - 2021
- [j20]Kanat Tangwongsan
In-order sliding-window aggregation in worst-case constant time. VLDB J. 30(6): 933-957 (2021) - [c54]Andrew Habib
Finding data compatibility bugs with JSON subschema checking. ISSTA 2021: 620-632 - [c53]Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern:
Learning GraphQL Query Cost. ASE 2021: 1146-1150 - [c52]Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay:
Pipeline Combinators for Gradual AutoML. NeurIPS 2021: 19705-19718 - [c51]Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar:
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. PLDI 2021: 497-510 - [c50]Vincent J. Hellendoorn, Jason Tsay, Manisha Mukherjee, Martin Hirzel:
Towards automating code review at scale. ESEC/SIGSOFT FSE 2021: 1479-1482 - [i13]Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern:
Learning GraphQL Query Costs (Extended Version). CoRR abs/2108.11139 (2021) - 2020
- [c49]Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby:
Python 3 types in the wild: a tale of two type systems. DLS 2020: 57-70 - [c48]Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert:
AIMMX: Artificial Intelligence Model Metadata Extractor. MSR 2020: 81-92 - [i12]Guillaume Baudart, Peter D. Kirchner, Martin Hirzel, Kiran Kate:
Mining Documentation to Extract Hyperparameter Schemas. CoRR abs/2006.16984 (2020) - [i11]Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar:
Lale: Consistent Automated Machine Learning. CoRR abs/2007.01977 (2020) - [i10]Kanat Tangwongsan, Martin Hirzel, Scott Schneider:
In-Order Sliding-Window Aggregation in Worst-Case Constant Time. CoRR abs/2009.13768 (2020)
2010 – 2019
- 2019
- [j19]Kanat Tangwongsan, Martin Hirzel, Scott Schneider:
Optimal and General Out-of-Order Sliding-Window Aggregation. Proc. VLDB Endow. 12(10): 1167-1180 (2019) - [c47]Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar:
Machine learning in Python with no strings attached. MAPL@PLDI 2019: 1-9 - [r4]Martin Hirzel:
Continuous Queries. Encyclopedia of Big Data Technologies 2019 - [r3]Martin Hirzel, Guillaume Baudart:
Stream Processing Languages and Abstractions. Encyclopedia of Big Data Technologies 2019 - [r2]Martin Hirzel, Robert Soulé, Bugra Gedik, Scott Schneider:
Stream Query Optimization. Encyclopedia of Big Data Technologies 2019 - [r1]Kanat Tangwongsan, Martin Hirzel, Scott Schneider:
Sliding-Window Aggregation Algorithms. Encyclopedia of Big Data Technologies 2019 - [i9]Subhrajit Roy, Kiran Kate, Martin Hirzel:
A semi-supervised deep learning algorithm for abnormal EEG identification. CoRR abs/1903.07822 (2019) - [i8]Martin Hirzel, Kiran Kate, Avraham Shinnar, Subhrajit Roy, Parikshit Ram:
Type-Driven Automated Learning with Lale. CoRR abs/1906.03957 (2019) - [i7]Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel:
Type Safety with JSON Subschema. CoRR abs/1911.12651 (2019) - 2018
- [j18]Martin Hirzel, Guillaume Baudart, Angela Bonifati
Stream Processing Languages in the Big Data Era. SIGMOD Rec. 47(2): 29-40 (2018) - [j17]Sherif Sakr, Tilmann Rabl, Martin Hirzel, Paris Carbone, Martin Strohbach:
Dagstuhl Seminar on Big Stream Processing. SIGMOD Rec. 47(3): 36-39 (2018) - [c46]Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Reactive chatbot programming. REBLS@SPLASH 2018: 21-30 - [c45]Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar:
Protecting chatbots from toxic content. Onward! 2018: 99-110 - [e2]Annika Hinze, David M. Eyers, Martin Hirzel, Matthias Weidlich, Sukanya Bhowmik:
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, DEBS 2018, Hamilton, New Zealand, June 25-29, 2018. ACM 2018 [contents] - [i6]Guillaume Baudart, Martin Hirzel, Louis Mandel:
Deep Probabilistic Programming Languages: A Qualitative Study. CoRR abs/1804.06458 (2018) - [i5]Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar:
Extending Stan for Deep Probabilistic Programming. CoRR abs/1810.00873 (2018) - [i4]Kanat Tangwongsan, Martin Hirzel, Scott Schneider:
Sub-O(log n) Out-of-Order Sliding-Window Aggregation. CoRR abs/1810.11308 (2018) - [i3]Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar:
Yaps: Python Frontend to Stan. CoRR abs/1812.04125 (2018) - 2017
- [j16]Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Prototyping a query compiler using Coq (experience report). Proc. ACM Program. Lang. 1(ICFP): 9:1-9:15 (2017) - [j15]Martin Hirzel, Scott Schneider, Bugra Gedik:
SPL: An Extensible Language for Distributed Stream Processing. ACM Trans. Program. Lang. Syst. 39(1): 5:1-5:39 (2017) - [c44]Martin Hirzel, Scott Schneider, Kanat Tangwongsan:
Sliding-Window Aggregation Algorithms: Tutorial. DEBS 2017: 11-14 - [c43]Kanat Tangwongsan, Martin Hirzel, Scott Schneider:
Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. DEBS 2017: 66-77 - [c42]Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
Generating chat bots from web API specifications. Onward! 2017: 44-57 - [c41]Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. SIGMOD Conference 2017: 1555-1569 - [c40]Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Q*cert: A Platform for Implementing and Verifying Query Compilers. SIGMOD Conference 2017: 1703-1706 - [c39]Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri:
I Can Parse You: Grammars for Dialogs. SNAPL 2017: 6:1-6:15 - [i2]Tilmann Rabl, Sherif Sakr, Martin Hirzel:
Big Stream Processing Systems (Dagstuhl Seminar 17441). Dagstuhl Reports 7(10): 111-138 (2017) - 2016
- [j14]Matthew Arnold, David Grove
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60(2-3) (2016) - [j13]Robert Soulé
River: an intermediate language for stream processing. Softw. Pract. Exp. 46(7): 891-929 (2016) - [c38]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for stream processing with unbounded windows and partitions. DEBS 2016: 49-60 - [c37]Wei Zhang, Martin Hirzel, David Grove
AQuA: adaptive quality analytics. DEBS 2016: 169-180 - [c36]Fernando Chirigati, Jérôme Siméon, Martin Hirzel, Juliana Freire
Virtual lightweight snapshots for consistent analytics in NoSQL stores. ICDE 2016: 1310-1321 - 2015
- [j12]Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). Dagstuhl Artifacts Ser. 1(1): 08:1-08:2 (2015) - [j11]Scott Schneider, Bugra Gedik, Martin Hirzel:
Language Runtime and Optimizations in IBM Streams. IEEE Data Eng. Bull. 38(4): 61-72 (2015) - [j10]Kanat Tangwongsan, Martin Hirzel, Scott Schneider, Kun-Lung Wu:
General Incremental Sliding-Window Aggregation. Proc. VLDB Endow. 8(7): 702-713 (2015) - [j9]Byeongcheol Lee, Martin Hirzel, Robert Grimm
Debugging mixed-environment programs with Blink. Softw. Pract. Exp. 45(9): 1277-1306 (2015) - [j8]Scott Schneider, Martin Hirzel, Bugra Gedik, Kun-Lung Wu:
Safe Data Parallelism for General Streaming. IEEE Trans. Computers 64(2): 504-517 (2015) - [c35]Ondrej Lhoták, Xipeng Shen, Ettore Tiotto, Martin Hirzel, Clark Verbrugge:
14th compiler-driven performance workshop. CASCON 2015: 310-312 - [c34]Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. ECOOP 2015: 542-567 - [c33]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for Stream Partitions and Windows. SEMS@ICSE 2015: 39-40 - [i1]Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri:
Spreadsheets for Stream Partitions and Windows. CoRR abs/1503.04215 (2015) - 2014
- [j7]Bugra Gedik, Scott Schneider, Martin Hirzel, Kun-Lung Wu:
Elastic Scaling for Data Stream Processing. IEEE Trans. Parallel Distributed Syst. 25(6): 1447-1463 (2014) - [c32]Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel:
Stream Processing with a Spreadsheet. ECOOP 2014: 360-384 - [c31]Miki Enoki, Jérôme Siméon, Hiroshi Horii, Martin Hirzel:
Event Processing over a Distributed JSON Store: Design and Performance. WISE (2) 2014: 395-404 - [e1]Martin Hirzel, Erez Petrank, Dan Tsafrir:
10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE '14, Salt Lake City, UT, USA, March 01 - 02, 2014. ACM 2014, ISBN 978-1-4503-2764-0 [contents] - 2013
- [j6]Martin Hirzel, Robert Soulé
A catalog of stream processing optimizations. ACM Comput. Surv. 46(4): 46:1-46:34 (2013) - [j5]Martin Hirzel, Henrique Andrade, Bugra Gedik, Gabriela Jacques-Silva, Rohit Khandekar, Vibhore Kumar, Mark P. Mendell, Howard Nasgaard, Scott Schneider, Robert Soulé
IBM Streams Processing Language: Analyzing Big Data in motion. IBM J. Res. Dev. 57(3/4): 7 (2013) - [c30]Robert Soulé
Dynamic expressivity with static optimization for streaming languages. DEBS 2013: 159-170 - [c29]Scott Schneider, Martin Hirzel, Bugra Gedik:
Tutorial: stream processing optimizations. DEBS 2013: 249-258 - [c28]Zhihong Xu, Martin Hirzel, Gregg Rothermel:
Semantic characterization of MapReduce workloads. IISWC 2013: 87-97 - [c27]Zhihong Xu, Martin Hirzel, Gregg Rothermel, Kun-Lung Wu:
Testing properties of dataflow program operators. ASE 2013: 103-113 - 2012
- [c26]Scott Schneider, Martin Hirzel, Bugra Gedik, Kun-Lung Wu:
Auto-parallelizing stateful distributed streaming applications. PACT 2012: 53-64 - [c25]Ondrej Lhoták, José Nelson Amaral, Kit Barton, Martin Hirzel, J. Gregory Steffan:
11th Compiler-Driven Performance Workshop. CASCON 2012: 239-240 - [c24]Robert Soulé
From a calculus to an execution environment for stream processing. DEBS 2012: 20-31 - [c23]Martin Hirzel:
Partition and compose: parallel complex event processing. DEBS 2012: 191-200 - [c22]Giuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soulé
CAPSULE: language and system support for efficient state sharing in distributed stream processing systems. DEBS 2012: 268-277 - [c21]Bard Bloom, Martin Hirzel:
Robust scripting via patterns. DLS 2012: 29-40 - [c20]Byeongcheol Lee, Robert Grimm
Marco: Safe, Expressive Macros for Any Language. ECOOP 2012: 589-613 - [c19]Mark P. Mendell, Howard Nasgaard, Eric Bouillet, Martin Hirzel, Bugra Gedik:
Extending a general-purpose streaming system for XML. EDBT 2012: 534-539 - [c18]Martin Hirzel, Bugra Gedik:
Streams that compose using macros that oblige. PEPM 2012: 141-150 - 2010
- [j4]Qiong Zou, Huayong Wang, Robert Soulé
From a Stream of Relational Queries to Distributed Stream Processing. Proc. VLDB Endow. 3(2): 1394-1405 (2010) - [c17]Robert Soulé, Martin Hirzel, Robert Grimm
A Universal Calculus for Stream Processing Languages. ESOP 2010: 507-528 - [c16]Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm
Jinn: synthesizing dynamic bug detectors for foreign language interfaces. PLDI 2010: 36-49 - [c15]Jennifer B. Sartor, Stephen M. Blackburn
Z-rays: divide arrays and conquer speed and flexibility. PLDI 2010: 471-482
2000 – 2009
- 2009
- [c14]Byeongcheol Lee, Martin Hirzel, Robert Grimm
Debug all your code: portable mixed-environment debugging. OOPSLA 2009: 207-226 - 2008
- [j3]Stephen M. Blackburn
Wake up and smell the coffee: evaluation methodology for the 21st century. Commun. ACM 51(8): 83-89 (2008) - [c13]Chengliang Zhang, Martin Hirzel:
Online Phase-Adaptive Data Layout Selection. ECOOP 2008: 309-334 - [c12]Jennifer B. Sartor, Martin Hirzel, Kathryn S. McKinley:
No bit left behind: the limits of heap data compression. ISMM 2008: 111-120 - [c11]Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek:
Matchete: Paths through the Pattern Matching Jungle. PADL 2008: 150-166 - 2007
- [j2]Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind:
Fast online pointer analysis. ACM Trans. Program. Lang. Syst. 29(2): 11 (2007) - [c10]Martin Hirzel, Robert Grimm
Jeannie: granting java native interface developers their wishes. OOPSLA 2007: 19-38 - [c9]Martin Hirzel:
Data layouts for object-oriented programs. SIGMETRICS 2007: 265-276 - 2006
- [c8]David Siegwart, Martin Hirzel:
Improving locality with parallel hierarchical copying GC. ISMM 2006: 52-63 - [c7]Stephen M. Blackburn
The DaCapo benchmarks: java benchmarking development and analysis. OOPSLA 2006: 169-190 - 2004
- [c6]Martin Hirzel, Amer Diwan, Michael Hind:
Pointer Analysis in the Presence of Dynamic Class Loading. ECOOP 2004: 96-122 - 2003
- [c5]Martin Hirzel, Amer Diwan, Matthew Hertz:
Connectivity-based garbage collection. OOPSLA 2003: 359-373 - 2002
- [j1]Martin Hirzel, Amer Diwan, Johannes Henkel:
On the usefulness of type and liveness accuracy for garbage collection and leak detection. ACM Trans. Program. Lang. Syst. 24(6): 593-624 (2002) - [c4]Martin Hirzel, Johannes Henkel, Amer Diwan, Michael Hind:
Understanding the connectivity of heap objects. MSP/ISMM 2002: 143-156 - [c3]Trishul M. Chilimbi, Martin Hirzel:
Dynamic Hot Data Stream Prefetching for General-Purpose Programs. PLDI 2002: 199-209 - 2001
- [c2]Martin Hirzel, Amer Diwan, Antony L. Hosking
On the Usefulness of Liveness for Garbage Collection and Leak Detection. ECOOP 2001: 181-206 - 2000
- [c1]Martin Hirzel, Amer Diwan:
On the Type Accuracy of Garbage Collection. ISMM 2000: 1-11
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: