This is a canonical list of my publications. My Google Scholar profile is also fairly complete, but does contain some artifacts because I was one of the “authors” of the sample latex paper used by LNCS for many years. You will also find a subset of my recent IBM publications on my IBM Research homepage.

PhD Thesis

Effective Interprocedural Optimization of Object-Oriented Languages: David Grove
University of Washington, Dept. of Computer Science and Engineering, 1998

Refereed Publications

An Empirical Comparison of Code Generation Approaches for Ansible: Benjamin Darnell, Hetarth Chopra, Aaron Councilman, David Grove, Yu-Xiong Wang, Vikram Adve InteNSE ‘24: Proceedings of the ACM/IEEE 2nd International Workshop on Interpretability, Robustness, and Benchmarking in Neural Software Engineering

Reliable Actors with Retry Orchestration: Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, Edward Epstein Proceedings of the ACM on Programming Languages Volume 7 Issue PLDI Article No. 159 pp 1293–1316
Failure Recovery in Resilient X10: David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu
ACM Trans. Program. Lang. Syst. 41(3), 15:1–15:30, ACM, 2019
Dynamic Atomicity: Optimizing Swift Memory Management: David Ungar, David Grove, Hubertus Franke
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, pp. 15–26, ACM, 2017
Resilient X10 over MPI User Level Failure Mitigation: Sara S. Hamouda, Benjamin Herta, Josh Milthorpe, David Grove, Olivier Tardieu
Proceedings of the 6th ACM SIGPLAN Workshop on X10, pp. 18–23, ACM, 2016
AQuA: Adaptive Quality Analytics: Wei Zhang, Martin Hirzel, David Grove
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, pp. 169–180, ACM, 2016
META: Middleware for Events, Transactions, and Analytics: 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, Wei Zhang
IBM Journal of Research and Development 60(2-3), 2016
X10 and APGAS at Petascale: Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
j-TOPC 2(4), 25:1–25:32, 2016. This is the journal version of our earlier PPoPP 2014 paper.
Optimization of X10 Programs with ROSE Compiler Infrastructure: Michihiro Horie, Mikio Takeuchi, Kiyokuni Kawachiya, David Grove
Proceedings of the 2015 ACM SIGPLAN X10 Workshop, pp. 19–24, ACM
Supporting Array Programming in X10: David Grove, Josh Milthorpe, Olivier Tardieu
Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, 2014.
Friendly Barriers: Efficient Work-stealing with Return Barriers: Vivek Kumar, Stephen M. Blackburn, David Grove
Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 165–176, ACM, 2014
GLB: Lifeline-based Global Load Balancing Library in X10: Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay Saraswat, Mikio Takeuchi
Proceedings of the First Workshop on Parallel Programming for Analytics Applications, pp. 31–40, ACM, 2014
Resilient X10: Efficient failure-aware programming: David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay Saraswat, Mikio Takeuchi, Olivier Tardieu
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 67–80, ACM, 2014.
Java interoperability in Managed X10: Mikio Takeuchi, David Cunningham, David Grove, Vijay Saraswat
Proceedings of the third ACM SIGPLAN X10 Workshop, pp. 39–46, ACM, 2013
Some new approaches to partial inlining: Bowen Alpern, Anthony Cocchi, David Grove
Proceedings of the sixth ACM workshop on Virtual Machines and Intermediate Languages, pp. 39–48, 2012
Work-stealing without the baggage: V. Kumar, D. Frampton, S.M. Blackburn, D. Grove, O. Tardieu
Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPLSA’12, pp. 297–314, 2012
SatX10: a scalable plug & play parallel SAT framework: Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat
Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing, pp. 463–468, Springer-Verlag, 2012
A high-productivity task-based programming model for clusters: Enric Tejedor, Montse Farreras, David Grove, Rosa M. Badia, Gheorghe Almasi, Jesus Labarta
Concurrency and Computation: Practice and Experience 24(18), 2421–2448, John Wiley & Sons, Ltd, 2012
A performance model for X10 applications: what’s going on under the hood?: D. Grove, O. Tardieu, D. Cunningham, B. Herta, I. Peshansky, V. Saraswat
Proceedings of the 2011 ACM SIGPLAN X10 Workshop, pp. 1:1–1:8
Communication Optimizations for Distributed-Memory X10 Programs: Rajkishore Barik, Jisheng Zhao, David Grove, Igor Peshansky, Zoran Budimlic, Vivek Sarkar
Proceedings of the 25th IEEE International Parallel and Distributed Processing Symposium, IEEE, 2011
X10 as a parallel language for scientific computation: practice and experience: Josh Milthorpe, V Ganesh, Alistair P Rendell, David Grove
IEEE International Parallel and Distributed Processing Symposium, pp. 1080–1088, IEEE, 2011 Abstract
Lifeline-based global load balancing: Vijay A Saraswat, Prabhanjan Kambadur, Sreedhar Kodali, David Grove, Sriram Krishnamoorthy
Proceedings of the 16th ACM symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 201–212, ACM, 2011
The Asynchronous Partitioned Global Address Space Model: V. Saraswat, G. Almasi, G. Bikshandi, C. Cascaval, D. Cunningham, D. Grove, S. Kodali, I. Peshansky, O. Tardieu
AMP’10: Proceedings of The First Workshop on Advances in Message Passing, 2010
Demystifying magic: high-level low-level programming: Daniel Frampton, Stephen M Blackburn, Perry Cheng, Robin J Garner, David Grove, Eliot J B Moss, Sergey I Salishev
VEE ‘09: Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, pp. 81–90, ACM
Languages and Performance Engineering: Method, Instrumentation, and Pedagogy: Doug Lea, David F. Bacon, David Grove
Proceedings of the 2008 SIGPLAN Workshop on Programming Language Curriculum, pp. 87–92, ACM
Tax-and-Spend: Democratic Scheduling for Real-Time Garbage Collection: Joshua Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone
Proceedings of the 8th ACM International Conference on Embedded Software, pp. 245–254, ACM, 2008
Generational Real-Time Garbage Collection: A Three-Part Invention for Young Objects: Daniel Frampton, David F. Bacon, Perry Cheng, David Grove
Proceedings of the 21st European Conference on Object-Oriented Programming, pp. 101–125, Springer, 2007
TuningFork: a Platform for Visualization and Analysis of Complex Real-Time Systems: David F. Bacon, Perry Cheng, David Grove
Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 854–855, ACM, 2007
Design and Implementation of a Comprehensive Real-Time Java Virtual Machine: Joshua Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark Stoodley
Proceedings of the Seventh ACM/IEEE International Conference on Embedded Software, pp. 249–258, ACM, 2007
Libra: a library operating system for a JVM in a virtualized execution environment: Glenn Ammons, Jonathan Appavoo, Maria Butrico, Dilma Da Silva, David Grove, Kiyokuni Kawachiya, Orran Krieger, Bryan Rosenburg, Eric Van Hensbergen, Robert W Wisniewski
VEE ‘07: Proceedings of the 3rd international conference on Virtual execution environments, pp. 44–54, ACM, 2007
Demonstration: On-line visualization and analysis of real-time systems with TuningFork: David F Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, VT Rajan
CC 2006 - 15th International Conference on Compiler Construction, pp. 96, Springer
Fast and efficient partial code reordering: taking advantage of dynamic recompilation: Xianglong Huang, Stephen M Blackburn, David Grove, Kathryn S McKinley
ISMM ‘06: Proceedings of the 5th international symposium on Memory management, pp. 184–192, ACM, 2006
Eventrons: a Safe Programming Construct for High-Frequency Hard Real-Time Applications: Daniel Spoonhower, Joshua Auerbach, David F. Bacon, Perry Cheng, David Grove
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 283–294, ACM, 2006
High-Level Real-Time Programming in Java: David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
Proceedings of the Fifth ACM International Conference on Embedded Software, pp. 68–78, ACM, 2005
The Jikes Research Virtual Machine project: building an open-source research community: Bowen Alpern, Stephen Augart, Stephen M Blackburn, Maira Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen Fink, David Grove, Michael Hind, Kathryn S McKinley, Mark Mergen, J Eliot B Moss, Ton Ngo, Vivek Sarkar
IBM System Journal 44(2), 399–417, IBM Corp., 2005
Derivation and Evaluation of Concurrent Collectors: Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove
Proceedings of the 19th European Conference on Object-Oriented Programming, pp. 577–601, Springer-Verlag, 2005
Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines: Matthew Arnold, David Grove
CGO ‘05: Proceedings of the international symposium on Code generation and optimization, pp. 51–62, IEEE Computer Society, 2005
A Survey of Adaptive Optimization in Virtual Machines: Matthew Arnold, Stephen J Fink, David Grove, Michael Hind, Peter F Sweeney
Proceedings of the IEEE 93(2), 449-466, IEEE, 2005 Special issue on Program Generation, Optimization, and Adaptation
Garbage Collection for Embedded Systems: David F. Bacon, Perry Cheng, David Grove
Proceedings of the Fourth ACM International Conference on Embedded Software, pp. 125–136, ACM, 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, Michael Hind
VM’04: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium, pp. 5–5, USENIX Association, 2004
MJ: a Rational Module System for Java and its Applications: John Corwin, David F. Bacon, David Grove, Chet Murthy
Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, pp. 241–254, ACM, 2003
Adaptive Online Context-sensitive Inlining: Kim Hazelwood, David Grove
CGO ‘03: Proceedings of the international symposium on Code generation and optimization, pp. 253–264, IEEE Computer Society, 2003
Experiences porting the Jikes RVM to Linux/IA32: Bowen Alpern, Maria Butrico, Anthony Cocchi, Julian Dolby, Stephen J Fink, David Grove, Ton Ngo
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, pp. 51–64, 2002
Composing dataflow analyses and transformations: Sorin Lerner, David Grove, Craig Chambers
POPL ‘02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 270–282, ACM, 2002
Dynamic type checking in Jalapeño: Bowen Alpern, Anthony Cocchi, David Grove
JVM’01: Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium, pp. 4–4, USENIX Association
Reducing the Overhead of Compilation Delay: Chandra Krintz, David Grove, Derek Lieber, Vivek Sarkar, Brad Calder
Software Practice and Experience 31(8), 717–738, John Wiley \& Sons, 2001
Program analysis for safety guarantees in a Java virtual machine written in Java: Jan-Willem Maessen, Vivek Sarkar, David Grove
PASTE ‘01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pp. 62–65, ACM
Efficient Dispatch of Java Interface Methods: Bowen Alpern, Anthony Cocchi, David Grove, Derek Lieber
HPCN Europe 2001: Proceedings of the 9th International Conference on High-Performance Computing and Networking, pp. 621–628, Springer-Verlag
A framework for call graph construction algorithms: David Grove, Craig Chambers
ACM Trans. Program. Lang. Syst. 23(6), 685–746, ACM, 2001
Efficient implementation of Java interfaces: Invokeinterface considered harmless: Bowen Alpern, Anthony Cocchi, Stephen Fink, David Grove
OOPSLA ‘01: Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 108–124, ACM, 2001
Adaptive Optimization in the Jalapeño JVM: The Controllers Analytical Model: Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F Sweeney
The 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3),, pp. 15–19, 2000
Adaptive optimization in the Jalapeño JVM: Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F Sweeney
OOPSLA ‘00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 47–65, ACM, 2000
The Jalapeño virtual machine: B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley
IBM Systems Journal 39(1), 211, Armonk, NY: International Business Machines Corp., 2000
Efficient and precise modeling of exceptions for the analysis of Java programs: Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar
PASTE ‘99: Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pp. 21–31, ACM
The Jalapeño dynamic optimizing compiler for Java: Michael G. Burke, Jong-Deok Choi, Stephen Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinvasan, John Whaley
JAVA’99: Proceedings of the ACM 1999 confernece on Java Grande, pp. 129-141, ACM
Fast interprocedural class analysis: Greg DeFouw, David Grove, Craig Chambers
POPL ‘98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 222–236, ACM, 1998
Call graph construction in object-oriented languages: David Grove, Greg DeFouw, Jeffrey Dean, Craig Chambers
OOPSLA ‘97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 108–124, ACM, 1997
A comparison of algorithms for interprocedural class analysis: David Grove
CASCON ‘96: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research, pp. 13, IBM Press
Vortex: an optimizing compiler for object-oriented languages: Jeffrey Dean, Greg DeFouw, David Grove, Vassily Litvinov, Craig Chambers
OOPSLA ‘96: Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 83–100, ACM, 1996
A framework for selective recompilation in the presence of complex intermodule dependencies: Craig Chambers, Jeffrey Dean, David Grove
ICSE ‘95: Proceedings of the 17th international conference on Software engineering, pp. 221–230, ACM, 1995
Profile-guided receiver class prediction: David Grove, Jeffrey Dean, Charles Garrett, Craig Chambers
OOPSLA ‘95: Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, pp. 108–123, ACM, 1995
Selective specialization for object-oriented languages: Jeffrey Dean, Craig Chambers, David Grove
PLDI ‘95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, pp. 93–102, ACM
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis: Jeffrey Dean, David Grove, Craig Chambers
ECOOP ‘95: Proceedings of the 9th European Conference on Object-Oriented Programming, pp. 77–101, Springer-Verlag, 1995
The impact of interprocedural class analysis on optimization: David Grove
CASCON ‘95: Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research, pp. 25, IBM Press
Identifying Profitable Specialization in Object-Oriented languages: Jeffrey Dean, Craig Chambers, David Grove
PEPM ‘94: Proceedings of the ACM SIGPLAN 1994 workshop on Partial Evaluation and Semantics-Based Program Manipulation, pp. 85–96, ACM

Book Chapters

The Strength of Metacircular Virtual Machines: Jikes RVM: Ian Rogers, David Grove
Beautiful Architecture, O’Reilly, 2009