David Gay

David Gay, Joel Galenson, Mayur Naik, Kathy Yelick: Yada: Straightforward parallel programming. Parallel Computing 37(9): 592-609 (2011)

Zachary R. Anderson, David Gay: Composable, nestable, pessimistic atomic statements. OOPSLA 2011: 865-884

Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay: An effective dynamic analysis for detecting generalized deadlocks. SIGSOFT FSE 2010: 327-336

Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay: Effective static deadlock detection. ICSE 2009: 386-396

Zachary R. Anderson, David Gay, Mayur Naik: Lightweight annotations for controlling sharing in concurrent data structures. PLDI 2009: 98-109

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)

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

David Gay, Philip Levis, David E. Culler: Software design patterns for TinyOS. ACM Trans. Embedded Comput. Syst. 6(4) (2007)

Robert Ennals, David Gay: Multi-language Synchronization. ESOP 2007: 475-489

Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula: Dependent Types for Low-Level Programming. ESOP 2007: 520-535

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

Robert Ennals, David Gay: User-friendly functional programming for web mashups. ICFP 2007: 223-234

David Gay, Robert Ennals, Eric A. Brewer: Safe manual memory management. ISMM 2007: 2-14

Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr: Efficient memory safety for TinyOS. SenSys 2007: 205-218

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

John Regehr, Nathan Cooprider, David Gay: Atomicity and visibility in tiny embedded systems. PLOS 2006: 2

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

Philip Buonadonna, David Gay, Joseph M. Hellerstein, Wei Hong, Samuel Madden: TASK: sensor network in a box. EWSN 2005: 133-144

Alexander Gutkin, David Gay: Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism. IJCAI 2005: 1684-1685

David Gay, Philip Levis, David E. Culler: Software design patterns for TinyOS. LCTES 2005: 40-49

Philip Levis, David Gay, David E. Culler: Active Sensor Networks. NSDI 2005

Kevin Chang, David Gay: Language Support for Interoperable Messaging in Sensor Networks. SCOPES 2005: 1-9

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

Philip Levis, David Gay: Reprogramming sensor networks safely, quickly, and efficiently. SenSys 2005: 308

David Bremner, David Gay: Experimental lower bounds for three simplex chirality measures in low dimension. CCCG 2004: 170-173

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

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

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)

David Gay, Alexander Aiken: Language Support for Regions. PLDI 2001: 70-80

David Gay, Bjarne Steensgaard: Fast Escape Analysis and Stack Allocation for Object-Based Programs. CC 2000: 82-93

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

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)

David Gay, Alexander Aiken: Memory Management with Explicit Regions. PLDI 1998: 313-323

Alexander Aiken, David Gay: Barrier Inference. POPL 1998: 342-354