Shiyi Wei

48 papers A* 10A 8B 2C 1Journal 17Unranked 9
YearRankTypeTitle / Venue / Authors
2026 C conf
Interpretable Configuration Optimization for Static Program Verification via Rule-Based and Counterfactual Reasoning.
PADL
Jaeseong Lee, Sopam Dasgupta, Gopal Gupta, Shiyi Wei
2026 J jnl
Visualization Task Taxonomy to Understand the Fuzzing Internals.
ACM Trans. Softw. Eng. Methodol.
Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei
2025 J jnl
A Sentence-Level Approach to Understanding Software Vulnerability Fixes.
CoRR
Amiao Gao, Zenong Zhang, Simin Wang, Liguo Huang, Shiyi Wei, Vincent Ng
2025 A* conf
An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools.
ICSE
Miao Miao, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei
2025 B conf
Automatic Mathematic In-Context Example Generation for LLM Using Multi-Modal Consistency.
COLING
Jaeseong Lee, Wei Yang, Gopal Gupta, Shiyi Wei
2025 J jnl
Improving Interpretability and Accuracy in Neuro-Symbolic Rule Extraction Using Class-Specific Sparse Filters.
CoRR
Parth Padalkar, Jaeseong Lee, Shiyi Wei, Gopal Gupta
2025 J jnl
MDFF: A Multilevel Deep Fusion Framework of Multisource Heterogeneous Data for FeO Content Prediction in Sintering Process.
IEEE Trans. Instrum. Meas.
Shiyi Wei, Chenxin Ye, Yuchen Zhao, Xinmin Zhang, Zhihuan Song
2025 J jnl
Program Feature-Based Benchmarking for Fuzz Testing.
Proc. ACM Softw. Eng.
Miao Miao, Sriteja Kummita, Eric Bodden, Shiyi Wei
2025 — conf
SeedUI: Understanding Initial Seeds in Fuzzing.
ASEW
Sriteja Kummita, Eric Bodden, Miao Miao, Shiyi Wei
2025 A* conf
SymbFuzz: Symbolic Execution Guided Hardware Fuzzing.
MICRO
Samit Shahnawaz Miftah, Amisha Srivastava, Hyunmin Kim, Shiyi Wei, Kanad Basu
2025 J jnl
Teaching AI the 'Why' and 'How' of Software Vulnerability Fixes.
Proc. ACM Softw. Eng.
Amiao Gao, Zenong Zhang, Simin Wang, Liguo Huang, Shiyi Wei, Vincent Ng
2024 J jnl
Automated Testing Linguistic Capabilities of NLP Models.
ACM Trans. Softw. Eng. Methodol.
Jaeseong Lee, Simin Chen, Austin Mordahl, Cong Liu, Wei Yang, Shiyi Wei
2024 — conf
RTL-Spec: RTL Spectrum Analysis for Security Bug Localization.
HOST
Samit Shahnawaz Miftah, Shamik Kundu, Austin Mordahl, Shiyi Wei, Kanad Basu
2024 — conf
Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report).
FUZZING
Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei
2024 A* conf
Visualizing and Understanding the Internals of Fuzzing.
ASE
Sriteja Kummita, Zenong Zhang, Eric Bodden, Shiyi Wei
2023 J jnl
An empirical assessment of machine learning approaches for triaging reports of static analysis tools.
Empir. Softw. Eng.
Sai S. Yerramreddy, Austin Mordahl, Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter
2023 A conf
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization.
ISSTA
Simin Chen, Shiyi Wei, Cong Liu, Wei Yang
2023 J jnl
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization.
CoRR
Simin Chen, Shiyi Wei, Cong Liu, Wei Yang
2023 A* conf
ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis.
ICSE
Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei
2023 A conf
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools.
ISSTA
Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei
2023 J jnl
Fuzzing Configurations of Program Options - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei
2023 J jnl
Fuzzing Configurations of Program Options.
ACM Trans. Softw. Eng. Methodol.
Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei
2022 J jnl
An empirical study of data constraint implementations in Java.
Empir. Softw. Eng.
Juan Manuel Florez, Laura Moreno, Zenong Zhang, Shiyi Wei, Andrian Marcus
2022 — conf
Engineering Drawing Manager: A Smart Data Extractor and Management Software.
ICIRA (4)
Honglong Yang, Yang Du, Jingwei Guo, Shiyi Wei, Hongbin Ma
2022 A* conf
FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing.
USENIX Security Symposium
Zenong Zhang, Zach Patterson, Michael Hicks, Shiyi Wei
2022 A* conf
Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns.
ICSE
Juan Manuel Florez, Jonathan Perry, Shiyi Wei, Andrian Marcus
2022 J jnl
Static data-flow analysis for software product lines in C.
Autom. Softw. Eng.
Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden
2022 A* conf
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C.
ICSE
Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo
2021 J jnl
An Empirical Study of Data Constraint Implementations in Java.
CoRR
Juan Manuel Florez, Laura Moreno, Zenong Zhang, Shiyi Wei, Andrian Marcus
2021 A* conf
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
ASE
Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter
2021 A conf
The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android.
ISSTA
Austin Mordahl, Shiyi Wei
2019 A conf
An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool.
ICST
Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter
2019 — conf
An empirical study of real-world variability bugs detected by variability-oblivious tools.
ESEC/SIGSOFT FSE
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo
2019 — conf
Conditional compilation is dead, long live conditional compilation!
ICSE (NIER)
Paul Gazzillo, Shiyi Wei
2018 A conf
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
ESOP
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
2018 J jnl
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
CoRR
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
2018 A* conf
Evaluating Fuzz Testing.
CCS
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
2018 J jnl
Evaluating Fuzz Testing.
CoRR
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
2018 B conf
Localizing configurations in highly-configurable systems.
SPLC
Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei
2017 A* conf
Decomposition instead of self-composition for proving the absence of timing channels.
PLDI
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
2016 J jnl
Empirical study of the dynamic behavior of JavaScript objects.
Softw. Pract. Exp.
Shiyi Wei, Franceska Xhakaj, Barbara G. Ryder
2016 — conf
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision.
SIGSOFT FSE
Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby
2015 A conf
Adaptive Context-sensitive Analysis for JavaScript.
ECOOP
Shiyi Wei, Barbara G. Ryder
2015 — —
Practical Analysis of the Dynamic Characteristics of JavaScript.
Shiyi Wei
2014 A conf
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.
ECOOP
Shiyi Wei, Barbara G. Ryder
2014 — conf
Taming the dynamic behavior of JavaScript.
SPLASH (Companion Volume)
Shiyi Wei, Barbara G. Ryder
2013 A conf
Practical blended taint analysis for JavaScript.
ISSTA
Shiyi Wei, Barbara G. Ryder
2012 — conf
Blended analysis for JavaScript: a practical framework to analyze dynamic features.
SPLASH
Shiyi Wei