Michael D. Adams

Registered user since Thu 28 Jun 2018

Name: Michael D. Adams

Country: United States

Affiliation: University of Michigan

Personal website: https://michaeldadams.org

Research interests: Programming Languages; Cybersecurity; Static Analysis; Parsing; Compilation and Optimization; Meta-programming and Macros; Generic Programming; Type Systems

Contributions

Scheme 2020 Program Co-Chair in Organizing Committee within the Scheme 2020-track
Program Co-Chair in Program Committee within the Scheme 2020-track
ICFP 2020 Author of Parsing with Zippers (Functional Pearl) within the ICFP Program-track
Scheme 2019 PC Member in Organizing Committee within the Scheme 2019-track
Author of Stack-Liberated Abstract Garbage Collection within the Scheme 2019-track
SPLASH 2019 Author in Reviewers within the SRC-track
VMCAI 2019 Author of Demand Control-Flow Analysis within the VMCAI 2019-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
Session Chair of Program Analysis I (part of Research Papers)
Haskell 2018 Session Chair of Session 1 (part of Haskell 2018)
Committee Member in Program Committee within the Haskell 2018-track
ICFP 2019 Session Chair of Compilation & Parallelism (part of Research Papers)
Committee Member in External Review Committee within the Research Papers-track
ICFP 2018 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2017 Author of Restricting Grammars with Tree Automata within the OOPSLA-track
ICFP 2016 Author of Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis within the Research Papers-track
PLDI 2016 Author of On the Complexity and Performance of Parsing with Derivatives within the Research Papers-track
Parsing@SLE 2015 Author of Disambiguating Grammars with Tree Automata within the Parsing@SLE-track
POPL 2016 Author of Pushdown Control-flow Analysis for Free within the Research Papers-track
Scheme 2011 Committee Member in Program Committee within the Scheme 2011-track
SPLASH 2011 Author of Flow-Sensitive Type Recovery in Linear-Log Time within the OOPSLA-track