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"

Parents

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