Martin Hirzel

Martin Hirzel photo

Contact Information

Research Staff Member, Programming Languages
Thomas J. Watson Research Center, Hawthorne, NY USA
hirzelatus.ibm.com      +1dash914dash784dash6130


News


Contact information


Publications


Students mentored


University classes taught

  • Compiler Construction (home, blurb),
    Cap-stone graduate class, enrollment of 16 students. New York University (NYU), number CSCI-GA.2130-001, Fall 2011.
  • Scripting Languages (home, blurb),
    Special Topics in Computer Science graduate class, enrollment of 12 students. New York University (NYU), number G22.3033-002, Summer 2008.
  • Programming Languages (home, blurb),
    Entry-level graduate class, enrollment of 15 students. New York University (NYU), number G22.2110-001, Summer 2007.
  • Programming Languages (home, blurb),
    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.

Miscellaneous other content

  • 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).

Copyright notices

  • 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.

initials