Martin Hirzel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
19
Active years
2001–2025
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AST | Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning. | Kush Jain, Kiran Kate, Jason Tsay, Claire Le Goues, Martin Hirzel |
| 2025 | ECOOP | PoTo: A Hybrid Andersen's Points-To Analysis for Python. | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2025 | ICML | Otter: Generating Tests from Issues to Validate SWE Patches. | Toufique Ahmed, Jatin Ganhotra, Rangeet Pan, Avraham Shinnar, Saurabh Sinha, Martin Hirzel |
| 2024 | IUI | AI for Low-Code for AI. | Nikitha Rao, Jason Tsay, Kiran Kate, Vincent J. Hellendoorn, Martin Hirzel |
| 2022 | ISSTA | The raise of machine learning hyperparameter constraints in Python code. | Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby |
| 2022 | KDD | Gradual AutoML using Lale. | Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay |
| 2022 | MSR | Comments on Comments: Where Code Review and Documentation Meet. | Nikitha Rao, Jason Tsay, Martin Hirzel, Vincent J. Hellendoorn |
| 2022 | MSR | Complex Python Features in the Wild. | Yi Yang, Ana L. Milanova, Martin Hirzel |
| 2022 | PLDI | Automatically debugging AutoML pipelines using maro: ML automated remediation oracle. | Julian Dolby, Jason Tsay, Martin Hirzel |
| 2021 | ISSTA | Finding data compatibility bugs with JSON subschema checking. | Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel |
| 2021 | PLDI | Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. | Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar |
| 2020 | DLS | Python 3 types in the wild: a tale of two type systems. | Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby |
| 2020 | MSR | AIMMX: Artificial Intelligence Model Metadata Extractor. | Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert |
| 2019 | PLDI | Machine learning in Python with no strings attached. | Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar |
| 2018 | OOPSLA | Protecting chatbots from toxic content. | Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar |
| 2018 | OOPSLA | Reactive chatbot programming. | Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2017 | OOPSLA | Generating chat bots from web API specifications. | Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jrme Simon, Martin Hirzel |
| 2017 | SIGMOD | Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. | Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2017 | SIGMOD | Q*cert: A Platform for Implementing and Verifying Query Compilers. | Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2016 | ICDE | Virtual lightweight snapshots for consistent analytics in NoSQL stores. | Fernando Chirigati, Jrme Simon, Martin Hirzel, Juliana Freire |
| 2015 | ECOOP | A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. | Avraham Shinnar, Jrme Simon, Martin Hirzel |
| 2015 | ICSE | Spreadsheets for Stream Partitions and Windows. | Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri |
| 2014 | ECOOP | Stream Processing with a Spreadsheet. | Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel |
| 2014 | WISE | Event Processing over a Distributed JSON Store: Design and Performance. | Miki Enoki, Jrme Simon, Hiroshi Horii, Martin Hirzel |
| 2012 | DLS | Robust scripting via patterns. | Bard Bloom, Martin Hirzel |
| 2012 | ECOOP | Marco: Safe, Expressive Macros for Any Language. | Byeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley |
| 2012 | EDBT | Extending a general-purpose streaming system for XML. | Mark P. Mendell, Howard Nasgaard, Eric Bouillet, Martin Hirzel, Bugra Gedik |
| 2012 | PEPM | Streams that compose using macros that oblige. | Martin Hirzel, Bugra Gedik |
| 2010 | ESOP | A Universal Calculus for Stream Processing Languages. | Robert Soul, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu |
| 2010 | PLDI | Jinn: synthesizing dynamic bug detectors for foreign language interfaces. | Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley |
| 2010 | PLDI | Z-rays: divide arrays and conquer speed and flexibility. | Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley |
| 2009 | OOPSLA | Debug all your code: portable mixed-environment debugging. | Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley |
| 2008 | ECOOP | Online Phase-Adaptive Data Layout Selection. | Chengliang Zhang, Martin Hirzel |
| 2008 | PADL | Matchete: Paths through the Pattern Matching Jungle. | Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek |
| 2007 | OOPSLA | Jeannie: granting java native interface developers their wishes. | Martin Hirzel, Robert Grimm |
| 2007 | SIGMETRICS | Data layouts for object-oriented programs. | Martin Hirzel |
| 2006 | OOPSLA | The DaCapo benchmarks: java benchmarking development and analysis. | 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 |
| 2004 | ECOOP | Pointer Analysis in the Presence of Dynamic Class Loading. | Martin Hirzel, Amer Diwan, Michael Hind |
| 2003 | OOPSLA | Connectivity-based garbage collection. | Martin Hirzel, Amer Diwan, Matthew Hertz |
| 2002 | PLDI | Dynamic Hot Data Stream Prefetching for General-Purpose Programs. | Trishul M. Chilimbi, Martin Hirzel |
| 2001 | ECOOP | On the Usefulness of Liveness for Garbage Collection and Leak Detection. | Martin Hirzel, Amer Diwan, Antony L. Hosking |