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

Personal website: https://markus-kusano.github.io/

Research interests: Program analysis, verification, abstract interpretation, model checking

Contributions

VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
ISSTA 2017Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2015Author of Dynamic Partial Order Reduction for Relaxed Memory Models within the Research Papers-track