Dan Grossman

Registered user since Sun 12 Jun 2016

Name: Dan Grossman

Bio:

Country: United States

Affiliation: University of Washington

Personal website: http://homes.cs.washington.edu/~djg/

Contributions

PLDI 2020Author in Steering Committee
CPP 2020Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track
PASS 2019Committee Member in Program Committee within the PASS 2019 (CANCELED)-track
POPL 2020Organizing Committee in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
PLDI 2019Session Chair of Concurrency II (part of PLDI Research Papers)
2018 Program Chair in Steering Committee
POPL 2019Author of Concerto: A Framework for Combined Concrete and Abstract Interpretation within the Research Papers-track
CPP 2018Author of Œuf: Minimizing the Coq Extraction TCB within the CPP 2018-track
Author of Adapting Proof Automation to Adapt Proofs within the CPP 2018-track
ICFP 2018Author of Functional Programming for Compiling and Decompiling Computer-Aided Design within the Research Papers-track
MAPL 2017Author of Debugging Probabilistic Programs within the MAPL 2017-track
PLDI 2018Chair in Distinguished Paper Committee
Speaker of PLDI Program Chair's Report within the PLDI Invited Speakers-track
Session Chair of Welcome (part of PLDI Invited Speakers)
Program Chair in Organizing Committee
Session Chair of Lightning Overview - Day 3 (part of PLDI Research Papers)
Program Chair in Program Committee
Session Chair of Programming-Student Feedback (part of PLDI Research Papers)
Session Chair of Program Chair's Report and SIGPLAN Town Hall Meeting (part of PLDI Invited Speakers)
Session Chair of Lightning Overview - Day 2 (part of PLDI Research Papers)
Session Chair of Lightning Overview - Day 1 (part of PLDI Research Papers)
PPS 2017Author of Reasoning about inference in probabilistic programs within the PPS-track
POPL 2017ERC member in External Review Committee within the POPL-track
TRANSACT 2016Committee Member in Steering Committee within the TRANSACT 2016-track
ECOOP 2018Author of Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates within the ECOOP Research Papers-track
SPLASH 2017Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track
Author of Instrumentation Bias for Dynamic Data Race Detection within the OOPSLA-track
PLDI 2017Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track
Session Chair of Systems and Performance (part of PLDI Research Papers)
Committee Member in Program Committee
ICFP 2016Committee Member in Program Committee within the Research Papers-track
PLDI 2016Author of Verified Peephole Optimizations for CompCert within the Research Papers-track
ECOOP 2016Author of Staccato: A Bug Finder for Dynamic Configuration Updates within the Artifacts-track
Author of Staccato: A Bug-Finder for Dynamic Configuration Updates within the Posters-track
Author of Staccato: A Bug Finder for Dynamic Configuration Updates within the Research Track-track
POPL 2016Author of Optimizing Synthesis with Metasketches within the Research Papers-track
PLOOC 2015Author of The Hint Mechanism in Code Hunt within the PLOOC 2015-track
ISMM 2015Committee Member in External Review Committee within the Research Papers-track
SPLASH 2015Author of Probability Type Inference for Flexible Approximate Programming within the OOPSLA-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014Author of Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts within the OOPSLA-track
SPLASH 2013Committee Member in Committee within the SPLASH-E-track
Author of Input-Covering Schedules for Multithreaded Programs within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
Author of Panel — Curriculum 2013: What’s new and how do we adapt? within the SPLASH-E-track
Author of Panel — MOOCs: Early Experience within the SPLASH-E-track
DLS 2012Author of Detecting conflicts among declarative UI extensions within the DLS 2012-track
SPLASH 2012Author of IFRit: interference-free regions for dynamic data-race detection within the OOPSLA Research Papers-track