Shiyi Wei

According to our database, Shiyi Wei authored at least 31 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

RTL-Spec: RTL Spectrum Analysis for Security Bug Localization.

Samit Shahnawaz Miftah, Shamik Kundu, Austin Mordahl, Shiyi Wei, Kanad Basu

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2024

Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report).

Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei

Proceedings of the 3rd ACM International Fuzzing Workshop, 2024

2023

Fuzzing Configurations of Program Options - RCR Report.

Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei

ACM Trans. Softw. Eng. Methodol., April, 2023

Fuzzing Configurations of Program Options.

Zenong Zhang, George Klees, Eric Wang, Michael Hicks, Shiyi Wei

ACM Trans. Softw. Eng. Methodol., April, 2023

An empirical assessment of machine learning approaches for triaging reports of static analysis tools.

Sai S. Yerramreddy, Austin Mordahl, Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter

Empir. Softw. Eng., March, 2023

ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools.

Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization.

Simin Chen, Shiyi Wei, Cong Liu, Wei Yang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis.

Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

An empirical study of data constraint implementations in Java.

Juan Manuel Florez, Laura Moreno, Zenong Zhang, Shiyi Wei, Andrian Marcus

Empir. Softw. Eng., 2022

Static data-flow analysis for software product lines in C.

Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden

Autom. Softw. Eng., 2022

FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing.

Zenong Zhang, Zach Patterson, Michael Hicks, Shiyi Wei

Proceedings of the 31st USENIX Security Symposium, 2022

SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C.

Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, Paul Gazzillo

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns.

Juan Manuel Florez, Jonathan Perry, Shiyi Wei, Andrian Marcus

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Engineering Drawing Manager: A Smart Data Extractor and Management Software.

Honglong Yang, Yang Du, Jingwei Guo, Shiyi Wei, Hongbin Ma

Proceedings of the Intelligent Robotics and Applications - 15th International Conference, 2022

2021

SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.

Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android.

Austin Mordahl, Shiyi Wei

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2019

An empirical study of real-world variability bugs detected by variability-oblivious tools.

Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

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

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Conditional compilation is dead, long live conditional compilation!

Paul Gazzillo, Shiyi Wei

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018

Localizing configurations in highly-configurable systems.

Paul Gazzillo, Ugur Koc, ThanhVu Nguyen, Shiyi Wei

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Evaluating Design Tradeoffs in Numeric Static Analysis for Java.

Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, Michael Hicks

Proceedings of the Programming Languages and Systems, 2018

Evaluating Fuzz Testing.

George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, Michael Hicks

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Decomposition instead of self-composition for proving the absence of timing channels.

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Empirical study of the dynamic behavior of JavaScript objects.

Shiyi Wei, Franceska Xhakaj, Barbara G. Ryder

Softw. Pract. Exp., 2016

Revamping JavaScript static analysis via localization and remediation of root causes of imprecision.

Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Practical Analysis of the Dynamic Characteristics of JavaScript.

Shiyi Wei

PhD thesis, 2015

Adaptive Context-sensitive Analysis for JavaScript.

Shiyi Wei, Barbara G. Ryder

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Taming the dynamic behavior of JavaScript.

Shiyi Wei, Barbara G. Ryder

Proceedings of the SPLASH'14, 2014

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.

Shiyi Wei, Barbara G. Ryder

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Practical blended taint analysis for JavaScript.

Shiyi Wei, Barbara G. Ryder

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

Blended analysis for JavaScript: a practical framework to analyze dynamic features.

Shiyi Wei

Proceedings of the SPLASH'12, 2012