|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 7 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek |
A data-centric approach to synchronization.  |
ACM Trans. Program. Lang. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
A case for an SC-preserving compiler.  |
PLDI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi |
Efficient processor support for DRFx, a memory model with exceptions.  |
ASPLOS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble |
JavaCOP: Declarative pluggable types for java.  |
ACM Trans. Program. Lang. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
DRFX: a simple and efficient memory model for concurrent programming languages.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
memory model exception, soft fences, memory models, data races, sequential consistency |
| 1 | Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy |
LiteRace: effective sampling for lightweight data-race detection.  |
PLDI  |
2009 |
DBLP DOI BibTeX RDF |
dynamic data race detection, sampling, concurrency bugs |
| 1 | Daniel Marino, Todd D. Millstein |
A generic type-and-effect system.  |
TLDI  |
2009 |
DBLP DOI BibTeX RDF |
type-and-effect systems |
| 1 | Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein |
Fine-Grained Access Control with Object-Sensitive Roles.  |
ECOOP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein |
Enforcing and validating user-defined programming disciplines.  |
PASTE  |
2007 |
DBLP DOI BibTeX RDF |
pluggable type systems, programming disciplines, type-and-effect systems, type qualifiers |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|