BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Ireland
1 × Italy
4 × USA
Collaborated with:
T.D.Millstein S.Narayanasamy M.Musuvathi A.Singh J.Fischer R.Majumdar B.Chin S.Markstrum C.Hammer J.Dolby M.Vaziri F.Tip J.Vitek
Talks about:
program (3) memori (2) effici (2) detect (2) model (2) race (2) data (2) lightweight (1) processor (1) disciplin (1)

Person: Daniel Marino

DBLP DBLP: Marino:Daniel

Contributed to:

ICSE 20132013
ASPLOS 20112011
PLDI 20112011
PLDI 20102010
ECOOP 20092009
PLDI 20092009
PASTE 20072007

Wrote 7 papers:

ICSE-2013-MarinoHDVTV #concurrent #detection #source code
Detecting deadlock in programs with data-centric synchronization (DM, CH, JD, MV, FT, JV), pp. 322–331.
ASPLOS-2011-SinghMNMM #exception #memory management #performance
Efficient processor support for DRFx, a memory model with exceptions (AS, DM, SN, TDM, MM), pp. 53–66.
PLDI-2011-MarinoSMMN #compilation
A case for an SC-preserving compiler (DM, AS, TDM, MM, SN), pp. 199–210.
PLDI-2010-MarinoSMMN #concurrent #memory management #named #performance #programming language
DRFX: a simple and efficient memory model for concurrent programming languages (DM, AS, TDM, MM, SN), pp. 351–362.
ECOOP-2009-FischerMMM #data access #fine-grained
Fine-Grained Access Control with Object-Sensitive Roles (JF, DM, RM, TDM), pp. 173–194.
PLDI-2009-MarinoMN #concurrent #detection #effectiveness #lightweight #named
LiteRace: effective sampling for lightweight data-race detection (DM, MM, SN), pp. 134–143.
PASTE-2007-ChinMMM #programming #validation
Enforcing and validating user-defined programming disciplines (BC, DM, SM, TDM), pp. 85–86.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.