Martin Hirzel

	Online: hirzel@us.ibm.com http://hirzels.com/martin/ Address: 1101 Kitchawan Road Office 40-205 IBM T.J. Watson Research Center Yorktown Heights, NY 10598

• “Stream Processing with a Spreadsheet” won a Distinguished Paper Award at ECOOP 2014.
• ”A Catalog of Stream Processing Optimizations” appeared in ACM CSUR.

Martin Hirzel is a Research Staff Member and a Manager at the IBM T.J. Watson Research Center. Martin's group at IBM is the Data Languages Science group. His group focuses on languages and compilers for web data. Most of Martin's recent publications are based on the Streams Processing Language (SPL). He led the SPL language design, wrote the language specification, and implemented the compiler front-end. Before working on SPL, Martin's research revolved around programming language design, garbage collection, and optimizations for Java. Martin received his PhD from the University of Colorado at Boulder in 2004; his thesis adviser was Amer Diwan.

• General Incremental Sliding-Window Aggregation (pdf, @vldb),
  Kanat Tangwongsan, Martin Hirzel, Scott Schneider, and Kun-Lung Wu. Accepted for publication in the Conference on Very Large Data Bases (VLDB), pages 702-713, September 2015.
• A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization,
  Avraham Shinnar, Jérôme Siméon, and Martin Hirzel. Accepted for publication in the European Conference on Object-Oriented Programming (ECOOP), July 2015.
• Spreadsheets for Stream Partitions and Windows (program),
  Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, and Mandana Vaziri. Accepted for publication in the Workshop on Software Engineering Methods in Spreadsheets (SEMS), May 2015.
• Debugging Mixed-Environment Programs with Blink (abstract),
  Byeongcheol Lee, Martin Hirzel, Robert Grimm, and Kathryn S. McKinley. Accepted for publication in Software: Practice and Experience (SP&E), 2015.
• Safe Data Parallelism for General Streaming (pdf, abstract),
  Scott Schneider, Martin Hirzel, Buğra Gedik, and Kun-Lung Wu. IEEE Transactions on Computers (TC), 64(2), pages 504-517, February 2015.
• Event Processing over a Distributed JSON Store: Design and Performance (pdf, talk, abstract),
  Miki Enoki, Jérôme Siméon, Hiroshi Horii, and Martin Hirzel. Conference on Web Information System Engineering (WISE), pages 395-404, October 2014.
• SPL: An Extensible Language for Distributed Stream Processing (pdf),
  Martin Hirzel, Scott Schneider, and Buğra Gedik. IBM Research Report RC25486, 30 July 2014.
• Stream Processing with a Spreadsheet (pdf, talk, abstract),
  Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, and Martin Hirzel. European Conference on Object-Oriented Programming (ECOOP), pages 360-384, July 2014.
  • Winner of a Distinguished Paper Award at ECOOP 2014.
• Elastic Scaling for Data Stream Processing (pdf, abstract),
  Buğra Gedik, Scott Schneider, Martin Hirzel, and Kun-Lung Wu. Transactions on Parallel and Distributed Systems (TPDS), 25(6), pages 1447-1463, June 2014.
• A Catalog of Stream Processing Optimizations (pdf, abstract),
  Martin Hirzel, Robert Soulé, Scott Schneider, Buğra Gedik, and Robert Grimm. ACM Computing Surveys (CSUR), 46(4), April 2014.
  • Supersedes earlier version: IBM Research Report RC25215, Martin Hirzel, Robert Soulé, Scott Schneider, Buğra Gedik, and Robert Grimm. 28 September 2011 (pdf).
• Testing Properties of Dataflow Program Operators (pdf, talk),
  Zhihong Xu, Martin Hirzel, Gregg Rothermel, and Kun-Lung Wu. Conference on Automated Software Engineering (ASE), pages 103-113, November 2013.
• Semantic Characterization of MapReduce Workloads (pdf, talk),
  Zhihong Xu, Martin Hirzel, and Gregg Rothermel. International Symposium on Workload Characterization (IISWC), pages 87-97, September 2013.
• Dynamic Expressivity with Static Optimization for Streaming Languages (pdf, talk),
  Robert Soulé, Michael I. Gordon, Saman Amarasinghe, Robert Grimm, and Martin Hirzel. Conference on Distributed Event-Based Systems (DEBS), pages 159-170, June 2013.
• Tutorial: Stream Processing Optimizations (pdf, talk),
  Scott Schneider, Buğra Gedik, and Martin Hirzel. Conference on Distributed Event-Based Systems (DEBS), pages 249-258, June 2013.
• IBM Streams Processing Language: Analyzing Big Data in Motion (pdf, abstract),
  Martin Hirzel, Henrique Andrade, Buğra Gedik, Gabriela Jacques-Silva, Rohit Khandekar, Vibhore Kumar, Mark Mendell, Howard Nasgaard, Scott Schneider, Robert Soulé, and Kun-Lung Wu. IBM Journal of Research and Development (IBMRD), 57(3/4), pages 7:1-7:11, May-July 2013.
• Robust Scripting via Patterns (pdf, talk),
  Bard Bloom and Martin Hirzel. Dynamic Languages Symposium (DLS), pages 29-40, October 2012.
• Auto-Parallelizing Stateful Distributed Streaming Applications (pdf, talk),
  Scott Schneider, Martin Hirzel, Buğra Gedik, and Kun-Lung Wu. International Conference on Parallel Architectures and Compilation Techniques (PACT), pages 53-64, September 2012.
• From a Calculus to an Execution Environment for Stream Processing (pdf, talk),
  Robert Soulé, Martin Hirzel, Buğra Gedik, and Robert Grimm. Conference on Distributed Event-Based Systems (DEBS), pages 20-31, July 2012.
  • Winner, Best Paper Award, DEBS 2012.
• Partition and Compose: Parallel Complex Event Processing (pdf, talk),
  Martin Hirzel. Conference on Distributed Event-Based Systems (DEBS), pages 191-200, July 2012.
• CAPSULE: Language and System Support for Efficient State Sharing in Distributed Stream Processing Systems (pdf, talk),
  Giuliano Losa, Vibhore Kumar, Henrique Andrade, Buğra Gedik, Martin Hirzel, Robert Soulé, and Kun-Lung Wu. Conference on Distributed Event-Based Systems (DEBS), Industrial Track, pages 268-277, July 2012.
• Marco: Safe, Expressive Macros for any Language (pdf, talk),
  Byeongcheol Lee, Robert Grimm, Martin Hirzel, and Kathryn S. McKinley. European Conference on Object-Oriented Programming (ECOOP), LNCS 7313 pages 589-613, June 2012.
• Extending a General-Purpose Streaming System for XML (pdf, talk),
  Mark Mendell, Howard Nasgaard, Eric Bouillet, Martin Hirzel, and Buğra Gedik. International Conference on Extending Database Technology (EDBT), Industrial Track, pages 534-539, March 2012.
• Streams that Compose using Macros that Oblige (pdf, talk),
  Martin Hirzel and Buğra Gedik. Workshop on Partial Evaluation and Program Manipulation (PEPM), pages 141-150, January 2012.
• Streams Processing Language (SPL) (specification, tutorial), Product Documentation, 15 April 2011.
  
  • Supersedes earlier version: IBM Research Report RC24897, Martin Hirzel, Henrique Andrade, Buğra Gedik, Vibhore Kumar, Giuliano Losa, Mark Mendell, Howard Nasgaard, Robert Soulé, and Kun-Lung Wu. 5 November 2009 (pdf).
  • Supersedes earlier version: IBM Research Report RC24830, 29 July 2009.
  • Supersedes earlier version: IBM Research Report RC24760, 11 March 2009.
• From a Stream of Relational Queries to Distributed Stream Processing (pdf, talk),
  Qiong Zou, Huayong Wang, Robert Soulé, Martin Hirzel, Henrique Andrade, Buğra Gedik, and Kun-Lung Wu. Conference on Very Large Data Bases (VLDB), Industrial Track, pages 1394-1405, September 2010.
• Synthesizing Dynamic Bug Detectors for Foreign Language Interfaces (pdf, talk, software),
  Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, and Kathryn S. McKinley. Conference on Programming Language Design and Implementation (PLDI), pages 36-49, June 2010.
• Z-Rays: Divide Arrays and Conquer Speed and Flexibility (pdf, talk),
  Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, and Kathryn S. McKinley. Conference on Programming Language Design and Implementation (PLDI), pages 471-482, June 2010.
• A Universal Calculus for Stream Processing Languages (pdf, talk),
  Robert Soulé, Martin Hirzel, Robert Grimm, Buğra Gedik, Henrique Andrade, Vibhore Kumar, and Kun-Lung Wu. European Symposium on Programming (ESOP), LNCS 6012 pages 507-528, March 2010.
  • Extended version available as “NYU Technical Report TR2010-924” (pdf), Department of Computer Science, New York University, March 2010.
• Debug All Your Code: Portable Mixed-Environment Debugging (pdf, talk)
  Byeongcheol Lee, Martin Hirzel, Robert Grimm, and Kathryn McKinley. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 207-225, October 2009.
  • Open source debugger contributed to xtc: http://cs.nyu.edu/rgrimm/xtc/
  • User guide: html, pdf
• Efficient Memory Management for Long-Lived Objects (pdf, @ibm),
  Ronny Morad, Martin Hirzel, Elliot K. Kolodner, and Mooly Sagiv. IBM Research Report RC24794, 7 May 2009.
• Wake Up and Smell the Coffee: Evaluation Methodology for the 21st Century (pdf, @acm),
  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 Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanović, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann. Communications of the ACM (CACM) Research Highlights (Invited), 51(8), pages 83-89, August 2008.
• Online Phase-Adaptive Data Layout Selection (pdf, talk, abstract),
  Chengliang Zhang and Martin Hirzel. European Conference on Object-Oriented Programming (ECOOP), LNCS 5142 pages 309-334, July 2008.
• No Bit Left Behind: The Limits of Heap Data Compression (pdf, talk, abstract),
  Jennifer B. Sartor, Martin Hirzel, and Kathryn S. McKinley. International Symposium on Memory Management (ISMM), pages 111-120, June 2008.
  • Winner, Best Presentation Award (First Place), ISMM 2008.
  • Extended version available as “Technical Report TR-08-17” (pdf), Department of Computer Science, University of Texas at Austin, June 2008.
• Matchete: Paths through the Pattern Matching Jungle (pdf, talk, abstract),
  Martin Hirzel, Nathaniel Nystrom, Bard Bloom, and Jan Vitek. International Symposium on Practical Aspects of Declarative Languages (PADL), LNCS 4902 pages 150-166, January 2008.
• Jeannie: Granting Java Native Interface Developers their Wishes (pdf, talk, abstract),
  Martin Hirzel and Robert Grimm. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 19-38, October 2007.
  • Open source compiler contributed to xtc: http://cs.nyu.edu/rgrimm/xtc/
  • User guide: html, pdf
• Data Layouts for Object-Oriented Programs (pdf, talk, abstract),
  Martin Hirzel. International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), pages 265-276, June 2007.
  • Extended version available as “IBM Research Report RC24218” (pdf), Computer Science, IBM Research Division, January 2007.
• Fast Online Pointer Analysis (pdf, abstract),
  Martin Hirzel, Daniel von Dincklage, Amer Diwan, and Michael Hind. Transactions on Programming Languages and Systems (TOPLAS), 29(2), April 2007.
• The DaCapo Benchmarks: Java Benchmarking Development and Analysis (pdf, org, abstract),
  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 Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanović, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 169-190, October 2006.
  • Extended version available as “Technical Report TR-CS-06-01” (pdf), Department of Computer Science, Australian National University, 2006.
• Improving Locality with Parallel Hierarchical Copying GC (pdf, talk, abstract),
  David Siegwart and Martin Hirzel. International Symposium on Memory Management (ISMM), pages 52-63, June 2006.
• Parley: Federated Virtual Machines (slides),
  Perry Cheng, Dave Grove, Martin Hirzel, Rob O'Callahan, and Nikhil Swamy. Invitational Workshop on the Future of Virtual Execution Environments, hosted by IBM Research, September 2004.
• Connectivity-Based Garbage Collection (pdf, pdf-2up, abstract),
  Martin Hirzel. Ph.D. Dissertation Thesis, Department of Computer Science, University of Colorado at Boulder, July 2004.
• Pointer Analysis in the Presence of Dynamic Class Loading (pdf, pdf-2up, talk, abstract),
  Martin Hirzel, Amer Diwan, and Michael Hind. European Conference on Object-Oriented Programming (ECOOP), LNCS 3086 pages 96-122, June 2004.
• Connectivity-Based Garbage Collection (pdf, abstract),
  Martin Hirzel, Amer Diwan, and Matthew Hertz. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 359-373, October 2003.
  
  • Infrastructure: gcSim
• Choosing a Set of Partitions to Collect in a Connectivity-Based Garbage Collector (pdf),
  Martin Hirzel, Harold N. Gabow, and Amer Diwan. University of Colorado Technical Report CU-CS-958-03, August 2003.
• On the Usefulness of Type and Liveness Accuracy for Garbage Collection and Leak Detection (pdf, pdf-2up, abstract),
  Martin Hirzel, Amer Diwan, and Johannes Henkel. Transactions on Programming Languages and Systems (TOPLAS), 24(6), pages 593-624, November 2002.
• Understanding the Connectivity of Heap Objects (pdf, talk, abstract),
  Martin Hirzel, Johannes Henkel, Amer Diwan, and Michael Hind. International Symposium on Memory Management (ISMM), pages 36-49, June 2002.
• Dynamic Hot Data Stream Prefetching for General-Purpose Programs (pdf, abstract),
  Trishul M. Chilimbi and Martin Hirzel. Conference on Programming Language Design and Implementation (PLDI), pages 199-209, June 2002.
• Bursty Tracing: A Framework for Low-Overhead Temporal Profiling (pdf, talk, @fddo),
  Martin Hirzel and Trishul M. Chilimbi. 4th Workshop on Feedback-Directed and Dynamic Optimization (FDDO), pages 117-126, December 2001.
• On the Usefulness of Liveness for Garbage Collection and Leak Detection (pdf, pdf-2up, talk, abstract),
  Martin Hirzel, Amer Diwan, and Antony Hosking. European Conference on Object-Oriented Programming (ECOOP), LNCS 2072 pages 181-206, June 2001.
• On the Type Accuracy of Garbage Collection (pdf, ps, abstract),
  Martin Hirzel and Amer Diwan. International Symposium on Memory Management (ISMM), pages 1-11, October 2000.
• Effectiveness of Garbage Collection and Explicit Deallocation (pdf, @boulder),
  Martin Hirzel. Master's Thesis, Department of Computer Science, University of Colorado at Boulder, May 2000.

• Automating the creation of an application provisioning model,
  Henrique Andrade, Judah M. Diament, Andrew L. Frenkiel, Bugra Gedik, Martin Hirzel, and Anton V. Riabov. US patent 8,589,864, November 2013.
• Data sharing in a stream processing system,
  Henrique Andrade, Bugra Gedik, Martin Hirzel, Vibhore Kumar, Giuliano Losa, Robert Soule, and Kun-Lung Wu. US patent 8,560,602, October 2013.
• Virtual execution environment for streaming languages,
  Henrique Andrade, Jim Challenger, Bugra Gedik, Robert Grimm, Martin Hirzel, Vibhore Kumar, Robert Soule, and Kun-Lung Wu. US patent 8,499,292, July 2013.
• Transforming relational queries into stream processing,
  Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soule, Hua Yong Wang, Kun-Lung Wu, and Qiong Zou. US patent 8,326,821, December 2012.
• Proxying open database connectivity (ODBC) calls,
  Henrique Andrade, Bugra Gedik, Martin Hirzel, Robert Soule, Huayong Wang, Kun-Lung Wu, and Qiong Zou. US patent 8,321,443, November 2012.
• State sharing in a distributed data stream processing system,
  Henrique Andrade, Bugra Gedik, Martin Hirzel, Vibhore Kumar, Giuliano Losa, Robert Soule, and Kun-Lung Wu. US patent 8,285,780, October 2012.
• Improving locality with parallel hierarchical copying garbage collection,
  David K. Siegwart and Martin Hirzel. US patent 8,108,448, January 2012.
• Dynamic prefetching of hot data streams,
  Trishul Chilimbi and Martin Hirzel. US patent 8,046,752, October 2011.
• Method and system for determining optimal data layout using blind justice,
  Martin Hirzel and Chengliang Zhang. US patent 7,805,580, September 2010.
• Dynamic temporal optimization framework,
  Trishul Chilimbi and Martin Hirzel. US patent 7,140,008, November 2006.

• Zhihong Xu (Ph.D. '13, ASE'13, IISWC'13),
  University of Nebraska at Lincoln, advisor: Gregg Rothermel. Now at Salesforce in Seattle.
• Robert Soulé (PhD. '12, CSUR'14, DEBS'13, IBMRD'13, DEBS'12(a), DEBS'12(b), VLDB'10, ESOP'10),
  New York University, advisor: Robert Grimm. Now an assistant professor at University of Lugano.
• Byeongcheol Lee (PhD. '11, SP&E'14, ECOOP'12, PLDI'10, OOPSLA'09),
  University of Texas at Austin, advisor: Kathryn McKinley. Now a professor at Gwangju Institute of Science and Technology (GIST).
• Jenn Sartor (Ph.D. '10, PLDI'10, ISMM'08),
  University of Texas at Austin, advisor: Kathryn McKinley. Now a post-doc at Ghent University with Lieven Eeckhout.
• Ronny Morad (M.S. '06, TR'09),
  Tel Aviv University; now a manager at IBM in Haifa.
• Chengliang Zhang (Ph.D. '07, ECOOP'08),
  University of Rochester, advisor: Chen Ding. Now at Microsoft in Redmond.

• Compiler Construction (home),
  Taught together with Kristoffer H. Rose. Cap-stone graduate class, enrollment of 6 students. New York University (NYU), number CSCI-GA.2130-001, Fall 2013.
• Scripting Languages (home),
  Special Topics in Computer Science graduate class, enrollment of 45 students. New York University (NYU), number CSCI-GA.3033-003, Summer 2012.
• Compiler Construction (home),
  Cap-stone graduate class, enrollment of 16 students. New York University (NYU), number CSCI-GA.2130-001, Fall 2011.
• Scripting Languages (home),
  Special Topics in Computer Science graduate class, enrollment of 12 students. New York University (NYU), number G22.3033-002, Summer 2008.
• Programming Languages (home),
  Entry-level graduate class, enrollment of 15 students. New York University (NYU), number G22.2110-001, Summer 2007.
• Programming Languages (home),
  Entry-level graduate class, enrollment of 27 students. New York University (NYU), number G22.2110-001, Spring 2007.
• Principles of Programming Languages (blurb),
  Third-year undergraduate class, enrollment of 128 students. University of Colorado at Boulder (CU), number CSCI 3155, Fall 2002.

• Dualities in Programming Languages (pdf, talk, abstract),
  Martin Hirzel and Priya Nagpurkar. Fun and Interesting Thoughts (FIT) Session at PLDI, June 2010.
• Jeannie user guide (html, pdf) and open source compiler contributed to xtc.
• Colorado Bench Java benchmarks (at CU Boulder), by Johannes Henkel.
• gcSim garbage collection simulator source code and traces (at CU Boulder).
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (On formally undecidable propositions of Principia Mathematica and related systems I) translation of Kurt Gödel's theorem and proof from 1931 (pdf, errata).

• Papers published by the Association for Computing Machinery (ACM) are Copyright © by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org.
• Papers published by the Institute of Electrical and Electronics Engineers, Inc. (IEEE) are Copyright © by IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
• Papers published in the Lecture Notes in Computer Science (LNCS), which include the proceedings for ECOOP, ESOP, and PADL, are Copyright © by Springer-Verlag.

http://hirzels.com/martin/