Registered user since Thu 2 Mar 2017
Name:Kasper Luckow
Country:United States
Affiliation:Carnegie Mellon University
Personal website: http://andrew.cmu.edu/user/kluckow/
Research interests:program analysis, verification, machine learning
Contributions
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile