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