Martin Hirzel

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

• “Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler” accepted for publication at SIGMOD 2017.
• The OOPSLA 2006 paper “The DaCapo Benchmarks: Java Benchmarking Development and Analysis” won the 2016 Most Influential OOPSLA Paper Award.
• “SPL: An Extensible Language for Distributed Stream Processing” accepted for publication at TOPLAS.

Martin Hirzel is a research staff member and the manager of the Advanced Cognitive Engineering research group at the IBM T.J. Watson Research Center. Martin received his PhD from the University of Colorado at Boulder in 2004; his thesis adviser was Amer Diwan. At IBM, Martin works on tools and languages for streaming and cognitive systems. Martin is an ACM Distinguished Scientist.

• Experience Report: Prototyping a Query Compiler Using Coq,
  Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon. Accepted for publication in International Conference on Functional Programming (ICFP), September 2017.
• Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time,
  Kanat Tangwongsan, Martin Hirzel, and Scott Schneider. Accepted for publication in Conference on Distributed Event-Based Systems (DEBS), June 2017.
  • Supersedes earlier version: IBM Research Report RC25574, Kanat Tangwongsan, Martin Hirzel, and Scott Schneider. 11 November 2015 (pdf)
• Tutorial: Sliding-Window Aggregation Algorithms,
  Martin Hirzel, Scott Schneider, and Kanat Tangwongsan. Accepted for publication in Conference on Distributed Event-Based Systems (DEBS), June 2017.
• Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler (pdf, @acm),
  Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon. International Conference on Management of Data (SIGMOD), pages 1555-1569, May 2017.
• Q*cert: A Platform for Implementing and Verifying Query Compilers (pdf, @acm),
  Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jérôme Siméon. Demonstration at the International Conference on Management of Data (SIGMOD-Demo), pages 1703-1706, May 2017.
• I Can Parse You: Grammars for Dialogs (pdf, talk, @LIPIcs),
  Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, and Mandana Vaziri. Summit oN Advances in Programming Languages (SNAPL), pages 6:1-6:15, May 2017.
• SPL: An Extensible Language for Distributed Stream Processing (pdf, abstract),
  Martin Hirzel, Scott Schneider, and Buğra Gedik. Transactions on Programming Languages and Systems (TOPLAS), 39(1), pages 5:1-5:39, March 2017.
• Supersedes earlier version: IBM Research Report RC25486, Martin Hirzel, Scott Schneider, and Buğra Gedik. 30 July 2014 (pdf).
• River: An Intermediate Language for Stream Processing (pdf, abstract),
  Robert Soulé, Martin Hirzel, Buğra Gedik, and Robert Grimm. Software: Practice and Experience (SP&E), 46(7), pages 891-929, July 2016.
• AQuA: Adaptive Quality Analytics (pdf, talk, abstract),
  Wei Zhang, Martin Hirzel, and David Grove. Conference on Distributed Event-Based Systems (DEBS), pages 169-180, June 2016.
• Spreadsheets for Stream Processing with Unbounded Windows and Partitions (pdf, talk, abstract),
  Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, and Mandana Vaziri. Conference on Distributed Event-Based Systems (DEBS), pages 49-60, June 2016.
• Virtual Lightweight Snapshots for Consistent Analytics in NoSQL Stores (pdf, talk, abstract),
  Fernando Chirigati, Jérôme Siméon, Martin Hirzel, and Juliana Freire. International Conference on Data Engineering (ICDE), Industrial Track, pages 1310-1321, May 2016.
• META: Middleware for Events, Transactions, and Analytics (pdf, abstract),
  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, and Wei Zhang. IBM Journal of Research and Development (IBMRD), 60(2-3), pages 15:1-15:10, March-May 2016.
• Language Runtime and Optimizations in IBM Streams (pdf, abstract),
  Scott Schneider, Buğra Gedik, and Martin Hirzel. IEEE Database Engineering Bulletin, 38(4), pages 61-72, December 2015.
• General Incremental Sliding-Window Aggregation (pdf, talk, @vldb),
  Kanat Tangwongsan, Martin Hirzel, Scott Schneider, and Kun-Lung Wu. Conference on Very Large Data Bases (VLDB), pages 702-713, September 2015.
• Debugging Mixed-Environment Programs with Blink (pdf, abstract),
  Byeongcheol Lee, Martin Hirzel, Robert Grimm, and Kathryn S. McKinley. Software: Practice and Experience (SP&E), 45(9), pages 1277-1306, September 2015.
• A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (pdf, talk, abstract, artifact),
  Avraham Shinnar, Jérôme Siméon, and Martin Hirzel. European Conference on Object-Oriented Programming (ECOOP), pages 542-567, July 2015.
  • Winner of a Distinguished Artifact Award at ECOOP 2015.
• Spreadsheets for Stream Partitions and Windows (pdf, talk, proceedings, arXiv),
  Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, and Mandana Vaziri. Workshop on Software Engineering Methods in Spreadsheets (SEMS), pages 39-40, May 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.
• 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.
  • The live visualization features ship with the InfoSphere Streams product (see documentation).
• 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 restricted variant is available under the Apache License.
• 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.
  • SPL is the language for the InfoSphere Streams product (see documentation).
• 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.
  • The implementation ships with the InfoSphere Streams product (see documentation).
  • Free trial in IBM's cloud (see tutorial).
• 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.
  • The implementation ships with the InfoSphere Streams product (see documentation).
• 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.
  • Winner of the 2016 Most Influential OOPSLA Paper Award.
  • The benchmarks are available at http://www.dacapobench.org/.
  • An extended version of this paper is 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.

• Global production rules for distributed data,
  Matthew Arnold, Martin Hirzel, Vijay Saraswat, Avraham Shinnar, Jérôme Siméon, and Lionel Villard. US Patent 9,584,358, February 2017.
• Stream-enabled spreadsheet as a circuit,
  Martin Hirzel, Rodric Rabbah, Olivier Tardieu, and Mandana Vaziri. US Patent 9,569,418, February 2017.
• System and method for using development objectives to guide implementation of source code,
  Andrew L. Frenkiel and Martin Hirzel. US Patent 9,361,068, June 2016.
• Automatic exploitation of data parallelism in streaming applications,
  Bugra Gedik, Martin Hirzel, Scott A. Schneider, and Kun-Lung Wu. US patent 9,170,794, October 2015.
• Incremental aggregation-based event pattern matching,
  Martin Hirzel. US patent 9,158,824, October 2015.
• Elastic auto-parallelization for stream processing applications based on a measured throughput and congestion,
  Bugra Gedik, Martin Hirzel, Scott A. Schneider, and Kun-Lung Wu. US patent 9,106,391, August 2015.
• 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.

• Fernando Chirigati (ICDE'16),
  New York University, advisors: Juliana Freire and Cláudio Silva.
• 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, SP&E'15, 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'15, 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/