Dan Grossman

Registered user since Sun 12 Jun 2016

Name:Dan Grossman
Country:United States
Affiliation:University of Washington

Contributions

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
ICFP 2022 Committee Member in Program Committee within the ICFP Papers and Events-track
PLDI 2022 Diversity and Inclusion Co-Chair in Organizing Committee
Author of (PLDI 2021) Proof Repair Across Type Equivalences within the SIGPLAN Track-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the SIGPLAN Papers-track
Author of Rewrite Rule Inference Using Equality Saturation within the Posters-track
Author of Rewrite Rule Inference Using Equality Saturation within the OOPSLA-track
PLDI 2021 Committee Member in Steering Committee
Diversity and Inclusion Chair in Organizing Committee
Author of Proof Repair across Type Equivalences within the PLDI-track
Author of Reticle: A Virtual Machine for Programming Modern FPGAs within the PLDI-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2020 Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the PLDI Research Papers-track
Committee Member in Steering Committee
CPP 2020 Author of REPLICA: REPL Instrumentation for Coq Analysis within the CPP 2020-track
POPL 2020 Organizing Committee in Organizing Committee within the POPLmark 15 Year Retrospective Panel-track
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
ICFP 2018 Author of Functional Programming for Compiling and Decompiling Computer-Aided Design within the Research Papers-track
ECOOP 2018 Author of Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates within the ECOOP Research Papers-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)
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
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
MAPL 2017 Author of Debugging Probabilistic Programs within the MAPL 2017-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
POPL 2017 ERC member in External Review Committee within the POPL-track
PPS 2017 Author of Reasoning about inference in probabilistic programs within the PPS-track
ICFP 2016 Committee Member in Program Committee 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
PLDI 2016 Author of Verified Peephole Optimizations for CompCert within the Research Papers-track
TRANSACT 2016 Committee Member in Steering Committee within the TRANSACT 2016-track
POPL 2016 Author of Optimizing Synthesis with Metasketches 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
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 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
SPLASH 2012 Author of IFRit: interference-free regions for dynamic data-race detection within the OOPSLA Research Papers-track
DLS 2012 Author of Detecting conflicts among declarative UI extensions within the DLS 2012-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track