Martin Hirzel

News / Contact / Copyright / Papers / Teaching / Misc

News

“No Bit Left Behind: The Limits of Heap Data Compression” by Jennifer B. Sartor, Martin Hirzel, and Kathryn S. McKinley won the “Best Presentation Award (First Place)” at ISMM 2008.
“Online Phase-Adaptive Data Layout Selection” by Chengliang Zhang and Martin Hirzel accepted for ECOOP 2008.

Contact information

Online:: hirzel@us.ibm.com; http://www.research.ibm.com/people/h/hirzel
Address:: 19 Skyline Drive; Office 1N-J23; IBM T.J. Watson Research Center; Hawthorne, NY 10532

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 and PADL, are Copyright © by Springer-Verlag.

Publications

Wake Up and Smell the Coffee: Evaluation Methodology for the 21st Century (pdf),
S. M. Blackburn, K. S. McKinley, R. Garner, C. Hoffmann, A. M. Khan, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. von Dincklage, B. Wiedermann. Accepted for Communications of the ACM (CACM), 2008.
Online Phase-Adaptive Data Layout Selection (pdf),
Chengliang Zhang and Martin Hirzel. Accepted for European Conference on Object-Oriented Programming (ECOOP), July 2008.
No Bit Left Behind: The Limits of Heap Data Compression (pdf, talk),
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),
Martin Hirzel, Nathaniel Nystrom, Bard Bloom, and Jan Vitek. Practical Aspects of Declarative Languages (PADL), LNCS 4902 pages 150-166, January 2008.
Jeannie: Granting Java Native Interface Developers their Wishes (pdf, talk),
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),
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),
Martin Hirzel, Daniel von Dincklage, Amer Diwan, and Michael Hind. Transactions on Programming Languages and Systems (TOPLAS), April 2007.
The DaCapo Benchmarks: Java Benchmarking Development and Analysis (pdf, org),
Blackburn, S. M., Garner, R., Hoffman, C., Khan, A. M., McKinley, K. S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S. Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J. E. B., Phansalkar, A., Stefanovic, D., VanDrunen, T., von Dincklage, D., and Wiedermann, B.. 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),
David Siegwart and Martin Hirzel. International Symposium on Memory Management (ISMM), pages 52-63, June 2006.
Parley: Federated Virtual Machines (slides, video),
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),
Martin Hirzel. Ph.D. Dissertation, 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),
Martin Hirzel, Amer Diwan, and Matthew Hertz. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 359-373, October 2003.
- Infrastructure: gcSim and traces
- Benchmarks: Colorado, deltablue, Java Olden, SPECjbb2000, SPECjvm98
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),
Martin Hirzel, Amer Diwan, and Johannes Henkel. Transactions on Programming Languages and Systems (TOPLAS), pages 593-624, November 2002.
Understanding the Connectivity of Heap Objects (pdf, ps, talk),
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),
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),
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),
Martin Hirzel and Amer Diwan. International Symposium on Memory Management (ISMM), pages 1-11, October 2000.
Effectiveness of Garbage Collection and Explicit Deallocation (ps),
Martin Hirzel. Master's Thesis, Department of Computer Science, University of Colorado at Boulder, May 2000.

University classes taught

Scripting Languages (home, blurb),
Special Topics in Computer Science class. 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

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

This file was last checked into CVS $Date: 2008/06/24 16:08:19 $ UTC (New York is at UTC-5).

Martin Hirzel

Content navigation