Follow
David Gay
David Gay
Google
Verified email at acm.org
Title
Cited by
Cited by
Year
The nesC language: A holistic approach to networked embedded systems
D Gay, P Levis, R Von Behren, M Welsh, E Brewer, D Culler
Acm Sigplan Notices 38 (5), 1-11, 2003
29192003
TinyOS: An operating system for sensor networks
P Levis, S Madden, J Polastre, R Szewczyk, K Whitehouse, A Woo, D Gay, ...
Ambient intelligence 35, 2005
24412005
A macroscope in the redwoods
G Tolle, J Polastre, R Szewczyk, D Culler, N Turner, K Tu, S Burgess, ...
Proceedings of the 3rd international conference on Embedded networked sensor …, 2005
11722005
Titanium: a high‐performance Java dialect
K Yelick, L Semenzato, G Pike, C Miyamoto, B Liblit, A Krishnamurthy, ...
Concurrency and Computation: Practice and Experience 10 (11‐13), 825-836, 1998
7381998
TinyOS programming
P Levis, D Gay
Cambridge University Press, 2009
6532009
The emergence of networking abstractions and techniques in TinyOS
P Levis, S Madden, D Gay, J Polastre, R Szewczyk, A Woo, E Brewer, ...
Proceedings of the 1st conference on Symposium on Networked Systems Design …, 2004
6192004
Declarative networking: language, execution and optimization
BT Loo, T Condie, M Garofalakis, DE Gay, JM Hellerstein, P Maniatis, ...
Proceedings of the 2006 ACM SIGMOD international conference on Management of …, 2006
3692006
Active sensor networks
P Levis, D Gay, D Culler
Proceedings of the 2nd conference on Symposium on Networked Systems Design …, 2005
3122005
TASK: Sensor network in a box
P Buonadonna, D Gay, JM Hellerstein, W Hong, S Madden
Proceeedings of the Second European Workshop on Wireless Sensor Networks …, 2005
2802005
Memory management with explicit regions
D Gay, A Aiken
Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998
2781998
Declarative networking
BT Loo, T Condie, M Garofalakis, DE Gay, JM Hellerstein, P Maniatis, ...
Communications of the ACM 52 (11), 87-95, 2009
2622009
nesC 1.3 Language Reference Manual
D Gay, P Levis, D Culler, E Brewer
2592009
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
Proceedings of the 31st International Conference on Software Engineering …, 2009
2432009
Dependent types for low-level programming
J Condit, M Harren, Z Anderson, D Gay, GC Necula
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
2312007
Autolocker: synchronization inference for atomic sections
B McCloskey, F Zhou, D Gay, E Brewer
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
2252006
Software design patterns for TinyOS
D Gay, P Levis, D Culler
ACM SIGPLAN Notices 40 (7), 40-49, 2005
2022005
Language support for regions
D Gay, A Aiken
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001
1912001
Titanium Language Reference Manual, version 2.19
PN Hilfinger, DO Bonachea, K Datta, D Gay, SL Graham, BR Liblit, G Pike, ...
UC Berkeley Tech Rep. UCB/EECS-2005-15, 2005
189*2005
T2: A second generation os for embedded sensor networks
P Levis, D Gay, V Handziski, JH Hauer, B Greenstein, M Turon, J Hui, ...
Telecommunication Networks Group, Technische Universität Berlin, Tech. Rep …, 2005
1742005
Efficient memory safety for TinyOS
N Cooprider, W Archer, E Eide, D Gay, J Regehr
Proceedings of the 5th international conference on Embedded networked sensor …, 2007
1652007
The system can't perform the operation now. Try again later.
Articles 1–20