2008 |
27 | EE | Zachary R. Anderson,
David Gay,
Robert Ennals,
Eric A. Brewer:
SharC: checking data sharing strategies for multithreaded C.
PLDI 2008: 149-158 |
26 | EE | 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 | EE | Robert Ennals,
David Gay:
Multi-language Synchronization.
ESOP 2007: 475-489 |
24 | EE | Jeremy Condit,
Matthew Harren,
Zachary R. Anderson,
David Gay,
George C. Necula:
Dependent Types for Low-Level Programming.
ESOP 2007: 520-535 |
23 | EE | Robert Ennals,
David Gay:
User-friendly functional programming for web mashups.
ICFP 2007: 223-234 |
22 | EE | David Gay,
Robert Ennals,
Eric A. Brewer:
Safe manual memory management.
ISMM 2007: 2-14 |
21 | EE | 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 | EE | Nathan Cooprider,
Will Archer,
Eric Eide,
David Gay,
John Regehr:
Efficient memory safety for TinyOS.
SenSys 2007: 205-218 |
19 | EE | David Gay,
Philip Levis,
David E. Culler:
Software design patterns for TinyOS.
ACM Trans. Embedded Comput. Syst. 6(4): (2007) |
2006 |
18 | EE | John Regehr,
Nathan Cooprider,
David Gay:
Atomicity and visibility in tiny embedded systems.
PLOS 2006: 2 |
17 | EE | Bill McCloskey,
Feng Zhou,
David Gay,
Eric A. Brewer:
Autolocker: synchronization inference for atomic sections.
POPL 2006: 346-358 |
2005 |
16 | EE | 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 | EE | David Gay,
Philip Levis,
David E. Culler:
Software design patterns for TinyOS.
LCTES 2005: 40-49 |
14 | EE | Philip Levis,
David Gay,
David E. Culler:
Active Sensor Networks.
NSDI 2005 |
13 | EE | Kevin Chang,
David Gay:
Language Support for Interoperable Messaging in Sensor Networks.
SCOPES 2005: 1-9 |
12 | EE | Philip Levis,
David Gay:
Reprogramming sensor networks safely, quickly, and efficiently.
SenSys 2005: 308 |
11 | EE | 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 | EE | David Bremner,
David Gay:
Experimental lower bounds for three simplex chirality measures in low dimension.
CCCG 2004: 170-173 |
9 | EE | 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 | EE | 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 | EE | 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 | EE | 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) |