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

SPLASH 2021	Author of Data-Driven Inference of Representation Invariants within the SIGPLAN Papers-track
SPLASH 2020	Author of Scaling Exact Inference for Discrete Probabilistic Programs within the Posters-track
ECOOP 2018	Session Chair of Asynchrony and Concurrency (part of ECOOP Research Papers)
PADL 2018	Invited Speaker of INVITED TALK: ``Safe'' Languages Require Sequential Consistency within the PADL 2018-track
NetPL 2018	Organization Co-chair of Wrap Up within the NetPL 2018-track Organizing Committee in Organizing Committee within the NetPL 2018-track
SPLASH 2016	OOPSLA 2014 PC Chair in Steering Committee
SPLASH 2013	Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track
SPLASH 2011	Committee Member in External Reviewers within the OOPSLA-track Presenter of Refactoring towards the Good Parts of JavaScript within the Posters-track