Memory Management with Explicit Regions. - David Gay; Alex Aiken (PLDI, 1998)

Barrier Inference. - Alexander Aiken; David Gay (POPL, 1998)

Titanium: A High-performance Java Dialect. - Katherine A. Yelick; Luigi Semenzato; Geoff Pike; Carleton Miyamoto; Ben Liblit; Arvind Krishnamurthy; Paul N. Hilfinger; Susan L. Graham; David Gay; Phillip Colella; Alex Aiken (Concurr. Pract. Exp., 1998)

Fast Escape Analysis and Stack Allocation for Object-Based Programs. - David Gay; Bjarne Steensgaard (CC, 2000)

Language Support for Regions. - David Gay; Alex Aiken (PLDI, 2001)

An analysis of VI Architecture primitives in support of parallel and distributed communication. - Andrew Begel; Philip Buonadonna; David E. Culler; David Gay (Concurr. Comput. Pract. Exp., 2002)

The Emergence of Networking Abstractions and Techniques in TinyOS. - Philip Alexander Levis; Samuel Madden 001; David Gay; Joseph Polastre; Robert Szewczyk; Alec Woo; Eric A. Brewer; David E. Culler (NSDI, 2004)

TinyOS: An Operating System for Sensor Networks. - Philip Alexander Levis; Samuel Madden 001; Joseph Polastre; Robert Szewczyk; Kamin Whitehouse; Alec Woo; David Gay; Jason L. Hill; Matt Welsh; Eric A. Brewer; David E. Culler (Ambient Intelligence, 2005)

TASK: sensor network in a box. - Philip Buonadonna; David Gay; Joseph M. Hellerstein; Wei Hong 001; Samuel Madden 001 (EWSN, 2005)

End-to-end performance characterization of Sensornet multi-hop routing. - Aditya Mohan; Wei Hong Hong; David Gay; Philip Buonadonna; A. Mainwaring (ICPS, 2005)

Active Sensor Networks. - Philip Alexander Levis; David Gay; David E. Culler (NSDI, 2005)

Language Support for Interoperable Messaging in Sensor Networks. - Kevin K. Chang; David Gay (SCOPES, 2005)

Reprogramming sensor networks safely, quickly, and efficiently. - Philip Alexander Levis; David Gay (SenSys, 2005)

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 001 (SenSys, 2005)

Atomicity and visibility in tiny embedded systems. - John Regehr; Nathan Cooprider; David Gay (PLOS, 2006)

Autolocker: synchronization inference for atomic sections. - Bill McCloskey; Feng Zhou; David Gay; Eric A. Brewer (POPL, 2006)

Dependent Types for Low-Level Programming. - Jeremy Condit; Matthew Harren; Zachary R. Anderson; David Gay; George C. Necula (ESOP, 2007)

Multi-language Synchronization. - Robert Ennals; David Gay (ESOP, 2007)

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 (HotOS, 2007)

User-friendly functional programming for web mashups. - Robert Ennals; David Gay (ICFP, 2007)

Safe manual memory management. - David Gay; Robert Ennals; Eric A. Brewer (ISMM, 2007)

Efficient memory safety for TinyOS. - Nathan Cooprider; Will Archer; Eric Eide; David Gay; John Regehr (SenSys, 2007)

Integrating concurrency control and energy management in device drivers. - Kevin Klues; Vlado Handziski; Chenyang Lu 001; Adam Wolisz; David E. Culler; David Gay; Philip Alexander Levis (SOSP, 2007)

Software design patterns for TinyOS. - David Gay; Philip Alexander Levis; David E. Culler (ACM Trans. Embed. Comput. Syst., 2007)

SharC: checking data sharing strategies for multithreaded C. - Zachary R. Anderson; David Gay; Robert Ennals; Eric A. Brewer (PLDI, 2008)

The emergence of a networking primitive in wireless sensor networks. - Philip Alexander Levis; Eric A. Brewer; David E. Culler; David Gay; Samuel Madden 001; Neil Patel; Joseph Polastre; Scott Shenker; Robert Szewczyk; Alec Woo (Commun. ACM, 2008)

Effective static deadlock detection. - Mayur Naik; Chang-Seo Park; Koushik Sen; David Gay (ICSE, 2009)

Lightweight annotations for controlling sharing in concurrent data structures. - Zachary R. Anderson; David Gay; Mayur Naik (PLDI, 2009)

An effective dynamic analysis for detecting generalized deadlocks. - Pallavi Joshi; Mayur Naik; Koushik Sen; David Gay (SIGSOFT FSE, 2010)

Composable, nestable, pessimistic atomic statements. - Zachary R. Anderson; David Gay (OOPSLA, 2011)

Emerson: accessible scripting for applications in an extensible virtual world. - Behram F. T. Mistree; Bhupesh Chandra; Ewen Cheslack-Postava; Philip Alexander Levis; David Gay (Onward!, 2011)

Yada: Straightforward parallel programming. - David Gay; Joel Galenson; Mayur Naik; Kathy Yelick (Parallel Comput., 2011)

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 (ACM SIGPLAN Notices, 2014)

Firestore: The NoSQL Serverless Database for the Application Developer. - Ram Kesavan; David Gay; Daniel Thevessen; Jimit Shah; C. Mohan 001 (ICDE, 2023)

Transparent Migration from Datastore to Firestore. - Ed Davisson; Tilo Dickopp; David Gay; Eric Karasuda; Ram Kesavan; Vadim Yushprakh (Proc. VLDB Endow., 2024)