Fudge: fuzz driver generation at scale D Babić, S Bucur, Y Chen, F Ivančić, T King, M Kusano, C Lemieux, ... Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 113 | 2019 |
Dynamic partial order reduction for relaxed memory models N Zhang, M Kusano, C Wang Proceedings of the 36th ACM SIGPLAN conference on programming language …, 2015 | 105 | 2015 |
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs S Khoshnood, M Kusano, C Wang Proceedings of the 2015 international symposium on software testing and …, 2015 | 83 | 2015 |
Assertion guided symbolic execution of multithreaded programs S Guo, M Kusano, C Wang, Z Yang, A Gupta Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 69 | 2015 |
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications M Kusano, C Wang 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 59 | 2013 |
Conc-iSE: Incremental symbolic execution of concurrent software S Guo, M Kusano, C Wang Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 55 | 2016 |
Differential dependency tracking for attack forensics LI Zhichun, Z Wu, Q Zhiyun, G Jiang, M Akhoondi, M Kusano US Patent 9,736,173, 2017 | 46 | 2017 |
Flow-sensitive composition of thread-modular abstract interpretation M Kusano, C Wang Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 34 | 2016 |
Static DOM event dependency analysis for testing web applications C Sung, M Kusano, N Sinha, C Wang Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 33 | 2016 |
Modular verification of interrupt-driven software C Sung, M Kusano, C Wang 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 30 | 2017 |
Thread-modular static analysis for relaxed memory models M Kusano, C Wang Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 22 | 2017 |
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction M Kusano, C Wang Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 19 | 2014 |
Dynamic generation of likely invariants for multithreaded programs M Kusano, A Chattopadhyay, C Wang 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 11 | 2015 |
Automatic Generation Of Patches For Security Violations D Babic, O Tripp, F Ivancic, S Kerner, M Kusano, T King, S Bucur, W Wang, ... US Patent App. 16/980,546, 2021 | 7 | 2021 |
Constraint-Based Thread-Modular Abstract Interpretation MJU Kusano Virginia Tech, 2018 | | 2018 |