Home » user account

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


17 years 34 weeks