Registered user since Thu 28 Jun 2018
Name:Michael D. Adams
Country:United States
Affiliation:National University of Singapore
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 2025-profile
View general profile
View general profile