☰

Daniel L. Marino, Ph.D.

Affiliations: 
2011 University of California, Los Angeles, Los Angeles, CA 
Area:
programming language design; static type systems; program analysis; software model checking; formal methods; compilers
Google:
"Daniel Marino"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Todd Millstein grad student 2011 UCLA
 (Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Marino D, Singh A, Millstein T, et al. (2016) DRFx: An understandable, high performance, and flexible memory model for concurrent languages Acm Transactions On Programming Languages and Systems. 38
Singh A, Narayanasamy S, Marino D, et al. (2013) A safety-first approach to memory models Ieee Micro. 33: 96-104
Dolby J, Hammer C, Marino D, et al. (2012) A data-centric approach to synchronization Acm Transactions On Programming Languages and Systems. 34
See more...