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
| JPF 2019 | Committee Member in Program Committee within the JPF 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2019-profile
View general profile
View general profile