Authors marked with * are students I mentored.
2026
Kishan Rakesh*, Shiyi Wei (2026). Contextual Associations Between Webpage Elements for Web Accessibility: An Empirical Study. International Symposium on Empirical Software Engineering and Measurement (ESEM), Registered Reports (RR) Track.
Meah Tahmeed Ahmed*, Arnab Dev*, Shiyi Wei (2026). Variability-Aware Fuzzing. ACM/IEEE International Conference on Software Engineering (ICSE).
Mohammad Rafieian*, Vlad Birsan*, Kunal Katiya*, Dylan Zhong*, Shiyi Wei (2026). Is Call Graph Pruning Really Effective? An Empirical Re-evaluation. ACM/IEEE International Conference on Software Engineering (ICSE).
Simin Wang, Liguo Huang, Shiyi Wei, Amiao Gao, Ruiqi Hu, Vincent Ng (2026). An Empirical Study of Fine-Grained Entity Relationships for Tracing Natural Language and Code Vulnerability Artifacts. ACM/IEEE International Conference on Software Engineering (ICSE).
Sriteja Kummita, Fabian Schiebel, Eric Bodden, Miao Miao*, Shiyi Wei (2026). Static Analysis Traces can help Dynamic Symbolic Execution: a Replication Study. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Reproducibility Studies and Negative Results (RENE).
Jaeseong Lee*, Sopam Dasgupta, Gopal Gupta, Shiyi Wei (2026). Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning. International Symposium on Practical Aspects of Declarative Languages (PADL).
Sriteja Kummita, Miao Miao*, Eric Bodden, Shiyi Wei (2026). Visualization Task Taxonomy to Understand the Fuzzing Internals. ACM Transactions on Software Engineering and Methodology.
2025
Sriteja Kummita, Eric Bodden, Miao Miao*, Shiyi Wei (2025). SeedUI: Understanding Initial Seeds in Fuzzing. International Workshop on Explainable Automated Software Engineering (Ex-ASE).
Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Shiyi Wei, Kanad Basu (2025). SymbFuzz: Symbolic Execution Guided Hardware Fuzzing. IEEE/ACM International Symposium on Microarchitecture (MICRO).
Miao Miao*, Sriteja Kummita, Eric Bodden, Shiyi Wei (2025). Program Feature-based Benchmarking for Fuzz Testing. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
Amiao Gao, Zenong Zhang*, Simin Wang, Liguo Huang, Shiyi Wei, Vincent Ng (2025). Teaching AI the 'Why' and 'How' of Software Vulnerability Fixes. ACM International Conference on the Foundations of Software Engineering (FSE).
Miao Miao*, Austin Mordahl*, Dakota Soles*, Alice Beideck*, Shiyi Wei (2025). An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools. ACM/IEEE International Conference on Software Engineering (ICSE).
Jaeseong Lee*, Wei Yang, Gopal Gupta, Shiyi Wei (2025). Automatic Mathematic In-Context Example Generation for LLM Using Multi-Modal Consistency. International Conference on Computational Linguistics (COLING).
2024
Sriteja Kummita, Zenong Zhang*, Eric Bodden, Shiyi Wei (2024). Visualizing and Understanding the Internals of Fuzzing. IEEE/ACM International Conference on Automated Software Engineering (ASE), New Ideas and Emerging Results (NIER).
Sriteja Kummita, Miao Miao*, Eric Bodden, Shiyi Wei (2024). Visualization Task Taxonomy to Understand the Fuzzing Internals. Fuzzing Workshop (FUZZING).
Samit Miftah, Shamik Kundu, Austin Mordahl*, Shiyi Wei, Kanad Basu (2024). RTL-Spec: RTL Spectrum Analysis for Security Bug Localization. IEEE International Symposium on Hardware oriented Security and Trust (HOST).
Jaeseong Lee*, Simin Chen, Austin Mordahl*, Cong Liu, Wei Yang, Shiyi Wei (2024). Automated Testing Linguistic Capabilities of NLP Models. ACM Transactions on Software Engineering and Methodology.
2023
Austin Mordahl*, Zenong Zhang*, Dakota Soles*, Shiyi Wei (2023). ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. ACM/IEEE International Conference on Software Engineering (ICSE).
Austin Mordahl*, Dakota Soles*, Miao Miao*, Zenong Zhang*, Shiyi Wei (2023). ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Tool Demonstration.
Simin Chen, Shiyi Wei, Cong Liu, Wei Yang (2023). DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
Zenong Zhang*, George Klees, Eric Wang, Michael Hicks, Shiyi Wei (2023). Fuzzing Configurations of Program Options. ACM Transactions on Software Engineering and Methodology.
Sai Yerramreddy, Austin Mordahl*, Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter (2023). An Empirical Assessment of Machine Learning Approaches for Triaging Reports of Static Analysis Tools. Empirical Software Engineering.
2022
Zenong Zhang*, Zach Patterson*, Michael Hicks, Shiyi Wei (2022). FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing. USENIX Security Symposium. Distinguished Paper Award
Zenong Zhang*, George Klees, Eric Wang, Michael Hicks, Shiyi Wei (2022). Fuzzing Configurations of Program Options. Fuzzing Workshop (FUZZING).
Zach Patterson*, Zenong Zhang*, Brent Pappas, Shiyi Wei, Paul Gazzillo (2022). SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C. ACM/IEEE International Conference on Software Engineering (ICSE).
Juan Manuel Florez, Jonathan Perry, Shiyi Wei, Andrian Marcus (2022). Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns. ACM/IEEE International Conference on Software Engineering (ICSE).
Juan Manuel Florez, Laura Moreno, Zenong Zhang*, Shiyi Wei, Andrian Marcus (2022). An Empirical Study of Data Constraint Implementations in Java. Empirical Software Engineering.
Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson*, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden (2022). Static Data-flow Analysis for Software Product Lines in C. Automated Software Engineering.
2021
Ugur Koc, Austin Mordahl*, Shiyi Wei, Jeffrey S. Foster, Adam Porter (2021). SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools. IEEE/ACM International Conference on Automated Software Engineering (ASE).
Austin Mordahl*, Shiyi Wei (2021). The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).
Before 2020
Austin Mordahl*, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo (2019). An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).
Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam Porter (2019). An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool. IEEE International Conference on Software Testing, Verification and Validation (ICST).
Paul Gazzillo, Shiyi Wei (2019). Conditional Compilation is Dead, Long Live Conditional Compilation!. ACM/IEEE International Conference on Software Engineering (ICSE), New Ideas and Emerging Results Track.
George T. Klees, Andrew Ruef, Benjamin Cooper, Shiyi Wei, Michael Hicks (2018). Evaluating Fuzz Testing. ACM Conference on Computer and Communications Security (CCS). NSA Best Scientific Cybersecurity Paper
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks (2018). Evaluating Design Tradeoffs in Numeric Static Analysis for Java. European Symposium on Programming (ESOP).
Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei (2018). Localizing Configurations in Highly-Configurable Systems. International Systems and Software Product Line Conference (SPLC).
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei (2017). Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby (2016). Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision. ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE).
Shiyi Wei, Franceska Xhakaj, Barbara G. Ryder (2016). Empirical Study of the Dynamic Behavior of JavaScript Objects. Software: Practice and Experience.
Shiyi Wei, Barbara G. Ryder (2015). Adaptive Context-sensitive Analysis for JavaScript. European Conference on Object-Oriented Programming (ECOOP).
Shiyi Wei, Barbara G. Ryder (2014). State-sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. European Conference on Object-Oriented Programming (ECOOP).
Shiyi Wei, Barbara G. Ryder (2013). Practical Blended Taint Analysis for JavaScript. International Symposium on Software Testing and Analysis (ISSTA).