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: Marino:Daniel
Contributed to:
2013
2011
20112010
20092009
2007Wrote 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.