might

Personal information


I received my Ph.D. in programming languages from Georgia Tech under Olin Shivers.


Abstract interpretation, higher-order flow analysis, environment analysis.

History


10 years 9 weeks