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
POPL 2022-profile
View general profile
View general profile