Michael D. Adams
My research area is programming languages with an emphasis on types, static analysis, control-flow analysis, syntax, parsing and compilers. My research objectives relate to the design, implementation and construction of programming languages, compilers and software analysis tools that help programmers more easily implement, reason about, prove correct and improve the performance of their programs.
I graduated from Indiana University under the supervision of Kent Dybvig and did postdoctoral research on the High-Assurance Systems Programming (HASP) project with Mark Jones, Jim Hook and Andrew Tolmach at Portland State University.
I’ve been involved in the development of
- the Glasgow Haskell Compiler,
- the Chez Scheme compiler,
- the X10 language,
- the Habit compiler, and of course
- the K Framework.
- 2130 Siebel Center
- Department of Computer Science
- University of Illinois at Urbana-Champaign
- 201 N. Goodwin, Urbana, IL 61801
My Illinois NetID is "adamsmd". E-mail me by sending to that address on the illinois.edu domain.