conf.researchr.org / Todd Millstein
Todd Millstein

Not registered as user yet

Name: Todd Millstein

Affiliation: University of California, Los Angeles

Personal website: http://web.cs.ucla.edu/~todd/

Contributions

NetPL 2018Organization Co-chair of Wrap Up within the NetPL 2018-track
Organizing Committee in Organizing Committee within the NetPL 2018-track
PADL 2018Invited Speaker of INVITED TALK: ``Safe'' Languages Require Sequential Consistency within the PADL 2018-track
ECOOP 2018Session Chair of Asynchrony and Concurrency (part of ECOOP Research Papers)
SPLASH 2016OOPSLA 2014 PC Chair in Steering Committee
SPLASH 2013Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track