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