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 | 138 | 2019 |
Partitioned Memory Models for Program Analysis W Wang, C Barrett, T Wies International Conference on Verification, Model Checking, and Abstract …, 2017 | 25 | 2017 |
Partitioned Memory Models for Program Analysis W Wang http://www.cs.nyu.edu/media/publications/wang_wei.pdf, 2016 | 25 | 2016 |
Cascade 2.0 W Wang, C Barrett, T Wies Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 14 | 2014 |
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 12,182,269, 2024 | 8 | 2024 |
Cascade: (Competition Contribution) W Wang, C Barrett Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 6 | 2015 |
Zero-Config Fuzzing for Microservices W Wang, A Benea, F Ivancic 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 4 | 2023 |
Partition memory models for program analysis W Wang New York University, 2016 | 2 | 2016 |
Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol W Wang, D Ji Formal Techniques for Networked and Distributed Systems–FORTE 2008: 28th …, 2008 | 1 | 2008 |
Cascade 2016 W Wang, C Barrett | | |