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 2019	PC Member in Organizing Committee 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