Markus Kusano

According to our database, Markus Kusano authored at least 13 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

FUDGE: fuzz driver generation at scale.

Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Constraint-Based Thread-Modular Abstract Interpretation.

Markus Kusano

PhD thesis, 2018

2017

Thread-modular static analysis for relaxed memory models.

Markus Kusano, Chao Wang

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Modular verification of interrupt-driven software.

Chungha Sung, Markus Kusano, Chao Wang

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Static DOM event dependency analysis for testing web applications.

Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Flow-sensitive composition of thread-modular abstract interpretation.

Markus Kusano, Chao Wang

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Conc-iSE: incremental symbolic execution of concurrent software.

Shengjian Guo, Markus Kusano, Chao Wang

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Assertion guided symbolic execution of multithreaded programs.

Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Dynamic partial order reduction for relaxed memory models.

Naling Zhang, Markus Kusano, Chao Wang

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs.

Sepideh Khoshnood, Markus Kusano, Chao Wang

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Dynamic Generation of Likely Invariants for Multithreaded Programs.

Markus Kusano, Arijit Chattopadhyay, Chao Wang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction.

Markus Kusano, Chao Wang

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications.

Markus Kusano, Chao Wang

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013