Michael D. Adams
Scholar

Michael D. Adams

Google Scholar ID: f8gzBi4AAAAJ
National University of Singapore
Programming Languages (Computer Science)
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
195
 
H-index
8
 
i10-index
7
 
Publications
20
 
Co-authors
0
 
Contact
CVOpen ↗
Publications
1 items
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
2025
Cited
0
Resume
Academic Achievements
  • Involved in the development of a number of languages and compilers, including the Glasgow Haskell Compiler, the Chez Scheme compiler, the Hazel programming environment, the Habit compiler, the Hermit optimization system, the X10 language, and the K Framework.
Research Experience
  • Conducted post-doctoral research on the Hazel programming environment with Cyrus Omar at the University of Michigan; worked on the Automated Program Analysis for Cybersecurity (APAC) and Space/Time Analysis for Cybersecurity (STAC) programs with Matthew Might at the University of Utah; collaborated on the K Framework with Gregory Rosu at the University of Illinois at Urbana-Champaign; and was part of the High-Assurance Systems Programming (HASP) project with Mark Jones, Jim Hook, and Andrew Tolmach at Portland State University.
Education
  • Graduated from Indiana University under the supervision of R. Kent Dybvig.
Background
  • Research interests include programming languages with an emphasis on static analysis/control-flow analysis, syntax and parsing, compilers and optimization, generic and meta-programming, and next-generation languages. Aims to develop tools and features that allow programmers to write clear, concise, and elegant code without sacrificing performance.
Miscellany
  • Miscellaneous projects done in spare time; courses taught; contact information; full curriculum vitae, research statement, and teaching statement.