The SCEAS System
Navigation Menu

Search the dblp DataBase


David Gay: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John Regehr, Nathan Cooprider, David Gay
    Atomicity and visibility in tiny embedded systems. [Citation Graph (0, 0)][DBLP]
    PLOS, 2006, pp:2- [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. David Gay, Philip Levis, David E. Culler
    Software design patterns for TinyOS. [Citation Graph (0, 0)][DBLP]
    LCTES, 2005, pp:40-49 [Conf]
  6. 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]
  7. David Gay, Alexander Aiken
    Language Support for Regions. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:70-80 [Conf]
  8. David Gay, Alexander Aiken
    Memory Management with Explicit Regions. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:313-323 [Conf]
  9. 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]
  10. Alexander Aiken, David Gay
    Barrier Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:342-354 [Conf]
  11. 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]
  12. 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]
  13. Kevin Chang, David Gay
    Language Support for Interoperable Messaging in Sensor Networks. [Citation Graph (0, 0)][DBLP]
    SCOPES, 2005, pp:1-9 [Conf]
  14. Philip Levis, David Gay
    Reprogramming sensor networks safely, quickly, and efficiently. [Citation Graph (0, 0)][DBLP]
    SenSys, 2005, pp:308- [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Robert Ennals, David Gay
    Multi-language Synchronization. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:475-489 [Conf]
  20. Robert Ennals, David Gay
    User-friendly functional programming for web mashups. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:223-234 [Conf]
  21. David Gay, Robert Ennals, Eric A. Brewer
    Safe manual memory management. [Citation Graph (0, 0)][DBLP]
    ISMM, 2007, pp:2-14 [Conf]
  22. Philip Levis, David Gay, David E. Culler
    Active Sensor Networks. [Citation Graph (0, 0)][DBLP]
    NSDI, 2005, pp:- [Conf]
  23. 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]
  24. 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]

  25. Beyond Bug-Finding: Sound Program Analysis for Linux. [Citation Graph (, )][DBLP]

  26. Effective static deadlock detection. [Citation Graph (, )][DBLP]

  27. SharC: checking data sharing strategies for multithreaded C. [Citation Graph (, )][DBLP]

  28. Lightweight annotations for controlling sharing in concurrent data structures. [Citation Graph (, )][DBLP]

  29. Efficient memory safety for TinyOS. [Citation Graph (, )][DBLP]

  30. The emergence of a networking primitive in wireless sensor networks. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002