Author of the publication

LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution.

, , , , , and . USENIX Security Symposium, page 125-142. USENIX Association, (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

Eliminating Path Redundancy via Postconditioned Symbolic Execution., , , , , and . IEEE Trans. Software Eng., 44 (1): 25-43 (2018)Summary-guided incremental symbolic execution., , and . ICSE (Companion Volume), page 310-311. ACM, (2020)LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic Execution., , , , , and . USENIX Security Symposium, page 125-142. USENIX Association, (2022)Feedback-Driven Incremental Symbolic Execution., and . ISSRE, page 505-516. IEEE, (2022)Efficient Loop-Extended Model Checking of Data Structure Methods., , and . FGIT-ASEA/DRBC/EL, volume 257 of Communications in Computer and Information Science, page 237-249. Springer, (2011)Explaining Software Failures by Cascade Fault Localization., , , , and . ACM Trans. Design Autom. Electr. Syst., 20 (3): 41:1-41:28 (2015)Concurrency verification with maximal path causality., and . ESEC/SIGSOFT FSE, page 366-376. ACM, (2018)A Synergistic Analysis Method for Explaining Failed Regression Tests., , , , and . ICSE (1), page 257-267. IEEE Computer Society, (2015)Postconditioned Symbolic Execution., , , , , and . ICST, page 1-10. IEEE Computer Society, (2015)