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 2020	Author in Steering Committee
PASS 2019	Committee Member in Program Committee within the PASS 2019 (CANCELED)-track
PLDI 2019	Session Chair of Concurrency II (part of PLDI Research Papers) 2018 Program Chair in Steering Committee
POPL 2019	Author of Concerto: A Framework for Combined Concrete and Abstract Interpretation within the Research Papers-track
CPP 2018	Author 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 2018	Author of Functional Programming for Compiling and Decompiling Computer-Aided Design within the Research Papers-track
MAPL 2017	Author of Debugging Probabilistic Programs within the MAPL 2017-track
PLDI 2018	Chair 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 2017	Author of Reasoning about inference in probabilistic programs within the PPS-track
POPL 2017	ERC member in External Review Committee within the POPL-track
TRANSACT 2016	Committee Member in Steering Committee within the TRANSACT 2016-track
ECOOP 2018	Author of Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates within the ECOOP Research Papers-track
SPLASH 2017	Author 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 2017	Author 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 2016	Committee Member in Program Committee within the Research Papers-track
PLDI 2016	Author of Verified Peephole Optimizations for CompCert within the Research Papers-track
ECOOP 2016	Author 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 2016	Author of Optimizing Synthesis with Metasketches within the Research Papers-track
PLOOC 2015	Author of The Hint Mechanism in Code Hunt within the PLOOC 2015-track
ISMM 2015	Committee Member in External Review Committee within the Research Papers-track
SPLASH 2015	Author of Probability Type Inference for Flexible Approximate Programming within the OOPSLA-track
PLDI 2015	Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014	Author of Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts within the OOPSLA-track
SPLASH 2013	Committee 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 2012	Author of Detecting conflicts among declarative UI extensions within the DLS 2012-track
SPLASH 2012	Author of IFRit: interference-free regions for dynamic data-race detection within the OOPSLA Research Papers-track