David Grove

Orcid: 0000-0002-3265-7125

According to our database1, David Grove authored at least 73 papers between 1994 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Reliable Actors with Retry Orchestration.
Proc. ACM Program. Lang., 2023

2022
Virtual programming environments: programming the cloud (keynote).
Proceedings of the VEE '22: 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2022

2019
Failure Recovery in Resilient X10.
ACM Trans. Program. Lang. Syst., 2019

2017
Introduction to the Special Section on PPoPP'15.
ACM Trans. Parallel Comput., 2017

Dynamic atomicity: optimizing swift memory management.
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23, 2017

2016
X10 and APGAS at Petascale.
ACM Trans. Parallel Comput., 2016

META: Middleware for Events, Transactions, and Analytics.
IBM J. Res. Dev., 2016

Resilient X10 over MPI user level failure mitigation.
Proceedings of the 6th ACM SIGPLAN Workshop on X10, 2016

AQuA: adaptive quality analytics.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015
Optimization of x10 programs with ROSE compiler infrastructure.
Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015, 2015

2014
Friendly barriers: efficient work-stealing with return barriers.
Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2014

GLB: lifeline-based global load balancing library in x10.
Proceedings of the first workshop on Parallel programming for analytics applications, 2014

X10 and APGAS at Petascale.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Resilient X10: efficient failure-aware programming.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Supporting Array Programming in X10.
Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

2013
Java interoperability in managed X10.
Proceedings of the third ACM SIGPLAN X10 Workshop, 2013

A tutorial on X10 and its implementation.
Proceedings of the third ACM SIGPLAN X10 Workshop, 2013

2012
A high-productivity task-based programming model for clusters.
Concurr. Comput. Pract. Exp., 2012

SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation).
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Work-stealing without the baggage.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Some new approaches to partial inlining.
Proceedings of the VMIL@SPLASH 2012: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages, 2012

2011
Lifeline-based global load balancing.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

X10 as a Parallel Language for Scientific Computation: Practice and Experience.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Communication Optimizations for Distributed-Memory X10 Programs.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

ClusterSs: a task-based programming model for clusters.
Proceedings of the 20th ACM International Symposium on High Performance Distributed Computing, 2011

10th Workshop on Compiler-Driven Performance.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010
X10-enabled MapReduce.
Proceedings of the Fourth Conference on Partitioned Global Address Space Programming Model, 2010

2009
Demystifying magic: high-level low-level programming.
Proceedings of the 5th International Conference on Virtual Execution Environments, 2009

8th Workshop on Compiler-Driven Performance.
Proceedings of the 2009 conference of the Centre for Advanced Studies on Collaborative Research, 2009

2008
Languages and performance engineering: method, instrumentation, and pedagogy.
ACM SIGPLAN Notices, 2008

Tax-and-spend: democratic scheduling for real-time garbage collection.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2007
Libra: a library operating system for a jvm in a virtualized execution environment.
Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

TuningFork: a platform for visualization and analysis of complex real-time systems.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Design and implementation of a comprehensive real-time java virtual machine.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Generational Real-Time Garbage Collection.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006
Eventrons: a safe programming construct for high-frequency hard real-time applications.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Fast and efficient partial code reordering: taking advantage of dynamic recompilatior.
Proceedings of the 5th International Symposium on Memory Management, 2006

Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork.
Proceedings of the Compiler Construction, 15th International Conference, 2006

2005
A Survey of Adaptive Optimization in Virtual Machines.
Proc. IEEE, 2005

The Jikes Research Virtual Machine project: Building an open-source research community.
IBM Syst. J., 2005

Syncopation: generational real-time garbage collection in the metronome.
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005


Derivation and Evaluation of Concurrent Collectors.
Proceedings of the ECOOP 2005, 2005

Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines.
Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

2004
Using Hardware Performance Monitors to Understand the Behavior of Java Applications.
Proceedings of the 3rd Virtual Machine Research and Technology Symposium, 2004

Garbage collection for embedded systems.
Proceedings of the EMSOFT 2004, 2004

2003
MJ: a rational module system for Java and its applications.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Adaptive Online Context-Sensitive Inlining.
Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

2002
Composing dataflow analyses and transformations.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Experiences Porting the Jikes RVM to Linux/IA32.
Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

Space- and Time-Efficient Implementation of the Java Object Model.
Proceedings of the ECOOP 2002, 2002

2001
A framework for call graph construction algorithms.
ACM Trans. Program. Lang. Syst., 2001

Reducing the overhead of dynamic compilation.
Softw. Pract. Exp., 2001

Program analysis for safety guarantees in a Java virtual machine written in Java.
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Dynamic Type Checking in Jalapeño.
Proceedings of the 1st Java Virtual Machine Research and Technology Symposium, 2001

Efficient Dispatch of Java Interface Methods.
Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000
The Jalapeño virtual machine.
IBM Syst. J., 2000

Adaptive optimization in the Jalapeño JVM (poster session).
Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Adaptive optimization in the Jalapeño JVM.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1999
Efficient and precise modeling of exceptions for the analysis of Java programs.
ACM SIGSOFT Softw. Eng. Notes, 1999

The Jalapeño Dynamic Optimizing Compiler for Java.
Proceedings of the ACM 1999 Conference on Java Grande, JAVA '99, San Francisco, CA, USA, 1999

1998
Effective interprocedural optimization of object-oriented languages.
PhD thesis, 1998

Fast Interprocedural Class Analysis.
Proceedings of the POPL '98, 1998

1997
Call Graph Construction in Object-Oriented Languages.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1996
Vortex: An Optimizing Compiler for Object-Oriented Languages.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

A comparison of algorithms for interprocedural class analysis.
Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, 1996

1995
Selective Specialization for Object-Oriented Languages.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Profile-Guided Receiver Class Prediction.
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies.
Proceedings of the 17th International Conference on Software Engineering, 1995

Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis.
Proceedings of the ECOOP'95, 1995

The impact of interprocedural class analysis on optimization.
Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, 1995

1994
Identifying Profitable Specialization in Object-Oriented Languages.
Proceedings of the PEPM'94, 1994


  Loading...