researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

martinhirzel

Statistics

Publications: 1
Edited: 0

Aliases

Hirzel, Martin
Martin Hirzel
M. Hirzel
Hirzel, M.
Hirzel

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Martin Hirzel's Profile

Publications

Unidentified Publications

Publications with a 'Martin Hirzel' as author, editor, or advisor:

IBM Streams Processing Language: Analyzing Big Data in motionMartin Hirzel, Henrique Andrade, Bugra Gedik, Gabriela Jacques-Silva, Rohit Khandekar, Vibhore Kumar, Mark P. Mendell, Howard Nasgaard, Scott Schneider, Robert Soulé, Kun-Lung Wu. ibmrd, 57(3/4):7, 2013. [doi]
River: an intermediate language for stream processingRobert Soulé, Martin Hirzel, Bugra Gedik, Robert Grimm. SPE, 46(7):891-929, 2016. [doi]
Towards automating code review at scaleVincent J. Hellendoorn, Jason Tsay, Manisha Mukherjee, Martin Hirzel. FSE 2021: 1479-1482 [doi]
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and MechanizationAvraham Shinnar, Jérôme Siméon, Martin Hirzel. ECOOP 2015: 542-567 [doi]
Understanding the connectivity of heap objectsMartin Hirzel, Johannes Henkel, Amer Diwan, Michael Hind. iwmm 2002: 143-156 [doi]
META: Middleware for Events, Transactions, and AnalyticsMatthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, L. Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, Wei Zhang. ibmrd, 60(2-3), 2016. [doi]
On the Type Accuracy of Garbage CollectionMartin Hirzel, Amer Diwan. iwmm 2000: 1-11
Language Runtime and Optimizations in IBM StreamsScott Schneider, Bugra Gedik, Martin Hirzel. DEBU, 38(4):61-72, 2015. [doi]
Stream Processing with a SpreadsheetMandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel. ECOOP 2014: 360-384 [doi]
Debugging mixed-environment programs with BlinkByeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley. SPE, 45(9):1277-1306, 2015. [doi]
Q*cert: A Platform for Implementing and Verifying Query CompilersJoshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon. SIGMOD 2017: 1703-1706 [doi]
From a Stream of Relational Queries to Distributed Stream ProcessingQiong Zou, Huayong Wang, Robert Soulé, Martin Hirzel, Henrique Andrade, Bugra Gedik, Kun-Lung Wu. pvldb, 3(2):1394-1405, 2010. [doi]
The raise of machine learning hyperparameter constraints in Python codeIngkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby. ISSTA 2022: 580-592 [doi]
Searching for Fairer Machine Learning EnsemblesMichael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar. automl 2023: [doi]
Semantic characterization of MapReduce workloadsZhihong Xu, Martin Hirzel, Gregg Rothermel. iiswc 2013: 87-97 [doi]
Dynamic expressivity with static optimization for streaming languagesRobert Soulé, Michael I. Gordon, Saman P. Amarasinghe, Robert Grimm, Martin Hirzel. debs 2013: 159-170 [doi]
General Incremental Sliding-Window AggregationKanat Tangwongsan, Martin Hirzel, Scott Schneider, Kun-Lung Wu. pvldb, 8(7):702-713, 2015. [doi]
AI for Low-Code for AINikitha Rao, Jason Tsay, Kiran Kate, Vincent J. Hellendoorn, Martin Hirzel. IUI 2024: 837-852 [doi]
Stream Processing Languages in the Big Data EraMartin Hirzel, Guillaume Baudart, Angela Bonifati, Emanuele Della Valle, Sherif Sakr, Akrivi Vlachou. SIGMOD, 47(2):29-40, 2018. [doi]
10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, VEE '14, Salt Lake City, UT, USA, March 01 - 02, 2014Martin Hirzel, Erez Petrank, Dan Tsafrir, editors, ACM, 2014. [doi]
Dagstuhl Seminar on Big Stream ProcessingSherif Sakr, Tilmann Rabl, Martin Hirzel, Paris Carbone, Martin Strohbach. SIGMOD, 47(3):36-39, 2018. [doi]
Low-Latency Sliding-Window Aggregation in Worst-Case Constant TimeKanat Tangwongsan, Martin Hirzel, Scott Schneider 0001. debs 2017: 66-77 [doi]
Improving locality with parallel hierarchical copying GCDavid Siegwart, Martin Hirzel. iwmm 2006: 52-63 [doi]
AIMMX: Artificial Intelligence Model Metadata ExtractorJason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd Mummert. msr 2020: 81-92 [doi]
Pipeline Combinators for Gradual AutoMLGuillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay. nips 2021: 19705-19718 [doi]
Extracting enhanced artificial intelligence model metadata from software repositoriesJason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert. ese, 27(7):176, 2022. [doi]
The DaCapo benchmarks: java benchmarking development and analysisStephen 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. OOPSLA 2006: 169-190 [doi]
Comments on Comments: Where Code Review and Documentation MeetNikitha Rao, Jason Tsay, Martin Hirzel, Vincent J. Hellendoorn. msr 2022: 18-22 [doi]
Low-Code Programming ModelsMartin Hirzel. CACM, 66(10):76-85, October 2023. [doi]
Event Processing over a Distributed JSON Store: Design and PerformanceMiki Enoki, Jérôme Siméon, Hiroshi Horii, Martin Hirzel. wise 2014: 395-404 [doi]
Virtual lightweight snapshots for consistent analytics in NoSQL storesFernando Chirigati, Jérôme Siméon, Martin Hirzel, Juliana Freire. icde 2016: 1310-1321 [doi]
Extending a general-purpose streaming system for XMLMark P. Mendell, Howard Nasgaard, Eric Bouillet, Martin Hirzel, Bugra Gedik. edbt 2012: 534-539 [doi]
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)Avraham Shinnar, Jérôme Siméon, Martin Hirzel. darts, 1(1), 2015. [doi]
Connectivity-based garbage collectionMartin Hirzel, Amer Diwan, Matthew Hertz. OOPSLA 2003: 359-373 [doi]
Automatically debugging AutoML pipelines using maro: ML automated remediation oracleJulian Dolby, Jason Tsay, Martin Hirzel. PLDI 2022: 60-69 [doi]
Online Phase-Adaptive Data Layout SelectionChengliang Zhang, Martin Hirzel. ECOOP 2008: 309-334 [doi]
Finding data compatibility bugs with JSON subschema checkingAndrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel. ISSTA 2021: 620-632 [doi]
Reactive chatbot programmingGuillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon. OOPSLA 2018: 21-30 [doi]
Generating chat bots from web API specificationsMandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel. OOPSLA 2017: 44-57 [doi]
Spreadsheets for stream processing with unbounded windows and partitionsMartin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri. debs 2016: 49-60 [doi]
Protecting chatbots from toxic contentGuillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar. OOPSLA 2018: 99-110 [doi]
Python 3 types in the wild: a tale of two type systemsIngkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, Julian Dolby. DLS 2020: 57-70 [doi]
Fast online pointer analysisMartin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind. TOPLAS, 29(2):11, 2007. [doi]
Big Stream Processing Systems (Dagstuhl Seminar 17441)Tilmann Rabl, Sherif Sakr, Martin Hirzel. dagstuhl-reports, 7(10):111-138, 2017. [doi]
Streams that compose using macros that obligeMartin Hirzel, Bugra Gedik. PEPM 2012: 141-150 [doi]
Debug all your code: portable mixed-environment debuggingByeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley. OOPSLA 2009: 207-226 [doi]
A Universal Calculus for Stream Processing LanguagesRobert SoulÃ©, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu. ESOP 2010: 507-528 [doi]
A catalog of stream processing optimizationsMartin Hirzel, Robert Soulé, Scott Schneider, Bugra Gedik, Robert Grimm. ACM Comput. Surv., 46(4):46, 2013. [doi]
Prototyping a query compiler using Coq (experience report)Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon. PACMPL, 1(ICFP), 2017. [doi]
In-order sliding-window aggregation in worst-case constant timeKanat Tangwongsan, Martin Hirzel, Scott Schneider 0001. vldb, 30(6):933-957, 2021. [doi]
Optimal and General Out-of-Order Sliding-Window AggregationKanat Tangwongsan, Martin Hirzel, Scott Schneider 0001. pvldb, 12(10):1167-1180, 2019. [doi]
11th Compiler-Driven Performance WorkshopOndrej Lhoták, José Nelson Amaral, Kit Barton, Martin Hirzel, J. Gregory Steffan. cascon 2012: 239-240 [doi]
Learning GraphQL Query CostGeorgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern. ASE 2021: 1146-1150 [doi]
On the usefulness of type and liveness accuracy for garbage collection and leak detectionMartin Hirzel, Amer Diwan, Johannes Henkel. TOPLAS, 24(6):593-624, 2002. [doi]
No bit left behind: the limits of heap data compressionJennifer B. Sartor, Martin Hirzel, Kathryn S. McKinley. iwmm 2008: 111-120 [doi]
Auto-parallelizing stateful distributed streaming applicationsScott Schneider, Martin Hirzel, Bugra Gedik, Kun-Lung Wu. IEEEpact 2012: 53-64 [doi]
Marco: Safe, Expressive Macros for Any LanguageByeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley. ECOOP 2012: 589-613 [doi]
Jinn: synthesizing dynamic bug detectors for foreign language interfacesByeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley. PLDI 2010: 36-49 [doi]
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query CompilerJoshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon. SIGMOD 2017: 1555-1569 [doi]
Partition and compose: parallel complex event processingMartin Hirzel. debs 2012: 191-200 [doi]
Gradual AutoML using LaleMartin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay. kdd 2022: 4794-4795 [doi]
Matchete: Paths through the Pattern Matching JungleMartin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek. PADL 2008: 150-166 [doi]
Sliding-Window Aggregation Algorithms: TutorialMartin Hirzel, Scott Schneider 0001, Kanat Tangwongsan. debs 2017: 11-14 [doi]
From a calculus to an execution environment for stream processingRobert Soulé, Martin Hirzel, Bugra Gedik, Robert Grimm. debs 2012: 20-31 [doi]
Spreadsheets for Stream Partitions and WindowsMartin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri. ICSE 2015: 39-40 [doi]
Dynamic Hot Data Stream Prefetching for General-Purpose ProgramsTrishul M. Chilimbi, Martin Hirzel. PLDI 2002: 199-209 [doi]
Robust scripting via patternsBard Bloom, Martin Hirzel. DLS 2012: 29-40 [doi]
Elastic Scaling for Data Stream ProcessingBugra Gedik, Scott Schneider, Martin Hirzel, Kun-Lung Wu. tpds, 25(6):1447-1463, 2014. [doi]
Data layouts for object-oriented programsMartin Hirzel. sigmetrics 2007: 265-276 [doi]
Safe Data Parallelism for General StreamingScott Schneider, Martin Hirzel, Bugra Gedik, Kun-Lung Wu. TC, 64(2):504-517, 2015. [doi]
Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems, DEBS 2018, Hamilton, New Zealand, June 25-29, 2018Annika Hinze, David M. Eyers, Martin Hirzel, Matthias Weidlich, Sukanya Bhowmik, editors, ACM, 2018. [doi]
SPL: An Extensible Language for Distributed Stream ProcessingMartin Hirzel, Scott Schneider 0001, Bugra Gedik. TOPLAS, 39(1), 2017. [doi]
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraintsIngkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby. SPE, 54(3):363-393, March 2024. [doi]
Machine learning in Python with no strings attachedGuillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar. PLDI 2019: 1-9 [doi]
AQuA: adaptive quality analyticsWei Zhang, Martin Hirzel, David Grove. debs 2016: 169-180 [doi]
Z-rays: divide arrays and conquer speed and flexibilityJennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley. PLDI 2010: 471-482 [doi]
Pointer Analysis in the Presence of Dynamic Class LoadingMartin Hirzel, Amer Diwan, Michael Hind. ECOOP 2004: 96-122 [doi]
On the Usefulness of Liveness for Garbage Collection and Leak DetectionMartin Hirzel, Amer Diwan, Antony L. Hosking. ECOOP 2001: 181-206 [doi]
CAPSULE: language and system support for efficient state sharing in distributed stream processing systemsGiuliano Losa, Vibhore Kumar, Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soulé, Kun-Lung Wu. debs 2012: 268-277 [doi]
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programmingGuillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar. PLDI 2021: 497-510 [doi]
Tutorial: stream processing optimizationsScott Schneider, Martin Hirzel, Bugra Gedik. debs 2013: 249-258 [doi]
Out-of-Order Sliding-Window Aggregation with Efficient Bulk Evictions and InsertionsKanat Tangwongsan, Martin Hirzel, Scott Schneider 0001. pvldb, 16(11):3227-3239, 2023. [doi]
I Can Parse You: Grammars for DialogsMartin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri. SNAPL 2017: [doi]
Complex Python Features in the WildYi Yang, Ana L. Milanova, Martin Hirzel. msr 2022: 282-293 [doi]
Wake up and smell the coffee: evaluation methodology for the 21st centuryStephen 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. CACM, 51(8):83-89, 2008. [doi]
Testing properties of dataflow program operatorsZhihong Xu, Martin Hirzel, Gregg Rothermel, Kun-Lung Wu. ASE 2013: 103-113 [doi]
14th compiler-driven performance workshopOndrej Lhoták, Xipeng Shen, Ettore Tiotto, Martin Hirzel, Clark Verbrugge. cascon 2015: 310-312 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL