Author of the publication

Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection.

, , , and . NDSS, The Internet Society, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Runtime Checking for Paired Functions in Device Drivers., , , and . APSEC (1), page 407-414. IEEE Computer Society, (2014)Static Detection of Unsafe DMA Accesses in Device Drivers., , , and . USENIX Security Symposium, page 1629-1645. USENIX Association, (2021)Testing Error Handling Code With Software Fault Injection and Error-Coverage-Guided Fuzzing., , , and . IEEE Trans. Dependable Secur. Comput., 21 (4): 1724-1739 (Juli 2024)Testing Error Handling Code in Device Drivers Using Characteristic Fault Injection., , , and . USENIX ATC, page 635-647. USENIX Association, (2016)AutoPA: automatically generating active driver from original passive driver code., , and . CGO, page 288-299. ACM, (2018)Effective Crash Recovery of Robot Software Programs in ROS., and . ICRA, page 9498-9504. IEEE, (2021)Complete Runtime Tracing for Device Drivers Based on LLVM., , , and . COMPSAC, page 200-209. IEEE Computer Society, (2015)Path-sensitive and alias-aware typestate analysis for detecting OS bugs., , , and . ASPLOS, page 859-872. ACM, (2022)RandMap: Wear Level for Phase Change Memory Based on Layer-Based Random Mapping., , and . ICESS, page 80-86. IEEE Computer Society, (2016)Automated resource release in device drivers., , , and . ISSRE, page 172-182. IEEE Computer Society, (2015)