Follow
Wei Wang
Wei Wang
Verified email at cs.nyu.edu
Title
Cited by
Cited by
Year
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
1382019
Partitioned Memory Models for Program Analysis
W Wang, C Barrett, T Wies
International Conference on Verification, Model Checking, and Abstract …, 2017
252017
Partitioned Memory Models for Program Analysis
W Wang
http://www.cs.nyu.edu/media/publications/wang_wei.pdf, 2016
252016
Cascade 2.0
W Wang, C Barrett, T Wies
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
142014
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
82024
Cascade: (Competition Contribution)
W Wang, C Barrett
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
62015
Zero-Config Fuzzing for Microservices
W Wang, A Benea, F Ivancic
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
42023
Partition memory models for program analysis
W Wang
New York University, 2016
22016
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
12008
Cascade 2016
W Wang, C Barrett
The system can't perform the operation now. Try again later.
Articles 1–10