World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
38
Citations
8060
World Ranking
10076
National Ranking
4253

Research.com Recognitions

  • 2012 - ACM Fellow For contributions to programming languages and for the development of open-source research infrastructures.
  • 2010 - ACM Distinguished Member
  • 2006 - ACM Senior Member
  • 2004 - Fellow of the American Academy of Arts and Sciences

Overview

David Grove is a researcher affiliated with IBM in the United States. Their work primarily spans the field of Computer Science, with specific contributions in subfields such as Computer Networks and Communications, Information Systems, Artificial Intelligence, and Computational Theory and Mathematics.

Their research focuses on several main topics, including:

  • Distributed systems and fault tolerance
  • Cloud Computing and Resource Management
  • Software System Performance and Reliability
  • Natural Language Processing Techniques
  • Mathematics, Computing, and Information Processing

David Grove has published recent papers in noted venues, which include:

  • Reliable Actors with Retry Orchestration (2023) in Proceedings of the ACM on Programming Languages
  • Towards Formal Verification of LLM-Generated Code from Natural Language Prompts (2025) in arXiv (Cornell University)

They have collaborated with several co-authors throughout their career, including Olivier Tardieu, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, and Edward S. Epstein.

The venues of publication where David Grove's work has appeared most frequently are:

  • Proceedings of the ACM on Programming Languages
  • arXiv (Cornell University)

Recognition for David Grove's contributions includes several professional distinctions. They were named an ACM Fellow in 2012 for contributions to programming languages and for the development of open-source research infrastructures. Additional honors include being an ACM Distinguished Member since 2010, an ACM Senior Member since 2006, and a Fellow of the American Academy of Arts and Sciences since 2004.

Best Publications

  • Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis.

    Dean J;Grove D;Chambers C

  • The Jalapeño virtual machine

    B. Alpern;C. R. Attanasio;J. J. Barton;M. G. Burke

  • Adaptive optimization in the Jalapeno JVM

    Matthew Arnold;Stephen Fink;David Grove;Michael Hind

  • Call graph construction in object-oriented languages

    David Grove;Greg DeFouw;Jeffrey Dean;Craig Chambers

  • The Jalapeño dynamic optimizing compiler for Java

    Michael G. Burke;Jong-Deok Choi;Stephen Fink;David Grove

  • The Jikes research virtual machine project: building an open-source research community

    B. Alpern;S. Augart;S. M. Blackburn;M. Butrico

  • A framework for call graph construction algorithms

    David Grove;Craig Chambers

  • A Survey of Adaptive Optimization in Virtual Machines

    M. Arnold;S.J. Fink;D. Grove;M. Hind

  • Vortex: an optimizing compiler for object-oriented languages

    Jeffrey Dean;Greg DeFouw;David Grove;Vassily Litvinov

  • Selective specialization for object-oriented languages

    Jeffrey Dean;Craig Chambers;David Grove

  • Efficient and precise modeling of exceptions for the analysis of Java programs

    Jong-Deok Choi;David Grove;Michael Hind;Vivek Sarkar

  • Method for characterizing program execution by periodic call stack inspection

    Matthew R. Arnold;Stephen J. Fink;David P. Grove;Michael J. Hind

  • Profile-guided receiver class prediction

    David Grove;Jeffrey Dean;Charles Garrett;Craig Chambers

  • Lifeline-based global load balancing

    Vijay A. Saraswat;Prabhanjan Kambadur;Sreedhar Kodali;David Grove

  • Composing dataflow analyses and transformations

    Sorin Lerner;David Grove;Craig Chambers

  • Efficient implementation of Java interfaces: Invokeinterface considered harmless

    Bowen Alpern;Anthony Cocchi;Stephen Fink;David Grove

  • Using hardware performance monitors to understand the behavior of java applications

    Peter F. Sweeney;Matthias Hauswirth;Brendon Cahoon;Perry Cheng

  • Fast interprocedural class analysis

    Greg DeFouw;David Grove;Craig Chambers

  • Space- and Time-Efficient Implementation of the Java Object Model

    David F. Bacon;Stephen J. Fink;David Grove

  • Libra: a library operating system for a jvm in a virtualized execution environment

    Glenn Ammons;Jonathan Appavoo;Maria Butrico;Dilma Da Silva

  • Adaptive optimization in the Jalapeño JVM (poster session)

    Matthew Arnold;Stephen Fink;David Grove;Michael Hind

Frequent Co-Authors

David F. Bacon
David F. Bacon Google (United States)
Perry Cheng
Perry Cheng IBM (United States)
Stephen J. Fink
Stephen J. Fink Facebook (United States)
Michael Hind
Michael Hind IBM (United States)
Craig Chambers
Craig Chambers Google (United States)
Vijay Saraswat
Vijay Saraswat Goldman Sachs Research
Vivek Sarkar
Vivek Sarkar Georgia Institute of Technology
Martin Vechev
Martin Vechev ETH Zurich
Kathryn S. McKinley
Kathryn S. McKinley Google (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring related fields can expand your career opportunities in computer science. For those interested in data analysis, finding the cheapest data science degree may help minimize costs while gaining competitive skills in a growing sector.

If your interests include hardware or embedded systems, check out the accredited online electrical engineering programs that offer flexible study options from top universities.

Need a quicker credential to boost your resume? Consider one of the easy certifications to get. These can open doors in IT, cybersecurity, or project management—often with a solid salary.

For rapid academic advancement, explore the quickest online masters degree programs. Some allow you to finish in just one year, helping you accelerate your professional growth.

Best Scientists Citing David Grove

Trending Scientists