David Gay

According to our database, David Gay authored at least 34 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Firestore: The NoSQL Serverless Database for the Application Developer.

Ram Kesavan, David Gay, Daniel Thevessen, Jimit Shah, C. Mohan

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

2014

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

2011

Yada: Straightforward parallel programming.

David Gay, Joel Galenson, Mayur Naik, Kathy Yelick

Parallel Comput., 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

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Composable, nestable, pessimistic atomic statements.

Zachary R. Anderson, David Gay

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

An effective dynamic analysis for detecting generalized deadlocks.

Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2009

Lightweight annotations for controlling sharing in concurrent data structures.

Zachary R. Anderson, David Gay, Mayur Naik

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Effective static deadlock detection.

Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

The emergence of a networking primitive in wireless sensor networks.

Philip Alexander Levis, Eric A. Brewer, David E. Culler, David Gay, Samuel Madden, Neil Patel, Joseph Polastre, Scott Shenker, Robert Szewczyk, Alec Woo

Commun. ACM, 2008

SharC: checking data sharing strategies for multithreaded C.

Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

Software design patterns for TinyOS.

David Gay, Philip Alexander Levis, David E. Culler

ACM Trans. Embed. Comput. Syst., 2007

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

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Efficient memory safety for TinyOS.

Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Safe manual memory management.

David Gay, Robert Ennals, Eric A. Brewer

Proceedings of the 6th International Symposium on Memory Management, 2007

User-friendly functional programming for web mashups.

Robert Ennals, David Gay

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 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

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Multi-language Synchronization.

Robert Ennals, David Gay

Proceedings of the Programming Languages and Systems, 2007

Dependent Types for Low-Level Programming.

Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula

Proceedings of the Programming Languages and Systems, 2007

2006

Autolocker: synchronization inference for atomic sections.

Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Atomicity and visibility in tiny embedded systems.

John Regehr, Nathan Cooprider, David Gay

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

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

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Reprogramming sensor networks safely, quickly, and efficiently.

Philip Alexander Levis, David Gay

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Language Support for Interoperable Messaging in Sensor Networks.

Kevin K. Chang, David Gay

Proceedings of the 9th International Workshop on Software and Compilers for Embedded Systems, Dallas, Texas, USA, September 29, 2005

Active Sensor Networks.

Philip Alexander Levis, David Gay, David E. Culler

Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

End-to-end performance characterization of Sensornet multi-hop routing.

Aditya Mohan, Wei Hong Hong, David Gay, Philip Buonadonna, A. Mainwaring

Proceedings of the International Conference on Pervasive Services 2005, 2005

TASK: sensor network in a box.

Philip Buonadonna, David Gay, Joseph M. Hellerstein, Wei Hong, Samuel Madden

Proceedings of the Wireless Sensor Networks, Second European Workshop, 2005

TinyOS: An Operating System for Sensor Networks.

Philip Alexander Levis, Samuel Madden, Joseph Polastre, Robert Szewczyk, Kamin Whitehouse, Alec Woo, David Gay, Jason L. Hill, Matt Welsh, Eric A. Brewer, David E. Culler

Proceedings of the Ambient Intelligence, 2005

2004

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

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

2002

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

2001

Language Support for Regions.

David Gay, Alexander Aiken

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

Fast Escape Analysis and Stack Allocation for Object-Based Programs.

David Gay, Bjarne Steensgaard

Proceedings of the Compiler Construction, 9th International Conference, 2000

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, Alexander Aiken

Concurr. Pract. Exp., 1998

Barrier Inference.

Alexander Aiken, David Gay

Proceedings of the POPL '98, 1998

Memory Management with Explicit Regions.

David Gay, Alexander Aiken

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998