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
Personal website: https://markus-kusano.github.io/
Research interests: Program analysis, verification, abstract interpretation, model checking
Contributions
| PLDI 2015 | Author of Dynamic Partial Order Reduction for Relaxed Memory Models within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2015-profile
View general profile
View general profile