Markus Kusano

Registered user since Mon 8 Jun 2015

Name:Markus Kusano
Bio:

Markus Kusano is a PhD student at Virginia Tech studying under Chao Wang. His research interests are practical program analysis techniques for testing/verifying concurrent programs.

Country:United States
Affiliation:Virginia Tech
Research interests:Program analysis, verification, abstract interpretation, model checking

Contributions

PLDI 2015 Dynamic Partial Order Reduction for Relaxed Memory Models
Show activities from other conferences

PLDI 2015-profile
View general profile