| 2026 | ICST | Understanding and Improving ML-based Static Analysis Result Classification via Explainable AI. | Sai S. Yerramreddy, Mohammad Rafieian, Shiyi Wei, Adam A. Porter |
| 2026 | PADL | Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning. | Jaeseong Lee, Sopam Dasgupta, Gopal Gupta, Shiyi Wei |
| 2026 | SANER | Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. | Sriteja Kummita, Fabian Schiebel, Eric Bodden, Miao Miao, Shiyi Wei |
| 2025 | COLING | Automatic Mathematic In-Context Example Generation for LLM Using Multi-Modal Consistency. | Jaeseong Lee, Wei Yang, Gopal Gupta, Shiyi Wei |
| 2025 | ICSE | An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools. | Miao Miao, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei |
| 2025 | MICRO | SymbFuzz: Symbolic Execution Guided Hardware Fuzzing. | Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Shiyi Wei, Kanad Basu |
| 2023 | ICSE | ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. | Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei |
| 2023 | ISSTA | DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. | Simin Chen, Shiyi Wei, Cong Liu, Wei Yang |
| 2023 | ISSTA | ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. | Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei |
| 2022 | ICSE | Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns. | Juan Manuel Florez, Jonathan Perry, Shiyi Wei, Andrian Marcus |
| 2022 | ICSE | SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C. | Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo |
| 2021 | ISSTA | The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android. | Austin Mordahl, Shiyi Wei |
| 2019 | ICSE | Conditional compilation is dead, long live conditional compilation! | Paul Gazzillo, Shiyi Wei |
| 2019 | ICST | An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool. | Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter |
| 2018 | CCS | Evaluating Fuzz Testing. | George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks |
| 2018 | ESOP | Evaluating Design Tradeoffs in Numeric Static Analysis for Java. | Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks |
| 2018 | SPLC | Localizing configurations in highly-configurable systems. | Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei |
| 2017 | PLDI | Decomposition instead of self-composition for proving the absence of timing channels. | Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei |
| 2015 | ECOOP | Adaptive Context-sensitive Analysis for JavaScript. | Shiyi Wei, Barbara G. Ryder |
| 2014 | ECOOP | State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. | Shiyi Wei, Barbara G. Ryder |
| 2014 | OOPSLA | Taming the dynamic behavior of JavaScript. | Shiyi Wei, Barbara G. Ryder |
| 2013 | ISSTA | Practical blended taint analysis for JavaScript. | Shiyi Wei, Barbara G. Ryder |
| 2012 | OOPSLA | Blended analysis for JavaScript: a practical framework to analyze dynamic features. | Shiyi Wei |