Dan Grossman -

Registered user since Sun 12 Jun 2016

Name:Dan Grossman

Country:United States

Affiliation:University of Washington

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

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