Refereed Publications
Journals
- The Jikes RVM Project: Building an Open Source Research Community
Alpern, Augart, Blackburn, Butrico, Cocchi, Cheng, Dolby, Fink, Grove, Hind, McKinley, Mergen, Moss, Ngo, Sarkar, and Trapp.
Published in the IBM Systems Journal, 44(2), May 2005.
- A Survey of Adaptive Optimization in Virtual Machines
Arnold, Fink, Grove, Hind, and Sweeney.
Published in Proceedings of the IEEE Vol. 93 Iss. 2, February 2005.
- A Framework for Call Graph Construction Algorithms
Grove and Chambers.
Published in ACM Transations on Programming Languages and Systems November 2001, Vol. 23, No. 6.
- Reducing the Overhead of Dynamic Compilation
Krintz, Grove, Lieber, Sarkar, and Calder.
Published in Software Practice and Experience July 2001, Vol. 31 No. 8
- The Jalapeņo Virtual Machine
Alpern, Attanasio, Barton, Burke, Cheng, Choi, Cocchi, Fink, Grove, Hind,
Hummel, Lieber, Litvinov, Mergen, Ngo, Sarkar, Serrano, Shepherd, Smith,
Sreedhar, Srinivasan, and Whaley.
Published in the IBM Systems Journal, February 2000, Vol. 39, No. 1.
Conferences
- Tax-and-Spend: Democratic Scheduling for Real-time Garbage Collection
Auerbach, Bacon, Cheng, Grove, Biron, Gracie, McCloskey, Micic, and Sciampacone. To appear in the Proceedings of EMSOFT 2008.
- Design and Implementation of a Comprehensive Real-time Java Virtual Machine
Auerbach, Bacon, Blainey, Cheng, Dawson, Fulton, Grove, Hart, and Stoodley. Published in the Proceedings of EMSOFT 2007.
- Generational Real-time Garbage Collection: A Three-part Invention for Young Objects
Frampton, Bacon, Cheng, and Grove. Published in the Proceedings of ECOOP 2007.
- Libra: A Library Operating System for a JVM in a Virtualized Execution Environment
Ammons, Appavoo, Butrico, Da Silva, Grove, Kawachiya, Krieger, Rosenburg, Van Hensbergen, and Wisniewski. Published in the Proceedings of VEE 2007.
- Eventrons: A Safe Programming Construct for High-Frequency Hard Real-Time Applications
Spoonhower, Auerbach, Bacon, Cheng and Grove.
Published in the Proceedings of PLDI 2006.
- Fast and Efficient Partial Code Reordering: Taking Advantage of Dynamic Recompilation
Huang. Blackburn, Grove, and McKinley.
Published in the Proceedings of ISMM 2006.
- On-line Visualization and Analysis of Real-time Systems with TuningFork
Bacon, Cheng, Frampton, Grove, Hauswirth, and Rajan.
Published as a Tools Demonstration paper in the Proceedings of CC 2006.
- High-level Real-time Programming in Java
Bacon, Cheng, Grove, Hind, Rajan, Yahav, Hauswirth, Kirsch, Spoonhower, and Vechev
Published in the proceedings of EMSOFT 2005.
- Derivation and Evaluation of Concurrent Collectors
Vechev, Bacon, Cheng and Grove.
Published in the proceedings of ECOOP 2005.
- Syncopation: Generational Real-time Garbage Collection in the Metronome
Bacon, Cheng, Grove and Vechev.
Published in the proceedings of LCTES 2005.
- Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines
Arnold and Grove. Published in the proceedings of CGO 2005.
- Garbage Collection for Embedded Systems
Bacon, Cheng, and Grove. Published in the proceeedings of EMSOFT 2004.
- Using Hardware Performance Monitors to Understand
the Behavior of Java Applications
Sweeney, Hauswirth, Cahoon, Cheng, Diwan, Grove, and Hind. Published in the proceedings of VM 2004.
- MJ: A Rational Module System for Java and its Application
Corwin, Bacon, Grove, and Murthy. Published in the proceedings of OOPSLA 2003.
- Adaptive Online Context-Sensitive Inlining
Hazelwood and Grove. Published in the proceedings of CGO 2003.
- Experiences Porting the Jikes RVM to Linux/IA32
Alpern, Butrico, Cocchi, Dolby, Fink, Grove and Ngo
Published in the proceedings of USENIX JVM 2002.
- Space- and Time-Efficient Implementation of the Java Object Model
Bacon, Fink, and Grove.
Published in the proceedings of ECOOP 2002.
- Composing Dataflow Analyses and Transformations
Lerner, Grove, and Chambers.
Published in the proceedings of POPL 2002.
- Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless
Alpern, Cocchi, Fink, Grove, and Lieber.
Published in the proceedings of OOPSLA 2001.
- Dynamic Type Checking in Jalapeņo
Alpern, Cocchi, and Grove.
Published in the proceedings of USENIX JVM 2001.
- Adaptive Optimization in the Jalapeņo JVM
Arnold, Fink, Grove, Hind, and Sweeney.
Published in the proceedings of OOPSLA 2000.
- The Jalapeņo Dynamic Optimizing Compiler for Java
Burke, Choi, Fink, Grove, Hind, Sarkar, Serrano, Sreedhar, Srinivasan, and Whaley.
Published in the proceedings of JavaGrande 1999.
- Fast Interprocedural Class Analysis
DeFouw, Grove, and Chambers.
Published in the proceedings of POPL 1998.
- Call Graph Construction in Object-Oriented Languages
Grove, DeFouw, Dean, and Chambers.
Published in the proceedings of OOPSLA 1997.
- Vortex: An Optimizing Compiler for Object-Oriented Langauges
Dean, DeFouw, Grove, Litvinov, Chambers.
Published in the proceedings of OOPSLA 1996.
- The Impact of Interprocedural Class Analysis on Optimization
Grove.
Published in the proceedings of CASCON 1995.
- Profile-Guided Receiver Class Prediction
Grove, Dean, Garrett, and Chambers.
Published in the proceedings of OOPSLA 1995.
- Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis
Dean, Grove, and Chambers.
Published in the proceedings of ECOOP 1995.
- Selective Specialization for Object-Oriented Languages
Dean, Chambers, and Grove.
Published in the proceedings of PLDI 1995.
- A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies
Chambers, Dean, and Grove.
Published in the proceedings of ICSE-17(1995).
Workshops
- Languages and Performance Engineering: Method, Instrumentation, and Pedagogy
Lea, Bacon, and Grove. Published in the proceedings of the 2008 SIGPLAN Workshop on Programming Language Curriculum.
- Program Analysis for Safety Guarantees in a Java Virtual Machine Written in Java
Maessen, Sarker, and Grove.
Published in the proceedings of PASTE 2001.
- Efficient Dispatch of Java Interface Methods
Alpern, Cocchi, Grove, Lieber.
Published in the proceedings of the HPCN 2001 Java Workshop.
- Adaptive Optimization in the Jalapeņo JVM: The Controller's Analytic Model
Arnold, Fink, Grove, Hind, and Sweeney.
Published in the proceedings of FDDO-3.
- Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs
Choi, Grove, Hind, and Sarkar.
Published in the proceedings of PASTE 1999.
- Identifying Profitable Specialization in Object-Oriented Languages
Dean, Chambers, and Grove.
Published in the proceedings of PEPM 1994.
