David Gay
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
15
Active years
1998–2023
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICDE | Firestore: The NoSQL Serverless Database for the Application Developer. | Ram Kesavan, David Gay, Daniel Thevessen, Jimit Shah, C. Mohan |
| 2011 | OOPSLA | Composable, nestable, pessimistic atomic statements. | Zachary R. Anderson, David Gay |
| 2011 | OOPSLA | Emerson: accessible scripting for applications in an extensible virtual world. | Behram F. T. Mistree, Bhupesh Chandra, Ewen Cheslack-Postava, Philip Alexander Levis, David Gay |
| 2009 | ICSE | Effective static deadlock detection. | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay |
| 2009 | PLDI | Lightweight annotations for controlling sharing in concurrent data structures. | Zachary R. Anderson, David Gay, Mayur Naik |
| 2008 | PLDI | SharC: checking data sharing strategies for multithreaded C. | Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer |
| 2007 | ESOP | Dependent Types for Low-Level Programming. | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
| 2007 | ESOP | Multi-language Synchronization. | Robert Ennals, David Gay |
| 2007 | HotOS | Beyond Bug-Finding: Sound Program Analysis for Linux. | Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou |
| 2007 | ICFP | User-friendly functional programming for web mashups. | Robert Ennals, David Gay |
| 2007 | SENSYS | Efficient memory safety for TinyOS. | Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr |
| 2007 | SOSP | Integrating concurrency control and energy management in device drivers. | Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Alexander Levis |
| 2006 | ASPLOS | Atomicity and visibility in tiny embedded systems. | John Regehr, Nathan Cooprider, David Gay |
| 2006 | POPL | Autolocker: synchronization inference for atomic sections. | Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer |
| 2005 | EWSN | TASK: sensor network in a box. | Philip Buonadonna, David Gay, Joseph M. Hellerstein, Wei Hong, Samuel Madden |
| 2005 | NSDI | Active Sensor Networks. | Philip Alexander Levis, David Gay, David E. Culler |
| 2005 | SENSYS | Reprogramming sensor networks safely, quickly, and efficiently. | Philip Alexander Levis, David Gay |
| 2005 | SENSYS | A macroscope in the redwoods. | Gilman Tolle, Joseph Polastre, Robert Szewczyk, David E. Culler, Neil Turner, Kevin Tu, Stephen Burgess, Todd Dawson, Philip Buonadonna, David Gay, Wei Hong |
| 2005 | SCOPES | Language Support for Interoperable Messaging in Sensor Networks. | Kevin K. Chang, David Gay |
| 2004 | NSDI | The Emergence of Networking Abstractions and Techniques in TinyOS. | Philip Alexander Levis, Samuel Madden, David Gay, Joseph Polastre, Robert Szewczyk, Alec Woo, Eric A. Brewer, David E. Culler |
| 2003 | PLDI | The nesC language: A holistic approach to networked embedded systems. | David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler |
| 2001 | PLDI | Language Support for Regions. | David Gay, Alex Aiken |
| 2000 | CC | Fast Escape Analysis and Stack Allocation for Object-Based Programs. | David Gay, Bjarne Steensgaard |
| 1998 | PLDI | Memory Management with Explicit Regions. | David Gay, Alex Aiken |
| 1998 | POPL | Barrier Inference. | Alexander Aiken, David Gay |