David Grove - RankMe

85 papers A* 6A 17B 11C 4Misc 4Journal 17Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning. CoRR David Jiahao Fu, Aryan Gupta, Aaron Councilman, David Grove, Yu-Xiong Wang, Vikram S. Adve
2025	J	`jnl`	Towards Formal Verification of LLM-Generated Code from Natural Language Prompts. CoRR Aaron Councilman, David Fu, Aryan Gupta, Chengxiao Wang, David Grove, Yu-Xiong Wang, Vikram S. Adve
2024	—	`conf`	An Empirical Comparison of Code Generation Approaches for Ansible. InteNSE Benjamin Darnell, Hetarth Chopra, Aaron Councilman, David Grove, Yu-Xiong Wang, Vikram S. Adve
2023	J	`jnl`	Reliable Actors with Retry Orchestration. Proc. ACM Program. Lang. Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, Edward A. Epstein
2022	B	`conf`	Virtual programming environments: programming the cloud (keynote). VEE David Grove
2021	J	`jnl`	Reliable Actors with Retry Orchestration. CoRR Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, Edward A. Epstein
2019	J	`jnl`	Failure Recovery in Resilient X10. ACM Trans. Program. Lang. Syst. David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu
2017	C	`conf`	Dynamic atomicity: optimizing swift memory management. DLS David M. Ungar, David Grove, Hubertus Franke
2017	J	`jnl`	Introduction to the Special Section on PPoPP'15. ACM Trans. Parallel Comput. David Grove
2016	—	`conf`	AQuA: adaptive quality analytics. DEBS Wei Zhang, Martin Hirzel, David Grove
2016	J	`jnl`	META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 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
2016	—	`conf`	Resilient X10 over MPI user level failure mitigation. X10@PLDI Sara S. Hamouda, Benjamin Herta, Josh Milthorpe, David Grove, Olivier Tardieu
2016	J	`jnl`	X10 and APGAS at Petascale. ACM Trans. Parallel Comput. Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
2015	—	`conf`	Optimization of x10 programs with ROSE compiler infrastructure. X10@PLDI Michihiro Horie, Mikio Takeuchi, Kiyokuni Kawachiya, David Grove
2015	B	`ed.`	Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015 PPoPP Albert Cohen, David Grove
2015	A*	`ed.`	Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015 PLDI David Grove, Stephen M. Blackburn
2014	B	`conf`	Friendly barriers: efficient work-stealing with return barriers. VEE Vivek Kumar, Stephen M. Blackburn, David Grove
2014	—	`conf`	GLB: lifeline-based global load balancing library in x10. PPAA@PPoPP Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay A. Saraswat, Mikio Takeuchi
2014	C	`ed.`	International Symposium on Memory Management, ISMM '14, Edinburgh, United Kingdom, June 12, 2014 ISMM David Grove, Samuel Z. Guyer
2014	B	`conf`	Resilient X10: efficient failure-aware programming. PPoPP David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay A. Saraswat, Mikio Takeuchi, Olivier Tardieu
2014	—	`conf`	Supporting Array Programming in X10. ARRAY@PLDI David Grove, Josh Milthorpe, Olivier Tardieu
2014	B	`conf`	X10 and APGAS at Petascale. PPoPP Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
2013	—	`conf`	A tutorial on X10 and its implementation. X10@PLDI David Grove
2013	J	`jnl`	GLB: Lifeline-based Global Load Balancing library in X10. CoRR Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay A. Saraswat, Mikio Takeuchi
2013	—	`conf`	Java interoperability in managed X10. X10@PLDI Mikio Takeuchi, David Cunningham, David Grove, Vijay A. Saraswat
2013	—	`ed.`	Proceedings of the third ACM SIGPLAN X10 Workshop, X10 2013, Seattle, Washington, USA, June 20, 2013 X10@PLDI Michael Hind, David Grove
2012	J	`jnl`	A high-productivity task-based programming model for clusters. Concurr. Comput. Pract. Exp. Enric Tejedor, Montse Farreras, David Grove, Rosa M. Badia, Gheorghe Almási, Jesús Labarta
2012	A	`conf`	SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation). SAT Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat
2012	—	`conf`	Some new approaches to partial inlining. VMIL@SPLASH Bowen Alpern, Anonthy Cocchi, David Grove
2012	—	`ed.`	VMIL@SPLASH 2012: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages, Tucson, Arizona, USA, 21 October 2012 VMIL@SPLASH David Grove
2012	A	`conf`	Work-stealing without the baggage. OOPSLA Vivek Kumar, Daniel Frampton, Stephen M. Blackburn, David Grove, Olivier Tardieu
2011	—	`conf`	10th Workshop on Compiler-Driven Performance. CASCON Clark Verbrugge, José Nelson Amaral, Mark G. Stoodley, David Grove, Kit Barton
2011	A	`conf`	ClusterSs: a task-based programming model for clusters. HPDC Enric Tejedor, Montse Farreras, David Grove, Rosa M. Badia, Gheorghe Almási, Jesús Labarta
2011	A	`conf`	Communication Optimizations for Distributed-Memory X10 Programs. IPDPS Rajkishore Barik, Jisheng Zhao, David Grove, Igor Peshansky, Zoran Budimlic, Vivek Sarkar
2011	B	`conf`	Lifeline-based global load balancing. PPoPP Vijay A. Saraswat, Prabhanjan Kambadur, Sreedhar B. Kodali, David Grove, Sriram Krishnamoorthy
2011	A	`conf`	X10 as a Parallel Language for Scientific Computation: Practice and Experience. IPDPS Josh Milthorpe, V. Ganesh, Alistair P. Rendell, David Grove
2010	—	`conf`	X10-enabled MapReduce. PGAS Han Dong, Shujia Zhou, David Grove
2009	—	`conf`	8th Workshop on Compiler-Driven Performance. CASCON Greg Steffan, Mark G. Stoodley, David Grove, Ondrej Lhoták, Kit Barton
2009	B	`conf`	Demystifying magic: high-level low-level programming. VEE Daniel Frampton, Stephen M. Blackburn, Perry Cheng, Robin Garner, David Grove, J. Eliot B. Moss, Sergey I. Salishev
2008	J	`jnl`	Languages and performance engineering: method, instrumentation, and pedagogy. ACM SIGPLAN Notices Doug Lea, David F. Bacon, David Grove
2008	Misc	`conf`	Tax-and-spend: democratic scheduling for real-time garbage collection. EMSOFT Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone
2007	Misc	`conf`	Design and implementation of a comprehensive real-time java virtual machine. EMSOFT Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley
2007	A	`conf`	Generational Real-Time Garbage Collection. ECOOP Daniel Frampton, David F. Bacon, Perry Cheng, David Grove
2007	B	`conf`	Libra: a library operating system for a jvm in a virtualized execution environment. VEE Glenn Ammons, Jonathan Appavoo, Maria A. Butrico, Dilma Da Silva, David Grove, Kiyokuni Kawachiya, Orran Krieger, Bryan S. Rosenburg, Eric Van Hensbergen, Robert W. Wisniewski
2007	—	`conf`	TuningFork: a platform for visualization and analysis of complex real-time systems. OOPSLA Companion David F. Bacon, Perry Cheng, David Grove
2006	B	`conf`	Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork. CC David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan
2006	A*	`conf`	Eventrons: a safe programming construct for high-frequency hard real-time applications. PLDI Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove
2006	C	`conf`	Fast and efficient partial code reordering: taking advantage of dynamic recompilatior. ISMM Xianglong Huang, Stephen M. Blackburn, David Grove, Kathryn S. McKinley
2006	B	`ed.`	Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006 VEE Hans-Juergen Boehm, David Grove
2005	J	`jnl`	A Survey of Adaptive Optimization in Virtual Machines. Proc. IEEE Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney
2005	A	`conf`	Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines. CGO Matthew Arnold, David Grove
2005	A	`conf`	Derivation and Evaluation of Concurrent Collectors. ECOOP Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove
2005	Misc	`conf`	High-level real-time programming in Java. EMSOFT David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
2005	B	`conf`	Syncopation: generational real-time garbage collection in the metronome. LCTES David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev
2005	J	`jnl`	The Jikes Research Virtual Machine project: Building an open-source research community. IBM Syst. J. Bowen Alpern, Steve Augart, Stephen M. Blackburn, Maria A. Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen J. Fink, David Grove, Michael Hind, Kathryn S. McKinley, Mark F. Mergen, J. Eliot B. Moss, Ton Anh Ngo, Vivek Sarkar, Martin Trapp
2004	Misc	`conf`	Garbage collection for embedded systems. EMSOFT David F. Bacon, Perry Cheng, David Grove
2004	—	`conf`	Using Hardware Performance Monitors to Understand the Behavior of Java Applications. Virtual Machine Research and Technology Symposium Peter F. Sweeney, Matthias Hauswirth, Brendon Cahoon, Perry Cheng, Amer Diwan, David Grove, Michael Hind
2003	A	`conf`	Adaptive Online Context-Sensitive Inlining. CGO Kim M. Hazelwood, David Grove
2003	A	`conf`	MJ: a rational module system for Java and its applications. OOPSLA John Corwin, David F. Bacon, David Grove, Chet Murthy
2002	A*	`conf`	Composing dataflow analyses and transformations. POPL Sorin Lerner, David Grove, Craig Chambers
2002	—	`conf`	Experiences Porting the Jikes RVM to Linux/IA32. Java Virtual Machine Research and Technology Symposium Bowen Alpern, Maria A. Butrico, Anthony Cocchi, Julian Dolby, Stephen J. Fink, David Grove, Ton Ngo
2002	A	`conf`	Space- and Time-Efficient Implementation of the Java Object Model. ECOOP David F. Bacon, Stephen J. Fink, David Grove
2001	J	`jnl`	A framework for call graph construction algorithms. ACM Trans. Program. Lang. Syst. David Grove, Craig Chambers
2001	—	`conf`	Dynamic Type Checking in Jalapeño. Java Virtual Machine Research and Technology Symposium Bowen Alpern, Anthony Cocchi, David Grove
2001	—	`conf`	Efficient Dispatch of Java Interface Methods. HPCN Europe Bowen Alpern, Anthony Cocchi, David Grove, Derek Lieber
2001	A	`conf`	Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless. OOPSLA Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber
2001	—	`conf`	Program analysis for safety guarantees in a Java virtual machine written in Java. PASTE Jan-Willem Maessen, Vivek Sarkar, David Grove
2001	J	`jnl`	Reducing the overhead of dynamic compilation. Softw. Pract. Exp. Chandra Krintz, David Grove, Vivek Sarkar, Brad Calder
2000	—	`conf`	Adaptive optimization in the Jalapeño JVM (poster session). OOPSLA Addendum Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F. Sweeney
2000	A	`conf`	Adaptive optimization in the Jalapeño JVM. OOPSLA Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney
2000	J	`jnl`	The Jalapeño virtual machine. IBM Syst. J. Bowen Alpern, C. Richard Attanasio, John J. Barton, Michael G. Burke, Perry Cheng, Jong-Deok Choi, Anthony Cocchi, Stephen J. Fink, David Grove, Michael Hind, Susan Flynn Hummel, Derek Lieber, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley
1999	—	`conf`	Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. PASTE Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar
1999	J	`jnl`	Efficient and precise modeling of exceptions for the analysis of Java programs. ACM SIGSOFT Softw. Eng. Notes Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar
1999	—	`conf`	The Jalapeño Dynamic Optimizing Compiler for Java. Java Grande Michael G. Burke, Jong-Deok Choi, Stephen J. Fink, David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley
1998	—	`—`	Effective interprocedural optimization of object-oriented languages. David Grove
1998	A*	`conf`	Fast Interprocedural Class Analysis. POPL Greg DeFouw, David Grove, Craig Chambers
1997	A	`conf`	Call Graph Construction in Object-Oriented Languages. OOPSLA David Grove, Greg DeFouw, Jeffrey Dean, Craig Chambers
1996	—	`conf`	A comparison of algorithms for interprocedural class analysis. CASCON David Grove
1996	A	`conf`	Vortex: An Optimizing Compiler for Object-Oriented Languages. OOPSLA Jeffrey Dean, Greg DeFouw, David Grove, Vassily Litvinov, Craig Chambers
1995	A*	`conf`	A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. ICSE Craig Chambers, Jeffrey Dean, David Grove
1995	A	`conf`	Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis. ECOOP Jeffrey Dean, David Grove, Craig Chambers
1995	A	`conf`	Profile-Guided Receiver Class Prediction. OOPSLA David Grove, Jeffrey Dean, Charles Garrett, Craig Chambers
1995	A*	`conf`	Selective Specialization for Object-Oriented Languages. PLDI Jeffrey Dean, Craig Chambers, David Grove
1995	—	`conf`	The impact of interprocedural class analysis on optimization. CASCON David Grove
1994	C	`conf`	Identifying Profitable Specialization in Object-Oriented Languages. PEPM Jeffrey Dean, Craig Chambers, David Grove