Search the dblp DataBase
David Gay :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
John Regehr , Nathan Cooprider , David Gay Atomicity and visibility in tiny embedded systems. [Citation Graph (0, 0)][DBLP ] PLOS, 2006, pp:2- [Conf ] David Gay , Bjarne Steensgaard Fast Escape Analysis and Stack Allocation for Object-Based Programs. [Citation Graph (0, 0)][DBLP ] CC, 2000, pp:82-93 [Conf ] David Bremner , David Gay Experimental lower bounds for three simplex chirality measures in low dimension. [Citation Graph (0, 0)][DBLP ] CCCG, 2004, pp:170-173 [Conf ] Alexander Gutkin , David Gay Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism. [Citation Graph (0, 0)][DBLP ] IJCAI, 2005, pp:1684-1685 [Conf ] David Gay , Philip Levis , David E. Culler Software design patterns for TinyOS. [Citation Graph (0, 0)][DBLP ] LCTES, 2005, pp:40-49 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] NSDI, 2004, pp:1-14 [Conf ] David Gay , Alexander Aiken Language Support for Regions. [Citation Graph (0, 0)][DBLP ] PLDI, 2001, pp:70-80 [Conf ] David Gay , Alexander Aiken Memory Management with Explicit Regions. [Citation Graph (0, 0)][DBLP ] PLDI, 1998, pp:313-323 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PLDI, 2003, pp:1-11 [Conf ] Alexander Aiken , David Gay Barrier Inference. [Citation Graph (0, 0)][DBLP ] POPL, 1998, pp:342-354 [Conf ] Bill McCloskey , Feng Zhou , David Gay , Eric A. Brewer Autolocker: synchronization inference for atomic sections. [Citation Graph (0, 0)][DBLP ] POPL, 2006, pp:346-358 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] PPSC, 1999, pp:- [Conf ] Kevin Chang , David Gay Language Support for Interoperable Messaging in Sensor Networks. [Citation Graph (0, 0)][DBLP ] SCOPES, 2005, pp:1-9 [Conf ] Philip Levis , David Gay Reprogramming sensor networks safely, quickly, and efficiently. [Citation Graph (0, 0)][DBLP ] SenSys, 2005, pp:308- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] SenSys, 2005, pp:51-63 [Conf ] Andrew Begel , Philip Buonadonna , David E. Culler , David Gay An analysis of VI Architecture primitives in support of parallel and distributed communication. [Citation Graph (0, 0)][DBLP ] Concurrency and Computation: Practice and Experience, 2002, v:14, n:1, pp:55-76 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 1998, v:10, n:11-13, pp:825-836 [Journal ] Jeremy Condit , Matthew Harren , Zachary R. Anderson , David Gay , George C. Necula Dependent Types for Low-Level Programming. [Citation Graph (0, 0)][DBLP ] ESOP, 2007, pp:520-535 [Conf ] Robert Ennals , David Gay Multi-language Synchronization. [Citation Graph (0, 0)][DBLP ] ESOP, 2007, pp:475-489 [Conf ] Robert Ennals , David Gay User-friendly functional programming for web mashups. [Citation Graph (0, 0)][DBLP ] ICFP, 2007, pp:223-234 [Conf ] David Gay , Robert Ennals , Eric A. Brewer Safe manual memory management. [Citation Graph (0, 0)][DBLP ] ISMM, 2007, pp:2-14 [Conf ] Philip Levis , David Gay , David E. Culler Active Sensor Networks. [Citation Graph (0, 0)][DBLP ] NSDI, 2005, pp:- [Conf ] Kevin Klues , Vlado Handziski , Chenyang Lu , Adam Wolisz , David E. Culler , David Gay , Philip Levis Integrating concurrency control and energy management in device drivers. [Citation Graph (0, 0)][DBLP ] SOSP, 2007, pp:251-264 [Conf ] David Gay , Philip Levis , David E. Culler Software design patterns for TinyOS. [Citation Graph (0, 0)][DBLP ] ACM Trans. Embedded Comput. Syst., 2007, v:6, n:4, pp:- [Journal ] Beyond Bug-Finding: Sound Program Analysis for Linux. [Citation Graph (, )][DBLP ] Effective static deadlock detection. [Citation Graph (, )][DBLP ] SharC: checking data sharing strategies for multithreaded C. [Citation Graph (, )][DBLP ] Lightweight annotations for controlling sharing in concurrent data structures. [Citation Graph (, )][DBLP ] Efficient memory safety for TinyOS. [Citation Graph (, )][DBLP ] The emergence of a networking primitive in wireless sensor networks. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.005secs