Martin Hirzel

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 59

Top Venues

Publications

Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints. Softw. Pract. Exp. 54 (3) (2024)
Nikitha Rao, Jason Tsay, Kiran Kate, Vincent J. Hellendoorn, Martin Hirzel
AI for Low-Code for AI. IUI (2024)
Nikitha Rao, Jason Tsay, Kiran Kate, Vincent J. Hellendoorn, Martin Hirzel
AI for Low-Code for AI. CoRR (2023)
Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
Searching for Fairer Machine Learning Ensembles. AutoML (2023)
Razan Baltaji, Saurabh Pujar, Louis Mandel, Martin Hirzel, Luca Buratti, Lav R. Varshney
Learning Transfers over Several Programming Languages. CoRR (2023)
Martin Hirzel
Low-Code Programming Models. Commun. ACM 66 (10) (2023)
Martin Hirzel, Michael Feffer
A Suite of Fairness Datasets for Tabular Classification. CoRR (2023)
Kanat Tangwongsan, Martin Hirzel, Scott Schneider
Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and Insertions (Extended Version). CoRR (2023)
Kanat Tangwongsan, Martin Hirzel, Scott Schneider
Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and Insertions. Proc. VLDB Endow. 16 (11) (2023)
Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
An Empirical Study of Modular Bias Mitigators and Ensembles. CoRR (2022)
Martin Hirzel
Low-Code Programming Models. CoRR (2022)
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
The raise of machine learning hyperparameter constraints in Python code. ISSTA (2022)
Nikitha Rao, Jason Tsay, Martin Hirzel, Vincent J. Hellendoorn
Comments on Comments: Where Code Review and Documentation Meet. MSR (2022)
Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
Navigating Ensemble Configurations for Algorithmic Fairness. CoRR (2022)
Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
Gradual AutoML using Lale. KDD (2022)
Yi Yang, Ana L. Milanova, Martin Hirzel
Complex Python Features in the Wild. MSR (2022)
Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert
Extracting enhanced artificial intelligence model metadata from software repositories. Empir. Softw. Eng. 27 (7) (2022)
Julian Dolby, Jason Tsay, Martin Hirzel
Automatically debugging AutoML pipelines using maro: ML automated remediation oracle. MAPS@PLDI (2022)
Nikitha Rao, Jason Tsay, Martin Hirzel, Vincent J. Hellendoorn
Comments on Comments: Where Code Review and Documentation Meet. CoRR (2022)
Julian Dolby, Jason Tsay, Martin Hirzel
Automatically Debugging AutoML Pipelines using Maro: ML Automated Remediation Oracle (Extended Version). CoRR (2022)
Kanat Tangwongsan, Martin Hirzel, Scott Schneider
In-order sliding-window aggregation in worst-case constant time. VLDB J. 30 (6) (2021)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
Pipeline Combinators for Gradual AutoML. NeurIPS (2021)
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Finding data compatibility bugs with JSON subschema checking. ISSTA (2021)
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 (2021)
Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern
Learning GraphQL Query Cost. ASE (2021)
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. PLDI (2021)
Vincent J. Hellendoorn, Jason Tsay, Manisha Mukherjee, Martin Hirzel
Towards automating code review at scale. ESEC/SIGSOFT FSE (2021)
Ingkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, Julian Dolby
Python 3 types in the wild: a tale of two type systems. DLS (2020)
Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert
AIMMX: Artificial Intelligence Model Metadata Extractor. MSR (2020)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar
Lale: Consistent Automated Machine Learning. CoRR (2020)
Kanat Tangwongsan, Martin Hirzel, Scott Schneider
In-Order Sliding-Window Aggregation in Worst-Case Constant Time. CoRR (2020)
Guillaume Baudart, Peter D. Kirchner, Martin Hirzel, Kiran Kate
Mining Documentation to Extract Hyperparameter Schemas. CoRR (2020)
Martin Hirzel, Kiran Kate, Avraham Shinnar, Subhrajit Roy, Parikshit Ram
Type-Driven Automated Learning with Lale. CoRR (2019)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Machine learning in Python with no strings attached. MAPL@PLDI (2019)
Subhrajit Roy, Kiran Kate, Martin Hirzel
A semi-supervised deep learning algorithm for abnormal EEG identification. CoRR (2019)
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Type Safety with JSON Subschema. CoRR (2019)
Kanat Tangwongsan, Martin Hirzel, Scott Schneider
Optimal and General Out-of-Order Sliding-Window Aggregation. Proc. VLDB Endow. 12 (10) (2019)
Sherif Sakr, Tilmann Rabl, Martin Hirzel, Paris Carbone, Martin Strohbach
Dagstuhl Seminar on Big Stream Processing. SIGMOD Rec. 47 (3) (2018)
Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar
Protecting chatbots from toxic content. Onward! (2018)
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Reactive chatbot programming. REBLS@SPLASH (2018)
Guillaume Baudart, Martin Hirzel, Louis Mandel
Deep Probabilistic Programming Languages: A Qualitative Study. CoRR (2018)
Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar
Extending Stan for Deep Probabilistic Programming. CoRR (2018)
Kanat Tangwongsan, Martin Hirzel, Scott Schneider
Sub-O(log n) Out-of-Order Sliding-Window Aggregation. CoRR (2018)
Martin Hirzel, Guillaume Baudart, Angela Bonifati, Emanuele Della Valle, Sherif Sakr, Akrivi Vlachou
Stream Processing Languages in the Big Data Era. SIGMOD Rec. 47 (2) (2018)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Yaps: Python Frontend to Stan. CoRR (2018)
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
I Can Parse You: Grammars for Dialogs. SNAPL (2017)
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)
Kanat Tangwongsan, Martin Hirzel, Scott Schneider
Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. DEBS (2017)
Tilmann Rabl, Sherif Sakr, Martin Hirzel
Big Stream Processing Systems (Dagstuhl Seminar 17441). Dagstuhl Reports 7 (10) (2017)
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)
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) (2017)
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
Generating chat bots from web API specifications. Onward! (2017)
Martin Hirzel, Scott Schneider, Bugra Gedik
SPL: An Extensible Language for Distributed Stream Processing. ACM Trans. Program. Lang. Syst. 39 (1) (2017)
Martin Hirzel, Scott Schneider, Kanat Tangwongsan
Sliding-Window Aggregation Algorithms: Tutorial. DEBS (2017)
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
Spreadsheets for stream processing with unbounded windows and partitions. DEBS (2016)
Robert Soulé, Martin Hirzel, Bugra Gedik, Robert Grimm
River: an intermediate language for stream processing. Softw. Pract. Exp. 46 (7) (2016)
Fernando Chirigati, Jérôme Siméon, Martin Hirzel, Juliana Freire
Virtual lightweight snapshots for consistent analytics in NoSQL stores. ICDE (2016)
Wei Zhang, Martin Hirzel, David Grove
AQuA: adaptive quality analytics. DEBS (2016)
Matthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, Louis Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, Wei Zhang
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60 (2-3) (2016)
Ondrej Lhoták, Xipeng Shen, Ettore Tiotto, Martin Hirzel, Clark Verbrugge
14th compiler-driven performance workshop. CASCON (2015)
Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
Debugging mixed-environment programs with Blink. Softw. Pract. Exp. 45 (9) (2015)
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) (2015)
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
Spreadsheets for Stream Partitions and Windows. CoRR (2015)
Scott Schneider, Bugra Gedik, Martin Hirzel
Language Runtime and Optimizations in IBM Streams. IEEE Data Eng. Bull. 38 (4) (2015)
Kanat Tangwongsan, Martin Hirzel, Scott Schneider, Kun-Lung Wu
General Incremental Sliding-Window Aggregation. Proc. VLDB Endow. 8 (7) (2015)
Scott Schneider, Martin Hirzel, Bugra Gedik, Kun-Lung Wu
Safe Data Parallelism for General Streaming. IEEE Trans. Computers 64 (2) (2015)
Avraham Shinnar, Jérôme Siméon, Martin Hirzel
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. ECOOP (2015)
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
Spreadsheets for Stream Partitions and Windows. SEMS@ICSE (2015)
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
Stream Processing with a Spreadsheet. ECOOP (2014)
Bugra Gedik, Scott Schneider, Martin Hirzel, Kun-Lung Wu
Elastic Scaling for Data Stream Processing. IEEE Trans. Parallel Distributed Syst. 25 (6) (2014)
Miki Enoki, Jérôme Siméon, Hiroshi Horii, Martin Hirzel
Event Processing over a Distributed JSON Store: Design and Performance. WISE (2) (2014)
Zhihong Xu, Martin Hirzel, Gregg Rothermel, Kun-Lung Wu
Testing properties of dataflow program operators. ASE (2013)
Martin Hirzel, Henrique Andrade, Bugra Gedik, Gabriela Jacques-Silva, Rohit Khandekar, Vibhore Kumar, Mark P. Mendell, Howard Nasgaard, Scott Schneider, Robert Soulé, Kun-Lung Wu
IBM Streams Processing Language: Analyzing Big Data in motion. IBM J. Res. Dev. 57 (3/4) (2013)
Robert Soulé, Michael I. Gordon, Saman P. Amarasinghe, Robert Grimm, Martin Hirzel
Dynamic expressivity with static optimization for streaming languages. DEBS (2013)
Zhihong Xu, Martin Hirzel, Gregg Rothermel
Semantic characterization of MapReduce workloads. IISWC (2013)
Scott Schneider, Martin Hirzel, Bugra Gedik
Tutorial: stream processing optimizations. DEBS (2013)
Martin Hirzel, Robert Soulé, Scott Schneider, Bugra Gedik, Robert Grimm
A catalog of stream processing optimizations. ACM Comput. Surv. 46 (4) (2013)
Ondrej Lhoták, José Nelson Amaral, Kit Barton, Martin Hirzel, J. Gregory Steffan
11th Compiler-Driven Performance Workshop. CASCON (2012)
Byeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley
Marco: Safe, Expressive Macros for Any Language. ECOOP (2012)
Scott Schneider, Martin Hirzel, Bugra Gedik, Kun-Lung Wu
Auto-parallelizing stateful distributed streaming applications. PACT (2012)
Mark P. Mendell, Howard Nasgaard, Eric Bouillet, Martin Hirzel, Bugra Gedik
Extending a general-purpose streaming system for XML. EDBT (2012)
Martin Hirzel
Partition and compose: parallel complex event processing. DEBS (2012)
Martin Hirzel, Bugra Gedik
Streams that compose using macros that oblige. PEPM (2012)
Giuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soulé, Kun-Lung Wu
CAPSULE: language and system support for efficient state sharing in distributed stream processing systems. DEBS (2012)
Bard Bloom, Martin Hirzel
Robust scripting via patterns. DLS (2012)
Robert Soulé, Martin Hirzel, Bugra Gedik, Robert Grimm
From a calculus to an execution environment for stream processing. DEBS (2012)
Qiong Zou, Huayong Wang, Robert Soulé, Martin Hirzel, Henrique Andrade, Bugra Gedik, Kun-Lung Wu
From a Stream of Relational Queries to Distributed Stream Processing. Proc. VLDB Endow. 3 (2) (2010)
Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley
Z-rays: divide arrays and conquer speed and flexibility. PLDI (2010)
Robert Soulé, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu
A Universal Calculus for Stream Processing Languages. ESOP (2010)
Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
Jinn: synthesizing dynamic bug detectors for foreign language interfaces. PLDI (2010)
Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
Debug all your code: portable mixed-environment debugging. OOPSLA (2009)
Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
Wake up and smell the coffee: evaluation methodology for the 21st century. Commun. ACM 51 (8) (2008)
Chengliang Zhang, Martin Hirzel
Online Phase-Adaptive Data Layout Selection. ECOOP (2008)
Jennifer B. Sartor, Martin Hirzel, Kathryn S. McKinley
No bit left behind: the limits of heap data compression. ISMM (2008)
Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek
Matchete: Paths through the Pattern Matching Jungle. PADL (2008)
Martin Hirzel, Robert Grimm
Jeannie: granting java native interface developers their wishes. OOPSLA (2007)
Martin Hirzel
Data layouts for object-oriented programs. SIGMETRICS (2007)
Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind
Fast online pointer analysis. ACM Trans. Program. Lang. Syst. 29 (2) (2007)
David Siegwart, Martin Hirzel
Improving locality with parallel hierarchical copying GC. ISMM (2006)
Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
The DaCapo benchmarks: java benchmarking development and analysis. OOPSLA (2006)

Martin Hirzel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Hirzel