Concepedia

Markus Kusano

MK

12

Publications

525

Citations

11

H-Index

2013

Active since

Affiliations

Virginia Tech(Current)

University of Southern California

Markus Kusano is an author at Virginia Tech specializing in engineering, program analysis, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationComputer EngineeringParallel ProgrammingSystem SoftwareParallel Computing

Publications per year

2013–2019

12

Publications

12

FUDGE: fuzz driver generation at scale

Domagoj Babić, Stefan Bucur, Yaohui Chen et al. · 2019 · 106 citations

Engineering, Advanced Computing, Software Systems +18

Dynamic partial order reduction for relaxed memory models

Naling Zhang, Markus Kusano, Chao Wang · 2015 · 88 citations

Mathematical Programming, Reduced Order Modeling, Engineering +21

Assertion guided symbolic execution of multithreaded programs

Shengjian Guo, Markus Kusano, Chao Wang et al. · 2015 · 60 citations

Program Checking, Engineering, Compiler Technology +20

ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs

Sepideh Khoshnood, Markus Kusano, Chao Wang · 2015 · 57 citations

Software Maintenance, Logical Constraint, Program Checking +26

Conc-iSE: incremental symbolic execution of concurrent software

Shengjian Guo, Markus Kusano, Chao Wang · 2016 · 48 citations

Software Maintenance, Concurrent Software, Engineering +21

Rows per page

1–5 of 12