Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Daniel Marino

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/micro/SinghNMMM13
- ask others
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi: A Safety-First Approach to Memory Models. IEEE Micro 33(3): 96-104 (2013)
[c9]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/MarinoHDVTV13
- ask others
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek: Detecting deadlock in programs with data-centric synchronization. ICSE 2013: 322-331
2012
[j2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/DolbyHMTVV12
- ask others
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek: A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. 34(1): 4 (2012)
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isca/SinghNMMM12
- ask others
Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd D. Millstein, Madanlal Musuvathi: End-to-end sequential consistency. ISCA 2012: 524-535
2011
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/asplos/SinghMNMM11
- ask others
Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd D. Millstein, Madanlal Musuvathi: Efficient processor support for DRFx, a memory model with exceptions. ASPLOS 2011: 53-66
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pldi/MarinoSMMN11
- ask others
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy: A case for an SC-preserving compiler. PLDI 2011: 199-210
2010
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/MarkstrumMEMAN10
- ask others
Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble: JavaCOP: Declarative pluggable types for java. ACM Trans. Program. Lang. Syst. 32(2) (2010)
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pldi/MarinoSMMN10
- ask others
Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy: DRFX: a simple and efficient memory model for concurrent programming languages. PLDI 2010: 351-362

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoop/FischerMMM09
- ask others
Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein: Fine-Grained Access Control with Object-Sensitive Roles. ECOOP 2009: 173-194
[c3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pldi/MarinoMN09
- ask others
Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy: LiteRace: effective sampling for lightweight data-race detection. PLDI 2009: 134-143
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tldi/MarinoM09
- ask others
Daniel Marino, Todd D. Millstein: A generic type-and-effect system. TLDI 2009: 39-50
2007
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/paste/ChinMMM07
- ask others
Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein: Enforcing and validating user-defined programming disciplines. PASTE 2007: 85-86