Shiyi Wei

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 28

Top Topics

Static Analysis

Machine Learning Approaches

Bug Localization

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Samit Shahnawaz Miftah, Shamik Kundu, Austin Mordahl, Shiyi Wei, Kanad Basu
RTL-Spec: RTL Spectrum Analysis for Security Bug Localization. HOST (2024)
Simin Chen, Shiyi Wei, Cong Liu, Wei Yang
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. CoRR (2023)
Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei
Fuzzing Configurations of Program Options. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Simin Chen, Shiyi Wei, Cong Liu, Wei Yang
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. ISSTA (2023)
Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei
Fuzzing Configurations of Program Options - RCR Report. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Sai S. Yerramreddy, Austin Mordahl, Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter
An empirical assessment of machine learning approaches for triaging reports of static analysis tools. Empir. Softw. Eng. 28 (2) (2023)
Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. ISSTA (2023)
Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei
ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. ICSE (2023)
Juan Manuel Florez, Jonathan Perry, Shiyi Wei, Andrian Marcus
Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns. ICSE (2022)
Zenong Zhang, Zach Patterson, Michael Hicks, Shiyi Wei
FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing. USENIX Security Symposium (2022)
Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden
Static data-flow analysis for software product lines in C. Autom. Softw. Eng. 29 (1) (2022)
Juan Manuel Florez, Laura Moreno, Zenong Zhang, Shiyi Wei, Andrian Marcus
An empirical study of data constraint implementations in Java. Empir. Softw. Eng. 27 (5) (2022)
Honglong Yang, Yang Du, Jingwei Guo, Shiyi Wei, Hongbin Ma
Engineering Drawing Manager: A Smart Data Extractor and Management Software. ICIRA (4) (2022)
Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C. ICSE (2022)
Austin Mordahl, Shiyi Wei
The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android. ISSTA (2021)
Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools. ASE (2021)
Juan Manuel Florez, Laura Moreno, Zenong Zhang, Shiyi Wei, Andrian Marcus
An Empirical Study of Data Constraint Implementations in Java. CoRR (2021)
Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter
An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool. ICST (2019)
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo
An empirical study of real-world variability bugs detected by variability-oblivious tools. ESEC/SIGSOFT FSE (2019)
Paul Gazzillo, Shiyi Wei
Conditional compilation is dead, long live conditional compilation! ICSE (NIER) (2019)
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
Evaluating Fuzz Testing. CoRR (2018)
Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei
Localizing configurations in highly-configurable systems. SPLC (2018)
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
Evaluating Design Tradeoffs in Numeric Static Analysis for Java. ESOP (2018)
George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks
Evaluating Fuzz Testing. CCS (2018)
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks
Evaluating Design Tradeoffs in Numeric Static Analysis for Java. CoRR (2018)
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei
Decomposition instead of self-composition for proving the absence of timing channels. PLDI (2017)
Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision. SIGSOFT FSE (2016)
Shiyi Wei, Franceska Xhakaj, Barbara G. Ryder
Empirical study of the dynamic behavior of JavaScript objects. Softw. Pract. Exp. 46 (7) (2016)
Shiyi Wei, Barbara G. Ryder
Adaptive Context-sensitive Analysis for JavaScript. ECOOP (2015)
Shiyi Wei, Barbara G. Ryder
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. ECOOP (2014)
Shiyi Wei, Barbara G. Ryder
Taming the dynamic behavior of JavaScript. SPLASH (Companion Volume) (2014)
Shiyi Wei, Barbara G. Ryder
Practical blended taint analysis for JavaScript. ISSTA (2013)
Shiyi Wei
Blended analysis for JavaScript: a practical framework to analyze dynamic features. SPLASH (2012)