| 2009 | ||
|---|---|---|
| 29 | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay: Effective static deadlock detection. ICSE 2009: 386-396 | |
| 28 | Zachary R. Anderson, David Gay, Mayur Naik: Lightweight annotations for controlling sharing in concurrent data structures. PLDI 2009: 98-109 | |
| 2008 | ||
| 27 | Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer: SharC: checking data sharing strategies for multithreaded C. PLDI 2008: 149-158 | |
| 26 | Philip 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) | |
| 2007 | ||
| 25 | Robert Ennals, David Gay: Multi-language Synchronization. ESOP 2007: 475-489 | |
| 24 | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula: Dependent Types for Low-Level Programming. ESOP 2007: 520-535 | |
| 23 | Robert Ennals, David Gay: User-friendly functional programming for web mashups. ICFP 2007: 223-234 | |
| 22 | David Gay, Robert Ennals, Eric A. Brewer: Safe manual memory management. ISMM 2007: 2-14 | |
| 21 | Kevin Klues, Vlado Handziski, Chenyang Lu, Adam Wolisz, David E. Culler, David Gay, Philip Levis: Integrating concurrency control and energy management in device drivers. SOSP 2007: 251-264 | |
| 20 | Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr: Efficient memory safety for TinyOS. SenSys 2007: 205-218 | |
| 19 | David Gay, Philip Levis, David E. Culler: Software design patterns for TinyOS. ACM Trans. Embedded Comput. Syst. 6(4): (2007) | |
| 2006 | ||
| 18 | John Regehr, Nathan Cooprider, David Gay: Atomicity and visibility in tiny embedded systems. PLOS 2006: 2 | |
| 17 | Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer: Autolocker: synchronization inference for atomic sections. POPL 2006: 346-358 | |
| 2005 | ||
| 16 | Alexander Gutkin, David Gay: Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism. IJCAI 2005: 1684-1685 | |
| 15 | David Gay, Philip Levis, David E. Culler: Software design patterns for TinyOS. LCTES 2005: 40-49 | |
| 14 | Philip Levis, David Gay, David E. Culler: Active Sensor Networks. NSDI 2005 | |
| 13 | Kevin Chang, David Gay: Language Support for Interoperable Messaging in Sensor Networks. SCOPES 2005: 1-9 | |
| 12 | Philip Levis, David Gay: Reprogramming sensor networks safely, quickly, and efficiently. SenSys 2005: 308 | |
| 11 | 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 | |
| 2004 | ||
| 10 | David Bremner, David Gay: Experimental lower bounds for three simplex chirality measures in low dimension. CCCG 2004: 170-173 | |
| 9 | Philip 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 | ||
| 8 | David Gay, Philip 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 | ||
| 7 | Andrew Begel, Philip Buonadonna, David E. Culler, David Gay: An analysis of VI Architecture primitives in support of parallel and distributed communication. Concurrency and Computation: Practice and Experience 14(1): 55-76 (2002) | |
| 2001 | ||
| 6 | David Gay, Alexander Aiken: Language Support for Regions. PLDI 2001: 70-80 | |
| 2000 | ||
| 5 | David Gay, Bjarne Steensgaard: Fast Escape Analysis and Stack Allocation for Object-Based Programs. CC 2000: 82-93 | |
| 1999 | ||
| 4 | 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. PPSC 1999 | |
| 1998 | ||
| 3 | David Gay, Alexander Aiken: Memory Management with Explicit Regions. PLDI 1998: 313-323 | |
| 2 | Alexander Aiken, David Gay: Barrier Inference. POPL 1998: 342-354 | |
| 1 | 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: Titanium: A High-performance Java Dialect. Concurrency - Practice and Experience 10(11-13): 825-836 (1998) | |