Publications


2008


Tolerating memory leaks. Michael D. Bond and Kathryn S. McKinley. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Nashville, TN, USA, October 2008. To appear.

Immix garbage collection: Mutator locality, fast collection, and space effienciency. S. M. Blackburn and K. S. McKinley. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Tucson, AZ, USA, June 2008.

No bit left behind: The limits of heap data compression. J.B. Sartor, M. Hirzel, and K.S. McKinley. In The 2008 International Symposium on Memory Management (ISMM), Tucson, AZ, USA, June 2008.

Microarchitectural characterization of production jvms and java workloads. J. Ha, M. Gustafsson, S. M. Blackburn, and K. S. McKinley. In IBM CAS Workshop, Austin, TX, USA, February 2008. [Full Results].

Wake up and smell the coffee: Evaluation methodology for the 21st century. S. M. Blackburn, K. S. McKinley, R. Garner, C. Hoffman, 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, and B. Wiedermann. Communications of the ACM, 2008.


2007


Contributing storage using the transparent file system. James Cipar, Mark D. Corner, and Emery D. Berger. ACM Transactions on Storage, November 2007.

Eon: A Language and Runtime System for Perpetual Systems. Jacob Sorber, Alexander Kostadinov, Matthew Garber, Matthew Brennan, Mark D. Corner, and Emery D. Berger. In Proceedings of The Fifth International ACM Conference on Embedded Networked Sensor Systems (SenSys '07), Sydney, Australia, November 2007.

STARC: Static analysis for efficient repair of complex data. S. Khurshid B. Elkarablieh, D. Vu, and K. S. McKinley. In ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA), October 2007.

Probabilistic calling context. M. D. Bond and K. S. McKinley. In ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA), October 2007.

Effective prefetch for mark-sweep garbage collection. Robin Garner, Stephen M. Blackburn, and Daniel Frampton. In The 2007 International Symposium on Memory Management, October 2007.

Tracking bad apples: Reporting the origin of null and undefined value errors. S. W. Kent S. Z. Guyer M. D. Bond, N. Nethercote and K. S. McKinley. In ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA), October 2007.

Recovering and using use-case-diagram-to-source-code traceability links. Kathryn S. McKinley Mark Grechanik and Dewayne E. Perry. In The 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), September 2007.

Hierarchical real-time garbage collection. Jan Vitek Filip Pizlo, Antony L. Hosking. In In Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems(LCTES), pages 123–133, June 2007.

Exterminator: Automatically correcting memory errors with high probability. Gene Novark, Emery D. Berger, and Benjamin G. Zorn. In Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2007), New York, NY, USA, June 2007. ACM Press.

Correcting the dynamic call graph using control flow constraints. Byeongcheol Lee, Kevin Resnick, Michael D. Bond, and Kathryn S. McKinley. In Proceedings of the 2007 International Conference on Compiler Construction (CC '07), pages 80–95, Braga, Portugal, March 2007. [Extended Technical Report].

Open nesting in software transactional memory. Yang Ni, Vijay Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, and Tatiana Shpeisman. In Proceedings of the ACM SIGPLAN 2007 Symposium on Principles and Practice of Parallel Programming, pages 68–78, San Jose, CA, March 2007.

TFS: A Transparent File System for Contributory Storage (Best Paper Award). James Cipar, Mark D. Corner, and Emery D. Berger. In Proceedings of USENIX Conference on File and Storage Technologies (FAST), pages 215–229, San Jose, CA, February 2007.

Cork: dynamic memory leak detection for garbage-collected languages. Maria Jump and Kathryn S. McKinley. In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 31–38, New York, NY, USA, January 2007. ACM Press. [Extended Technical Report].

O java, java! wherefore art thou java?. K. S. McKinley and S. M. Blackburn. In Workshop on Computer Architecture Evaluation using Commercial Workloads (CAECW), January 2007. Invited paper.

Profile-based pretenuring. Stephen M. Blackburn, Matthew Hertz, Kathryn S. Mckinley, J. Eliot B. Moss, and Ting Yang. ACM Trans. Program. Lang. Syst., 29(1):2, 2007.


2006


CRAMM: Virtual memory support for garbage-collected applications. Ting Yang, Emery D. Berger, Scott F. Kaplan, and J. Eliot B. Moss. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI '06), pages 103–116, Seattle, WA, November 2006. Usenix.

The DaCapo benchmarks: Java benchmarking development and analysis. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, 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, and B. Wiedermann. In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications, pages 191–208, Portland, OR, USA, October 2006. ACM Press. [Extended Technical Report].

Bell: bit-encoding online memory leak detection. Michael D. Bond and Kathryn S. McKinley. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '06), volume 34, pages 61–72, San Jose, CA, October 2006.

Understanding the behavior of compiler optimizations. Han B. Lee, Daniel von Dincklage, Amer Diwan, , and J. Eliot B. Moss. Software: Practice and Experience, 36(8):835–844, July 2006.

Transparently reconciling transactions with locking for Java synchronization. A. Welc, A. L. Hosking, and S. Jagannathan. In Proceedings of the 20th European Conference on Object-Oriented Programming, pages 148–173, Nantes, France, July 2006.

Decomposing memory performance: Data structures and phases. K. K. Agaram, S. W. Keckler, C. Lin, and K. S. McKinley. In ACM International Symposium on Memory Management (ISMM), pages 95–103, Ottawa, Canada, June 2006.

DieHard: Probabilistic memory safety for unsafe languages. Emery D. Berger and Benjamin G. Zorn. In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2006), pages 158–168, New York, NY, USA, June 2006. ACM Press.

Flux: A language for programming high-performance servers. Brendan Burns, Kevin Grimaldi, Alexander Kostadinov, Emery D. Berger, and Mark D. Corner. In 2006 USENIX Annual Technical Conference, pages 129–142, June 2006.

Transparent contribution of memory. James Cipar, Mark D. Corner, and Emery D. Berger. In 2006 USENIX Annual Technical Conference, pages 109–114, June 2006.

Free-me: a static analysis for automatic individual object reclamation. Samuel Z. Guyer, Kathryn S. McKinley, and Daniel Frampton. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 364–375, Ottawa, Canada, June 2006.

Portable, mostly-concurrent, mostly-copying garbage collection for multi-processors. A. L. Hosking. In Proceedings of the 4th ACM SIGPLAN International Symposium on Memory Management, pages 40–51, Ottawa, Canada, June 2006.

Fast and efficient partial code reordering: taking advantage of dynamic recompilation. Xianglong Huang, Stephen M. Blackburn, David Grove, and Kathryn S. McKinley. In ACM International Symposium on Memory Management (ISMM), pages 184–192, Ottawa, Canada, June 2006.

Dynamic code management: improving whole program code locality in managed runtimes. Xianglong Huang, Brian T Lewis, and Kathryn S McKinley. In International Conference on Virtual Execution Environments (VEE), pages 133–143, Ottawa, Canada, June 2006.

Reducing generational copy reserve overhead with fallback compaction. P. McGachey and A. L. Hosking. In Proceedings of the 4th ACM SIGPLAN International Symposium on Memory Management, pages 17–28, Ottawa, Canada, June 2006.

Nesting transactions: Why and what do we need?. J. Eliot B. Moss. Invited talk at the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT), Ottawa, Canada, June 2006.

Nested transactional memory: Model and architecture sketches. J. Eliot B. Moss and Antony L. Hosking. Science of Computer Programming (Elsevier), 63:186–201, June 2006.

Generating object lifetime traces with Merlin. Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, and Darko Stefanovic. ACM Transactions on Programming Languages and Systems, 28(3):476–516, May 2006.

An improved generational copying garbage collector. P. McGachey. Master's thesis, Purdue University, May 2006.

Concurrency Abstractions for Object-Oriented Programming Languages Using Optimistic Protocols. A. Welc. PhD thesis, Purdue University, May 2006.

Hybrid optimizations: Which optimization algorithm to use?. John Cavazos, J. Eliot B. Moss, and Michael F. P. O'Boyle. In Proceedings of the 15th International Conference on Compiler Construction, pages 124–138, Vienna, Austria, March 2006.

Open nested transactions: Semantics and support. J. Eliot B. Moss. Poster at the 2006 Workshop on Memory Performance Issues, February 2006.

On the prediction of java object lifetimes. Hajime Inoue. IEEE Trans. Comput., 55(7):880–892, 2006. Member-Darko Stefanovic and Member-Stephanie Forrest.

Revocation techniques for Java concurrency. A. Welc, S. Jagannathan, and A. L. Hosking. Concurrency and Computation: Practice and Experience, 18:1613–1656, 2006.


2005


Continuous path and edge profiling. Michael D. Bond and Kathryn S. McKinley. In 38th International Symposium on Microarchitecture (MICRO-38), pages 130–140, Barcelona, November 2005.

Safe futures for Java. A. Welc, S. Jagannathan, and A. L. Hosking. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 439–453, San Diego, California, October 2005.

CISL: A class-based machine description language for co-generation of compilers and simulators. J. Eliot B. Moss, Trek Palmer, Timothy Richards, Edward K. Walters II, and Charles C. Weems. International Journal of Parallel Programming, 33(2–3):231–246, June 2005.

Low power, low complexity instruction issue using compiler assistance. M. G. Valluri, L. K. John, and K. S. McKinley. In The International Conference on Supercomputing (ICS), pages 209–218, Cambridge, MA, June 2005.

Atomicity as a first-class system provision. J. Eliot B. Moss and Ravi Rajwar. Journal of Universal Computer Science, 11(5):651–660, May 2005.

Recurrence analysis for effective array prefetching in Java. Brendon Cahoon and Kathryn S. McKinley. Concurrency and Computation: Practice and Experience, 17(5-6):589–616, April 2005.

Practical path profiling for dynamic optimizers. M. D. Bond and K. S. McKinley. In The International Symposium on Code Generation and Optimization (CGO), pages 205–216, San Jose, CA, March 2005.

Cooperative caching with keep-me and evict-me. J. Sartor, S. Venkiteswaran, K. S. McKinley, and Z. Wang. In The 9th IEEE Annual Workshop on the Interaction between Compilers and Computer Architectures (INTERACT), pages 46–57, San Francisco, CA, February 2005.

The Jikes research virtual machine project: Building an open-source research community. B. Alpern, S. Augart, S. M. Blackburn, M. Butrico, A. Cocchi, P. Cheng, J. Dolby, S. Fink, D. Grove, M. Hind, K. S. McKinley, M. Mergen, J. E. B. Moss, T. Ngo, V. Sarkar, and M. Trapp. IBM Systems Journal, 44(2):399–418, 2005.

Fast online pointer analysis. Martin Hirzel, Daniel von Dincklage, Amer Diwan, and Michael Hind. ACM Transactions on Programming Languages and Systems, 2005.

The Atomic Manifesto: A story in four quarks. Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogerio de Lemos, Eliot Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, and Luis Rodrigues. ACM SIGMOD Record, 34(1):63–69, 2005.


2004


Software prefetching for mark-sweep garbage collection: Hardware analysis and software redesign. Chen-Yong Cher, Antony L. Hosking, and T. N. Vijaykumar. In Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, MA, October 2004.

Finding your cronies: Static analysis for dynamic object colocation. Samuel Z. Guyer and Kathryn S. McKinley. In Proceedings of the ACM Conference on Object–Oriented Programming Systems, Languages, and Applications, Vancouver, BC, October 2004.

Vertical profiling: Understanding the behavior of object-oriented applications. Matthias Hauswirth, Peter F. Sweeney, Amer Diwan, and Michael Hind. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004), pages 251–269, Vancouver, British Columbia, October 2004.

The garbage collection advantage: Improving mutator locality. Xianglong Huang, Zhenlin Wang, Stephen M. Blackburn, Kathryn S. McKinley, J. Eliot B. Moss, and Perry Cheng. In Proceedings of the ACM Conference on Object–Oriented Programming Systems, Languages, and Applications, Vancouver, BC, October 2004.

Dynamic object sampling for pretenuring. M. Jump, S. M. Blackburn, and K. S. McKinley. In International Symposium on Memory Management (ISMM), pages 152–162, Vancouver, Canada, October 2004.

MC2: High-performance garbage collection for memory-constrained environments. Narendran Sachindran and Eliot Moss. In Proceedings of the ACM Conference on Object–Oriented Programming Systems, Languages, and Applications, Vancouver, BC, October 2004.

Converting Java classes to use generics. Daniel von Dincklage and Amer Diwan. In Proceedings of the the 2004 ACM Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2004), pages 1–14, Vancouver, BC, October 2004.

Automatic heap sizing: Taking real memory into account. Ting Yang, Matthew Hertz, Emery D. Berger, Scott F. Kaplan, , and J. Eliot B. Moss. In Proceedings of the 2004 International Symposium on Memory Management, pages 61–72, Vancouver, BC, October 2004. ACM Press.

Preemption-based avoidance of priority inversion for Java. Adam Welc, Antony L. Hosking, and Suresh Jagannathan. In Proceedings of the International Conference on Parallel Processing, pages 529–538, Montreal, Canada, August 2004.

Myths and realities: The performance impact of garbage collection. Stephen M. Blackburn, Perry Cheng, and Kathryn S. McKinley. In Proceedings of the ACM SIGMETRICS Conference on Measurement & Modeling Computer Systems, NY, NY, June 2004.

Inducing heuristics to decide whether to schedule. John Cavazos and J. Eliot B. Moss. In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '04, Washington, DC, June 2004.

Pointer analysis in the presence of dynamic class loading. Martin Hirzel, Amer Diwan, and Michael Hind. In European Conference on Object-Oriented Programming (ECOOP), 2004, pages 96–122, June 2004.

Building the components for a biomolecular computer. Clint Morgan, Darko Stefanovic, Cristopher Moore, and Milan N. Stojanovic. In 10th International Meeting on DNA Computing, pages 247–257, Milano, Italy, June 2004.

Transactional monitors for concurrent objects. Adam Welc, Suresh Jagannathan, and Antony L. Hosking. In Proceedings of the European Conference on Object-Oriented Programming, pages 519–542, Oslo,, Norway, June 2004.

Oil and water? High performance garbage collection in Java with JMTk. Stephen M. Blackburn, Perry Cheng, and Kathryn S. McKinley. In Proceedings of the 26th International Conference on Software Engineering, pages 137–146, Edinburgh, Scotland, May 2004.

Discovering and Debugging Algebraic Specifications for Java Classes. Johannes Henkel. PhD thesis, University of Colorado, Department of Computer Science, May 2004.

Using hardware performance monitors to understand the behavior of Java applications. Peter F. Sweeney, Matthias Hauswirth, Brendon Cahoon, Perry Cheng, Amer Diwan, David Grove, and Michael Hind. In Proceedings of the 3rd Virtual Machine Research and Technology Symposium: VM 2004, pages 57–72, San Jose, California, May 2004. USENIX.

Partial Redundancy Elimination for Global Value Numbering. Thomas John VanDrunen. PhD thesis, Purdue University, May 2004.

The limits of alias analysis for scalar optimizations. Rezaul A. Chowdhury, Peter Djeu, Brendon Cahoon, James H. Burrill, and Kathryn S. McKinley. In International Conference on Compiler Construction, pages 24–38, Barcelona, Spain, April 2004.

Design and implementation of a 64 bit PowerPC port of Jikes RVM 2.0.3, Sergiy Kyrylkov, Darko Stefanovic, and J. Eliot B. Moss. No printed proceedings, March 2004.

A case for vertical profiling. Matthias Hauswirth, Peter Sweeney, Amer Diwan, and Michael Hind. In Proceedings of the 2nd Workshop on Managed Runtime Environments (MRE 2004), 2004. No printed proceedings; slides on the Internet.

A tool for writing and debugging algebraic specifications. Johannes Henkel and Amer Diwan. In Proceedings of the International Conference on Software Engineering (ICSE) 2004, pages 449–458, Edinburgh, Scotland, 2004.

Anticipation-based partial redundancy elimination for static single assignment form. Thomas VanDrunen and Antony L. Hosking. Software: Practice and Experience, 34:1413–1439, 2004.

Value-based partial redundancy elimination. Thomas VanDrunen and Antony L. Hosking. In Proceedings of the International Conference on Compiler Construction, pages 167–184, Barcelona, Spain, March/April 2004.

A semantic framework for designer transactions. Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony L. Hosking. In Proceedings of the European Symposium on Programming, pages 249–263, Barcelona, Spain, March/April 2004.


2003


Ulterior reference counting: Fast garbage collection without a long wait. Stephen M. Blackburn and Kathryn S. McKinley. In Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2003), pages 344–258, November 2003.

Connectivity-based garbage collection. Martin Hirzel, Amer Diwan, and Matthew Hertz. In Proceedings of the Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2003), pages 359–373, Anaheim, California, November 2003.

Randomized instruction set emulation to disrupt binary code injection attacks. Elena Gabriela Barrantes, Dabid H. Ackley, Stephanie Forrest, Trek S. Palmer, Darko Stefanovic, and Dino Dai Zovi. In 10th ACM Conference on Computer and Communications Security, pages 281–289, Washington, DC, October 2003.

MarkCopy: Fast copying GC with less space overhead. Narendran Sachindran and Eliot Moss. In Proceedings of the ACM Conference on Object–Oriented Programming Systems, Languages, and Applications, pages 326–343, Anaheim, CA, October 2003.

Guided region prefetching: A cooperative hardware/software approach. Zhenlin Wang, Doug Burger, Kathryn S. McKinley, Steven Reinhardt, and Charles C. Weems. In Proceedings of the 30th International Symposium on Computer Architecture, pages 388–398, San Diego, CA, June 2003.

An intelligent cache system with hardware prefetching for high performance. Jung-Hoon Lee, Shin-Dug Kim, and Charles Weems. IEEE Transactions on Computers, 52(5):607–616, May 2003.

Experiences constructing a lightweight SPARC interpreter for a dynamic binary translator. Trek Palmer and Darko Stefanovic TR-CS-2003-12, University of New Mexico Department of Computer Science, March 2003. Submitted for publication.

Dynamic SimpleScalar: Simulating Java virtual machines. Xianglong Huang, J. Eliot B. Moss, Kathryn S. McKinley, Stephen Blackburn, and Doug Burger TR-03-03, University of Texas at Austin Department of Computer Sciences, February 2003. Submitted for publication.

A garbage collection bakeoff in a Java memory management toolkit (JMTk), Stephen M. Blackburn, Perry Cheng, and Kathryn S. McKinley. 2003. Submitted for publication.

Idioms in OVM, Chapman Flack, Antony Hosking, and Jan Vitek. 2003. Submitted for publication.

Capitulating loads: Alternatives to prefetching in garbage collection, Antony Hosking, T. N. Vijaykumar, and Kailash Agrawal. 2003. Work in progress.

Sapphire: Copying GC without stopping the world. Richard L. Hudson and J. Eliot B. Moss. Concurrency and Control: Practice and Experience, 15:223–261, 2003.

Object lifetime prediction in Java, Hajime Inoue, Darko Stefanovic, and Stephanie Forrest. Submitted for publication, 2003.

Deoxyribozyme-based half adder. Milan N. Stojanovic and Darko Stefanovic. Journal of the American Chemical Society, 125(22):6673–6676, 2003.

Cooperative Hardware/Software Caching for Next-Generation Memory Systems. Zhenlin Wang. PhD thesis, Department of Computer Science, University of Massachusetts, Amherst, December 2003.

Transactional threads for orthogonal persistence, Adam Welc and Antony Hosking. 2003. Submitted for publication.


2002


Reconsidering custom memory allocation. Emery D. Berger, Benjamin G. Zorn, and Kathryn S. McKinley. In Proceedings of the ACM Conference on Object–Oriented Programming Systems, Languages, and Applications, pages 1–12, Seattle, WA, November 2002.

Simple and effective array prefetching for Java. Brendon Cahoon and Kathryn S. McKinley. In ACM Java Grande, Seattle, WA, November 2002.

Effective Compile-Time Analysis for Data Prefetching in Java. Brendon Cahoon. PhD thesis, Dept. of Computer Science, University of Massachusetts, Amherst, September 2002.

Using the compiler to improve cache replacement decisions. Zhenlin Wang, Kathryn S. McKinley, Arnold Rosenberg, and Charles C. Weems. In The 2002 International Conference on Parallel Architectures and Compilation Techniques, pages 199–208, Charlottesville, VA, September 2002.

Memory Management for High-Performance Applications. Emery Berger. PhD thesis, Department of Computer Sciences, University of Texas at Austin, August 2002.

Beltway: Getting around garbage collection gridlock. Stephen M Blackburn, Richard Jones, Kathryn S McKinley, and J. Eliot B. Moss. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '02 (Berlin, Germany, June 17–19, 2002), volume 37(6) of ACM SIGPLAN Notices. ACM Press, June 2002.

Static load classification for improving the value predictability of data-cache misses. Martin Burtscher, Amer Diwan, and Matthias Hauswirth. In ACM SIGPLAN Conference on Programming Language Design and Implementation Design and Implementation, pages 222–233, Berlin, Germany, June 2002.

Error free garbage collection traces: How to cheat and not get caught. Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, and Darko Stefanovic. In Proceedings of the International Conference on Measurement and Modeling of Computer Systems, pages 140–151, Marina Del Rey, CA, June 2002.

Data Reorganization for Improving Cache Performance of Object-Oriented Programs. Sharad Singhai. PhD thesis, Dept. of Computer Science, University of Massachusetts, Amherst, February 2002.

In or out? putting write barriers in their place. Stephen M Blackburn and Kathryn S McKinley. In ISMM 2002, International Symposium on Memory Management (Berlin, Germany, June 20–21, 2002), ACM SIGPLAN Notices. ACM Press, 2002.

Framework for analyzing garbage collection. Matthew Hertz, Neil Immerman, and J. Eliot B. Moss. In Ricardo Baeza-Yates, Ugo Montanari, and Nicola Santoro, editors, Foundations of Information Technology in the Era of Network a nd Mobile Computing: IFIP 17th World Computer Congress - TC1 Stream (TCS 2002), volume 223 of IFIP Conference Proceedings, pages 230–241, Montreal, Canada, 2002. Kluwer.

On the usefulness of type and liveness accuracy for garbage collection and leak detection. Martin Hirzel, Amer Diwan, and Johannes Henkel. ACM Transactions on Programming Languages and Systems (TOPLAS), 24(6):593–624, 2002.

Understanding the connectivity of heap objects. Martin Hirzel, Johannes Henkel, Amer Diwan, and Michael Hind. In Proceedings of the Third International Symposium on Memory Management, pages 36–49. ACM Press, 2002.

When to use a compilation service?. Jeffrey Palm, Han Lee, Amer Diwan, and J. Eliot B. Moss. In Proceedings of the Joint Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pages 194–203. ACM Press, 2002.

Older-first garbage collection in practice: Evaluation in a Java virtual machine. Darko Stefanovic, Matthew Hertz, Stephen M. Blackburn, Kathryn S. McKinley, and J. Eliot B. Moss. In Proceedings of the ACM SIGPLAN Workshop on Memory System Performance, MSP 2002 (Berlin, Germany, June 16, 2002). ACM Press, 2002.

Deoxyribozyme-based logic gates. Milan N. Stojanovic, Tiffany Elizabeth Mitchell, and Darko Stefanovic. Journal of the American Chemical Society, 124:3555, 2002.

Security applications of dynamic binary translation. Dino Dai Zovi TR-CS-2002-38, University of New Mexico Department of Computer Science, December 2002. B.S. (Hons.) Thesis.


2001


Pretenuring for Java. Stephen M. Blackburn, Sharad Singhai, Matthew Hertz, Kathryn S. McKinley, and J. Eliot B. Moss. In Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001 (Tampa, Florida, USA, October 14–18, 2001), volume 36(11) of ACM SIGPLAN Notices, pages 342–352. ACM Press, November 2001.

Encapsulating objects with confined types. Christian Grothoff, Jens Palsberg, and Jan Vitek. In Proceedings of the ACM Conference on Object–Oriented Programming Systems, Languages, and Applications, October 2001.

Data flow analysis for software prefetching linked data structures in Java. Brendon Cahoon and Kathryn S. McKinley. In The 2001 International Conference on Parallel Architectures and Compilation Techniques, pages 280–291, Barcelona, Spain, September 2001.

Compiling for an Impulse memory controller. X. Huang, Z. Wang, and K. S. McKinley. In International Conference on Parallel Architectures and Compilation Techniques, pages 141–150, Barcelona, Spain, September 2001.

Composing high-performance memory allocators. E. D. Berger, B. G. Zorn, and K. S. McKinley. In Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pages 114–124, Salt Lake City, UT, June 2001.

On the liveness accuracy of garbage collection. Martin Hirzel, Amer Diwan, and Antony Hosking. In Proceedings of the 16th Annual European Conference on Object-Oriented Programming, pages 181–206, Malaga, Spain, June 2001.

On the usefulness of liveness for garbage collection and leak detection. Martin Hirzel, Amer Diwan, and Antony Hosking. In European Conference on Object-Oriented Programming, pages 181–206, Budapest, Hungary, June 2001.

Improving replacement decisions in set-associative caches. Zhenlin Wang, Kathryn S. McKinley, and Arnold L. Rosenberg. In Proceedings of MASPLAS'01, The Mid-Atlantic Student Workshop on Programming Languages and Systems, IBM Watson Research Center, Hawthorne, NY, April 2001.

Using types to analyze and optimize object-oriented programs. Amer S. Diwan, Kathryn S. McKinley, and J. Eliot B. Moss. ACM Transactions on Programming Languages and Systems, 23:30–72, 2001.

Sapphire: Copying GC without stopping the world. Richard L. Hudson and J. Eliot B. Moss. In Proceedings of ACM 2001 Java Grande Conference, pages 48–57, Palo Alto, CA, 2001.

Reducing DRAM latencies with an integrated memory hierarchy design. Wei-Fen Lin, Steven K. Reinhardt, and Doug Burger. In Proceedings of the 7th International Symposium on High Performance Computer Architecture, pages 301–312, Jan 2001.


2000


Hoard: A scalable memory allocator for multithreaded applications. Emery D. Berger, Kathryn S. McKinley, R. D. Blumofe, and Paul R. Wilson. In Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, MA, November 2000.

Cycles to recycle: Garbage collection on the IA-64. Richard L. Hudson, J. Eliot B. Moss, Sreenivas Subramoney, and Weldon Washburn. In International Symposium on Memory Management (ISMM 2000), pages 101–110, October 2000.

On models for object lifetimes. Darko Stefanovic, Kathryn S. McKinley, and J. Eliot B. Moss. In ISMM 2000 Proceedings of the Second International Symposium on Memory Management, volume 36(1) of ACM SIGPLAN Notices, pages 137–142, Minneapolis, MN, October 2000. ACM Press.


1999


Age-based garbage collection. Darko Stefanovic, Kathryn S. McKinley, and J. Eliot B. Moss. In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA'99, volume 34(10) of ACM SIGPLAN Notices, pages 370–381, Denver, Colorado, USA, October 1999. ACM Press.


Copyright Notice. The below material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's or organization's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.