David Gay

38 papers A* 10A 5B 3C 3Misc 5Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Transparent Migration from Datastore to Firestore.
Proc. VLDB Endow.
Ed Davisson, Tilo Dickopp, David Gay, Eric Karasuda, Ram Kesavan, Vadim Yushprakh
2023 A* conf
Firestore: The NoSQL Serverless Database for the Application Developer.
ICDE
Ram Kesavan, David Gay, Daniel Thevessen, Jimit Shah, C. Mohan
2014 J jnl
The nesC language: a holistic approach to networked embedded systems.
ACM SIGPLAN Notices
David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler
2011 A conf
Composable, nestable, pessimistic atomic statements.
OOPSLA
Zachary R. Anderson, David Gay
2011 — conf
Emerson: accessible scripting for applications in an extensible virtual world.
Onward!
Behram F. T. Mistree, Bhupesh Chandra, Ewen Cheslack-Postava, Philip Alexander Levis, David Gay
2011 J jnl
Yada: Straightforward parallel programming.
Parallel Comput.
David Gay, Joel Galenson, Mayur Naik, Kathy Yelick
2010 — conf
An effective dynamic analysis for detecting generalized deadlocks.
SIGSOFT FSE
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
2009 A* conf
Effective static deadlock detection.
ICSE
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
2009 A* conf
Lightweight annotations for controlling sharing in concurrent data structures.
PLDI
Zachary R. Anderson, David Gay, Mayur Naik
2008 A* conf
SharC: checking data sharing strategies for multithreaded C.
PLDI
Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer
2008 J jnl
The emergence of a networking primitive in wireless sensor networks.
Commun. ACM
Philip Alexander Levis, Eric A. Brewer, David E. Culler, David Gay, Samuel Madden, Neil Patel, Joseph Polastre, Scott Shenker, Robert Szewczyk, Alec Woo
2007 A conf
Beyond Bug-Finding: Sound Program Analysis for Linux.
HotOS
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou
2007 A conf
Dependent Types for Low-Level Programming.
ESOP
Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula
2007 Misc conf
Efficient memory safety for TinyOS.
SenSys
Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr
2007 A* conf
Integrating concurrency control and energy management in device drivers.
SOSP
Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Alexander Levis
2007 A conf
Multi-language Synchronization.
ESOP
Robert Ennals, David Gay
2007 C conf
Safe manual memory management.
ISMM
David Gay, Robert Ennals, Eric A. Brewer
2007 J jnl
Software design patterns for TinyOS.
ACM Trans. Embed. Comput. Syst.
David Gay, Philip Alexander Levis, David E. Culler
2007 A conf
User-friendly functional programming for web mashups.
ICFP
Robert Ennals, David Gay
2006 C conf
Atomicity and visibility in tiny embedded systems.
PLOS
John Regehr, Nathan Cooprider, David Gay
2006 A* conf
Autolocker: synchronization inference for atomic sections.
POPL
Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer
2005 Misc conf
A macroscope in the redwoods.
SenSys
Gilman Tolle, Joseph Polastre, Robert Szewczyk, David E. Culler, Neil Turner, Kevin Tu, Stephen Burgess, Todd Dawson, Philip Buonadonna, David Gay, Wei Hong
2005 Misc conf
Active Sensor Networks.
NSDI
Philip Alexander Levis, David Gay, David E. Culler
2005 — conf
End-to-end performance characterization of Sensornet multi-hop routing.
ICPS
Aditya Mohan, Wei Hong Hong, David Gay, Philip Buonadonna, A. Mainwaring
2005 C conf
Language Support for Interoperable Messaging in Sensor Networks.
SCOPES
Kevin K. Chang, David Gay
2005 Misc conf
Reprogramming sensor networks safely, quickly, and efficiently.
SenSys
Philip Alexander Levis, David Gay
2005 B conf
Software design patterns for TinyOS.
LCTES
David Gay, Philip Alexander Levis, David E. Culler
2005 B conf
TASK: sensor network in a box.
EWSN
Philip Buonadonna, David Gay, Joseph M. Hellerstein, Wei Hong, Samuel Madden
2005 — ch.
TinyOS: An Operating System for Sensor Networks.
Ambient Intelligence
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
2004 Misc conf
The Emergence of Networking Abstractions and Techniques in TinyOS.
NSDI
Philip Alexander Levis, Samuel Madden, David Gay, Joseph Polastre, Robert Szewczyk, Alec Woo, Eric A. Brewer, David E. Culler
2003 A* conf
The nesC language: A holistic approach to networked embedded systems.
PLDI
David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler
2002 J jnl
An analysis of VI Architecture primitives in support of parallel and distributed communication.
Concurr. Comput. Pract. Exp.
Andrew Begel, Philip Buonadonna, David E. Culler, David Gay
2001 A* conf
Language Support for Regions.
PLDI
David Gay, Alex Aiken
2000 B conf
Fast Escape Analysis and Stack Allocation for Object-Based Programs.
CC
David Gay, Bjarne Steensgaard
1999 — conf
Titanium: A High Performance Java Dialect.
PP
Arvind Krishnamurthy, Alexander Aiken, Phillip Colella, David Gay, Susan L. Graham, Paul N. Hilfinger, Ben Liblit, Carleton Miyamoto, Geoff Pike, Luigi Semenzato, Katherine A. Yelick
1998 A* conf
Barrier Inference.
POPL
Alexander Aiken, David Gay
1998 A* conf
Memory Management with Explicit Regions.
PLDI
David Gay, Alex Aiken
1998 J jnl
Titanium: A High-performance Java Dialect.
Concurr. Pract. Exp.
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