|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 44 occurrences of 28 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Gay, Joel Galenson, Mayur Naik, Kathy Yelick |
Yada: Straightforward parallel programming.  |
Parallel Computing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary R. Anderson, David Gay |
Composable, nestable, pessimistic atomic statements. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay |
An effective dynamic analysis for detecting generalized deadlocks. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary R. Anderson, David Gay, Mayur Naik |
Lightweight annotations for controlling sharing in concurrent data structures. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
concurrent programming, data races, multithreaded programming |
| 1 | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay |
Effective static deadlock detection. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer |
SharC: checking data sharing strategies for multithreaded C. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
data-race |
| 1 | David Gay, Philip Levis, David E. Culler |
Software design patterns for TinyOS. |
ACM Trans. Embedded Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
embedded systems, Design Patterns, TinyOS, nesC |
| 1 | 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 |
DBLP DOI BibTeX RDF |
device driver architecture, concurrency, energy, tinyOS |
| 1 | David Gay, Robert Ennals, Eric A. Brewer |
Safe manual memory management. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
C, safety, memory management, reference counting |
| 1 | Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr |
Efficient memory safety for TinyOS. |
SenSys |
2007 |
DBLP DOI BibTeX RDF |
cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC |
| 1 | Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou |
Beyond Bug-Finding: Sound Program Analysis for Linux. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Robert Ennals, David Gay |
User-friendly functional programming for web mashups. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
end-used programming, web, mashup, browser |
| 1 | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
Dependent Types for Low-Level Programming. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Ennals, David Gay |
Multi-language Synchronization. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Regehr, Nathan Cooprider, David Gay |
Atomicity and visibility in tiny embedded systems. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer |
Autolocker: synchronization inference for atomic sections. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
pessimistic, atomic, lock |
| 1 | Alexander Gutkin, David Gay |
Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Philip Levis, David Gay, David E. Culler |
Active Sensor Networks. |
NSDI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kevin Chang, David Gay |
Language Support for Interoperable Messaging in Sensor Networks. |
SCOPES |
2005 |
DBLP DOI BibTeX RDF |
sensor networks, heterogeneous networks, data layout |
| 1 | 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 |
DBLP DOI BibTeX RDF |
macroscope, microclimate monitoring, wireless sensor networks, application analysis |
| 1 | Philip Levis, David Gay |
Reprogramming sensor networks safely, quickly, and efficiently. |
SenSys |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Buonadonna, David Gay, Joseph M. Hellerstein, Wei Hong, Samuel Madden |
TASK: sensor network in a box. |
EWSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gay, Philip Levis, David E. Culler |
Software design patterns for TinyOS. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
embedded systems, design patterns, TinyOS, nesC |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | David Bremner, David Gay |
Experimental lower bounds for three simplex chirality measures in low dimension. |
CCCG |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
first-order, concurrency, components, C, programming languages, modules, TinyOS, data races, nesC |
| 1 | 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 |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | David Gay, Alexander Aiken |
Language Support for Regions. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
C |
| 1 | David Gay, Bjarne Steensgaard |
Fast Escape Analysis and Stack Allocation for Object-Based Programs. |
CC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 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 |
1998 |
DBLP BibTeX RDF |
|
| 1 | David Gay, Alexander Aiken |
Memory Management with Explicit Regions. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
C |
| 1 | Alexander Aiken, David Gay |
Barrier Inference. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")