Scholar
Michael D. Adams
Google Scholar ID: f8gzBi4AAAAJ
National University of Singapore
Citations & Impact
Citations
195
H-index
8
i10-index
7
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
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.
Co-authors