PL
Publications
- On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution
- Understanding and Detecting Performance Bugs in Markdown Compilers
- LChecker: Detecting Loose Comparison Bugs in PHP
- FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache
- Test Suites Guided Vulnerability Validation for Node.js Applications