David Gay
David Gay
Google
Verified email at acm.org
TitleCited byYear
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
26492003
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
19802005
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
10642005
Titanium: A high-performance Java dialect
K Yelick, L Semenzato, G Pike, C Miyamoto, B Liblit, A Krishnamurthy, ...
Concurrency Practice and Experience 10 (11-13), 825-836, 1998
6611998
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
6002004
TinyOS programming
P Levis, D Gay
Cambridge University Press, 2009
4302009
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
3102006
Active sensor networks
P Levis, D Gay, D Culler
Proceedings of the 2nd conference on Symposium on Networked Systems Design …, 2005
2882005
Memory management with explicit regions
D Gay, A Aiken
ACM SIGPLAN Notices 33 (5), 313-323, 1998
2591998
TASK: Sensor network in a box
P Buonadonna, D Gay, JM Hellerstein, W Hong, S Madden
Wireless Sensor Networks, 2005. Proceeedings of the Second European Workshop …, 2005
2542005
nesC 1.3 Language Reference Manual
D Gay, P Levis, D Culler, E Brewer
2302009
Declarative networking
BT Loo, T Condie, M Garofalakis, DE Gay, JM Hellerstein, P Maniatis, ...
Communications of the ACM 52 (11), 87-95, 2009
2132009
Autolocker: synchronization inference for atomic sections
B McCloskey, F Zhou, D Gay, E Brewer
ACM SIGPLAN Notices 41 (1), 346-358, 2006
1892006
Dependent types for low-level programming
J Condit, M Harren, Z Anderson, D Gay, G Necula
Programming Languages and Systems, 520-535, 2007
1852007
Software design patterns for TinyOS
D Gay, P Levis, D Culler
ACM SIGPLAN Notices 40 (7), 40-49, 2005
1852005
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
Proceedings of the 31st International Conference on Software Engineering …, 2009
1822009
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
178*2005
Language support for regions
D Gay, A Aiken
ACM SIGPLAN Notices 36 (5), 70-80, 2001
1702001
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
1542005
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
1442007
The system can't perform the operation now. Try again later.
Articles 1–20