Michael D. Adams

Registered user since Thu 28 Jun 2018

Name: Michael D. Adams

Country: United States

Affiliation: University of Utah

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 2019PC Member in Organizing Committee within the Scheme 2019-track
SPLASH 2019Author in Reviewers within the SRC-track
VMCAI 2019Author of Demand Control-Flow Analysis within the VMCAI 2019-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
Session Chair of Program Analysis I (part of Research Papers)
Haskell 2018Session Chair of Session 1 (part of Haskell 2018)
Committee Member in Program Committee within the Haskell 2018-track
ICFP 2019Session Chair of Compilation & Parallelism (part of Research Papers)
Committee Member in External Review Committee within the Research Papers-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
SPLASH 2017Author of Restricting Grammars with Tree Automata within the OOPSLA-track
ICFP 2016Author of Allocation Characterizes Polyvariance: A Unified Methodology for Polyvariant Control-Flow Analysis within the Research Papers-track
PLDI 2016Author of On the Complexity and Performance of Parsing with Derivatives within the Research Papers-track
Parsing@SLE 2015Author of Disambiguating Grammars with Tree Automata within the Parsing@SLE-track
POPL 2016Author of Pushdown Control-flow Analysis for Free within the Research Papers-track