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.

Country:United States

Affiliation:University of California at Los Angeles

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

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track
SPLASH 2022	Author of Data-Driven Lemma Synthesis for Interactive Proofs within the OOPSLA-track
PLDI 2022	Author of (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs within the SIGPLAN Track-track
SPLASH 2021	Los Angeles in Review Committee within the OOPSLA-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track
SPLASH 2020	Author of Scaling Exact Inference for Discrete Probabilistic Programs within the OOPSLA-track Author of Scaling Exact Inference for Discrete Probabilistic Programs within the OOPSLA Artifacts-track Committee Member in Review Committee within the OOPSLA-track Session Chair of T-6B (part of OOPSLA)
ECOOP 2020	Committee Member in External Review Committee within the Research Papers-track
PLDI 2020	Author of Data-Driven Inference of Representation Invariants within the PLDI Research Papers-track
PLDI 2019	Author of Accelerating Sequential Consistency for Java with Speculative Compilation within the PLDI Research Papers-track
LAFI 2019	Author of Factorized Exact Inference for Discrete Probabilistic Programs within the LAFI (né PPS)-track
SPLASH 2018	Committee 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
ECOOP 2018	Program 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 ISSTA 2018	Mentor in Mentors within the Summer School-track ECOOP Program Chair in Organizing Committee
PPS 2018	Author of Probabilistic Program Inference With Abstractions within the PPS 2018-track
SPLASH 2017	Author of A Volatile-by-Default JVM for Server Applications within the OOPSLA-track
PLDI 2017	Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track Committee Member in External Program Committee
PLDI 2016	Author 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 2015	Author 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 2015	Committee Member in Programme Committee within the Research Track-track
SPLASH 2014	Chair in Program Committee within the OOPSLA-track OOPSLA Review Committee Chair in Organizing Committee Committee Member in Steering Committee
Onward! 2014	Author of Call by Meaning within the Onward! Papers-track Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2013	Committee Member in Program Committee within the OOPSLA-track
DLS 2012	Committee Member in Program Committee within the DLS 2012-track
SPLASH 2011	Author of Tool-supported Refactoring for JavaScript within the OOPSLA-track