default search action
David Gay
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Ed Davisson, Tilo Dickopp, David Gay, Eric Karasuda, Ram Kesavan, Vadim Yushprakh:
Transparent Migration from Datastore to Firestore. Proc. VLDB Endow. 17(12): 3960-3972 (2024) - 2023
- [c30]Ram Kesavan, David Gay, Daniel Thevessen, Jimit Shah, C. Mohan:
Firestore: The NoSQL Serverless Database for the Application Developer. ICDE 2023: 3376-3388
2010 – 2019
- 2014
- [j6]David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler:
The nesC language: a holistic approach to networked embedded systems. ACM SIGPLAN Notices 49(4S): 41-52 (2014) - 2011
- [j5]David Gay, Joel Galenson, Mayur Naik, Kathy Yelick:
Yada: Straightforward parallel programming. Parallel Comput. 37(9): 592-609 (2011) - [c29]Behram F. T. Mistree, Bhupesh Chandra, Ewen Cheslack-Postava, Philip Alexander Levis, David Gay:
Emerson: accessible scripting for applications in an extensible virtual world. Onward! 2011: 77-90 - [c28]Zachary R. Anderson, David Gay:
Composable, nestable, pessimistic atomic statements. OOPSLA 2011: 865-884 - 2010
- [c27]Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay:
An effective dynamic analysis for detecting generalized deadlocks. SIGSOFT FSE 2010: 327-336
2000 – 2009
- 2009
- [c26]Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay:
Effective static deadlock detection. ICSE 2009: 386-396 - [c25]Zachary R. Anderson, David Gay, Mayur Naik:
Lightweight annotations for controlling sharing in concurrent data structures. PLDI 2009: 98-109 - 2008
- [j4]Philip Alexander Levis, Eric A. Brewer, David E. Culler, David Gay, Samuel Madden, Neil Patel, Joseph Polastre, Scott Shenker, Robert Szewczyk, Alec Woo:
The emergence of a networking primitive in wireless sensor networks. Commun. ACM 51(7): 99-106 (2008) - [c24]Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer:
SharC: checking data sharing strategies for multithreaded C. PLDI 2008: 149-158 - 2007
- [j3]David Gay, Philip Alexander Levis, David E. Culler:
Software design patterns for TinyOS. ACM Trans. Embed. Comput. Syst. 6(4): 22 (2007) - [c23]Robert Ennals, David Gay:
Multi-language Synchronization. ESOP 2007: 475-489 - [c22]Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula:
Dependent Types for Low-Level Programming. ESOP 2007: 520-535 - [c21]Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou:
Beyond Bug-Finding: Sound Program Analysis for Linux. HotOS 2007 - [c20]Robert Ennals, David Gay:
User-friendly functional programming for web mashups. ICFP 2007: 223-234 - [c19]David Gay, Robert Ennals, Eric A. Brewer:
Safe manual memory management. ISMM 2007: 2-14 - [c18]Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr:
Efficient memory safety for TinyOS. SenSys 2007: 205-218 - [c17]Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Alexander Levis:
Integrating concurrency control and energy management in device drivers. SOSP 2007: 251-264 - 2006
- [c16]John Regehr, Nathan Cooprider, David Gay:
Atomicity and visibility in tiny embedded systems. PLOS 2006: 2 - [c15]Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer:
Autolocker: synchronization inference for atomic sections. POPL 2006: 346-358 - 2005
- [c14]Philip Buonadonna, David Gay, Joseph M. Hellerstein, Wei Hong, Samuel Madden:
TASK: sensor network in a box. EWSN 2005: 133-144 - [c13]Aditya Mohan, Wei Hong Hong, David Gay, Philip Buonadonna, A. Mainwaring:
End-to-end performance characterization of Sensornet multi-hop routing. ICPS 2005: 27-36 - [c12]David Gay, Philip Alexander Levis, David E. Culler:
Software design patterns for TinyOS. LCTES 2005: 40-49 - [c11]Philip Alexander Levis, David Gay, David E. Culler:
Active Sensor Networks. NSDI 2005 - [c10]Kevin K. Chang, David Gay:
Language Support for Interoperable Messaging in Sensor Networks. SCOPES 2005: 1-9 - [c9]Gilman Tolle, Joseph Polastre, Robert Szewczyk, David E. Culler, Neil Turner, Kevin Tu, Stephen Burgess, Todd Dawson, Philip Buonadonna, David Gay, Wei Hong:
A macroscope in the redwoods. SenSys 2005: 51-63 - [c8]Philip Alexander Levis, David Gay:
Reprogramming sensor networks safely, quickly, and efficiently. SenSys 2005: 308 - [p1]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:
TinyOS: An Operating System for Sensor Networks. Ambient Intelligence 2005: 115-148 - 2004
- [c7]Philip Alexander Levis, Samuel Madden, David Gay, Joseph Polastre, Robert Szewczyk, Alec Woo, Eric A. Brewer, David E. Culler:
The Emergence of Networking Abstractions and Techniques in TinyOS. NSDI 2004: 1-14 - 2003
- [c6]David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler:
The nesC language: A holistic approach to networked embedded systems. PLDI 2003: 1-11 - 2002
- [j2]Andrew Begel, Philip Buonadonna, David E. Culler, David Gay:
An analysis of VI Architecture primitives in support of parallel and distributed communication. Concurr. Comput. Pract. Exp. 14(1): 55-76 (2002) - 2001
- [c5]David Gay, Alex Aiken:
Language Support for Regions. PLDI 2001: 70-80 - 2000
- [c4]David Gay, Bjarne Steensgaard:
Fast Escape Analysis and Stack Allocation for Object-Based Programs. CC 2000: 82-93
1990 – 1999
- 1999
- [c3]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:
Titanium: A High Performance Java Dialect. PP 1999 - 1998
- [j1]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:
Titanium: A High-performance Java Dialect. Concurr. Pract. Exp. 10(11-13): 825-836 (1998) - [c2]David Gay, Alex Aiken:
Memory Management with Explicit Regions. PLDI 1998: 313-323 - [c1]Alexander Aiken, David Gay:
Barrier Inference. POPL 1998: 342-354
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint