David Grove  David Grove photo       

contact information

Principal Research Staff Member
Watson Research Center

links

Professional Associations

Professional Associations:  ACM  |  ACM SIGPLAN


2017

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


2016

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
Abstract

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
Abstract


2015

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


2014

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 , ACM, 2014
Abstract

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
Abstract

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


2013

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


2012

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


2011

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
Abstract


2010

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


2009

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

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
Abstract


2008

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
Abstract

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
Abstract


2007

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
Abstract

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
Abstract

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
Abstract

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
Abstract


2006

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
Abstract

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
Abstract


2005

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
Abstract   (slides)

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
Abstract   (slides)

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


2004

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
Abstract   (slides)

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
Abstract


2003

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
Abstract   (slides)

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


2002

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
Abstract


2001

Dynamic type checking in Jalapeno
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
Abstract

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
Abstract

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
Abstract

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
Abstract


2000

Adaptive Optimization in the Jalapeno 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 Jalapeno 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
Abstract

The Jalapeno 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, others
IBM Systems Journal 39(1), 211, Armonk, NY: International Business Machines Corp., 2000


1999

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
Abstract

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


1998

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

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


1997

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
Abstract


1996

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
Abstract

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
Abstract


1995

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
Abstract

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
Abstract

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
Abstract


1994

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