Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Todd Millstein
conf.researchr.org general profile
ECOOP 2015 profile
ECOOP and ISSTA 2018 profile
POPL 2018 profile
SPLASH 2011 profile
SPLASH 2013 profile
SPLASH 2016 profile
SPLASH 2020 profile
SPLASH 2021 profile
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
Share
x
Thu 30 Mar 12:46