Todd Millstein

Registered user since Sat 5 Apr 2014

Name: Todd Millstein

Bio: I am a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA).

I was the Program Chair for OOPSLA 2014.

Affiliation: University of California, Los Angeles

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

Contributions

LAFI 2019Author of Factorized Exact Inference for Discrete Probabilistic Programs within the LAFI (né PPS)-track
PLDI 2019Author of Accelerating Sequential Consistency for Java with Speculative Compilation within the PLDI Research Papers-track
SPLASH 2018Committee Member in Distinguished Paper Committee within the OOPSLA-track
Committee Member in Review Committee within the OOPSLA-track
Author of FlashProfile: A Framework for Synthesizing Data Profiles within the OOPSLA-track
Author of FlashProfile: A Framework for Synthesizing Data Profiles within the Artifacts-track
PPS 2018Author of Probabilistic Program Inference With Abstractions within the PPS 2018-track
ECOOP 2018Program Chair in Organizing Committee
Program Chair in Program Committee within the ECOOP Research Papers-track
Presenter of Distinguished Paper Award within the ECOOP Keynotes-track
Presenter of Welcome within the ECOOP Keynotes-track
ECOOP and ISSTAMentor in Mentors within the Summer School-track
ECOOP Program Chair in Organizing Committee
SPLASH 2017Author of A Volatile-by-Default JVM for Server Applications within the OOPSLA-track
PLDI 2017Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track
Committee Member in External Program Committee
PLDI 2016Author of Data-Driven Precondition Inference with Learned Features within the Research Papers-track
Committee Member in Program Committee
Session Chair of Software-Defined Networking (part of Research Papers)
SPLASH 2015Author of Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
Author of Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages within the OOPSLA Artifacts-track
OOPSLA 2014 PC Chair in Steering Committee
ECOOP 2015Committee Member in Programme Committee within the Research Track-track
Onward! 2014Author of Call by Meaning within the Onward! Papers-track
Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2014Chair in Program Committee within the OOPSLA-track
OOPSLA PC Chair in Organizing Committee
Committee Member in Steering Committee
SPLASH 2013Committee Member in Program Committee within the OOPSLA-track
DLS 2012Committee Member in Program Committee within the DLS 2012-track