I started my PhD at Virginia Tech in the Fall of 2014. My advisor is Chao Wang. My research interests are in automated formal-methods and program analysis, particularly the analysis of concurrent systems.

Publications

Modular Verification of Interrupt-driven Software, Chungha Sung, Markus Kusano, Chao Wang. ASE 2017.

Thread-Modular Static Analysis for Relaxed Memory Models, Markus Kusano, and Chao Wang. 25th International Symposium on the Foundations of Software Engineering (FSE). Paderborn, Germany, 2017. (PDF)

Conc-iSE: Incremental Symbolic Execution of Concurrent Software, Shengjian Guo, Markus Kusano, and Chao Wang. 31st International Conference on Automated Software Engineering (ASE). Singapore, 2016. (PDF)

Flow-sensitive Composition of Thread-modular Abstract Interpretation, Markus Kusano, Chao Wang. 24th International Symposium on the Foundations of Software Engineering (FSE). Seattle, Washington, 2016. (PDF) (Slides)

Static DOM Event Dependency Analysis for Testing Web Applications, Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang. 24th International Symposium on the Foundations of Software Engineering (FSE). Seattle, Washington, 2016. (PDF)

Assertion Guided Symbolic Execution of Multithreaded Programs, Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta. 23rd International Symposium on the Foundations of Software Engineering (FSE). Bergamo, Italy, 2015 (PDF).

ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrent Bugs, Sepideh Khoshnood, Markus Kusano, Chao Wang. 2015 International Symposium on Software Testing and Analysis (ISSTA). Baltimore, Maryland, 2015 (PDF) (Slides).

Dynamic Partial Order Reduction for Relaxed Memory Models, Naling Zhang, Markus Kusano, Chao Wang. 36th Conference on Programming Language Design and Implementation (PLDI). Portland, Oregon, 2015 (PDF) (Slides).

Dynamic Generation of Likely Invariants for Multithreaded Programs, Markus Kusano, Arijit Chattopadhyay, Chao Wang. 37th International Conference on Software Engineering (ICSE). Florence, Italy, 2015 (PDF) (Slides).

Assertion Guided Abstraction: A Cooperative Optimization for Dynamic Partial Order Reduction, Markus Kusano and Chao Wang. 29th International Conference on Automated Software Engineering (ASE). Västerås, Sweden, 2014 (PDF) (Slides).

CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications, Markus Kusano and Chao Wang. 28th International Conference on Automated Software Engineering (ASE). Palo Alto, California, 2013 (PDF).

Awards

NSF Graduate Research Fellow (2016)

Virginia Tech Bradley Fellow (2014)

Internships

Summer 2017

Google, New York City, New York.

Designed automated testing algorithms.

Summer 2016

Samsung Research America, Mountain View CA.

Designed automated testing framework for concurreny issues in web sites.

Summer 2014 & 2015

Research Assistant: NEC Labs America, Princeton NJ. Autonomic Management Group.

Designed, implemented, and tested big data heuristics to reduce the search space of system intrusion detection algorithms. Efficiently analyzed terabyte sized graph databases to create concise reports of intrusion points to the end-user. Advisor: Zhichun Li.

Software

SysTest

SysTest is a dynamic stateless model checker for concurrent programs. It implements the dynamic partial order reduction algorithm. It performs dynamic instrumentation using the LLVM compiler framework. The scheduler is written in Haskell and supports POSIX threads.

CCmutator

I maintain CCmutator, a multithreaded mutant generator for C/C++ applications. See the following paper for more details