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