Markus Kusano

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 9

Top Topics

Constraint Solving

Static Analysis

Software Systems

Top Venues

ESEC/SIGSOFT FSE

Publications

Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang
FUDGE: fuzz driver generation at scale. ESEC/SIGSOFT FSE (2019)
Chungha Sung, Markus Kusano, Chao Wang
Modular verification of interrupt-driven software. ASE (2017)
Markus Kusano, Chao Wang
Thread-Modular Static Analysis for Relaxed Memory Models. CoRR (2017)
Chungha Sung, Markus Kusano, Chao Wang
Modular Verification of Interrupt-Driven Software. CoRR (2017)
Markus Kusano, Chao Wang
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation. CoRR (2017)
Markus Kusano, Chao Wang
Thread-modular static analysis for relaxed memory models. ESEC/SIGSOFT FSE (2017)
Markus Kusano, Chao Wang
Flow-sensitive composition of thread-modular abstract interpretation. SIGSOFT FSE (2016)
Shengjian Guo, Markus Kusano, Chao Wang
Conc-iSE: incremental symbolic execution of concurrent software. ASE (2016)
Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang
Static DOM event dependency analysis for testing web applications. SIGSOFT FSE (2016)
Naling Zhang, Markus Kusano, Chao Wang
Dynamic partial order reduction for relaxed memory models. PLDI (2015)
Markus Kusano, Arijit Chattopadhyay, Chao Wang
Dynamic Generation of Likely Invariants for Multithreaded Programs. ICSE (1) (2015)
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta
Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE (2015)
Sepideh Khoshnood, Markus Kusano, Chao Wang
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. ISSTA (2015)
Markus Kusano, Chao Wang
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction. ASE (2014)
Markus Kusano, Chao Wang
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications. ASE (2013)