The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Daniel Marino" ( http://dblp.L3S.de/Authors/Daniel_Marino )

  Author page on DBLP  Author page in RDF  Community of Daniel Marino in ASPL-2

Publication years (Num. hits)
2007 (1) 2009 (3) 2010 (2) 2011 (2) 2012 (1)
Publication types (Num. hits)
article(2) inproceedings(7)
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
1Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek A data-centric approach to synchronization. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy A case for an SC-preserving compiler. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi Efficient processor support for DRFx, a memory model with exceptions. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble JavaCOP: Declarative pluggable types for java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy DRFX: a simple and efficient memory model for concurrent programming languages. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF memory model exception, soft fences, memory models, data races, sequential consistency
1Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy LiteRace: effective sampling for lightweight data-race detection. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic data race detection, sampling, concurrency bugs
1Daniel Marino, Todd D. Millstein A generic type-and-effect system. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF type-and-effect systems
1Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein Fine-Grained Access Control with Object-Sensitive Roles. Search on Bibsonomy ECOOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein Enforcing and validating user-defined programming disciplines. Search on Bibsonomy PASTE The full citation details ... 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: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.