Shiyi Wei

Orcid: 0000-0002-2826-1857

According to our database1, Shiyi Wei authored at least 28 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Fuzzing Configurations of Program Options - RCR Report.
ACM Trans. Softw. Eng. Methodol., April, 2023

Fuzzing Configurations of Program Options.
ACM Trans. Softw. Eng. Methodol., April, 2023

An empirical assessment of machine learning approaches for triaging reports of static analysis tools.
Empir. Softw. Eng., March, 2023

ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools.
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.
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.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
An empirical study of data constraint implementations in Java.
Empir. Softw. Eng., 2022

Static data-flow analysis for software product lines in C.
Autom. Softw. Eng., 2022

FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing.
Proceedings of the 31st USENIX Security Symposium, 2022

SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Engineering Drawing Manager: A Smart Data Extractor and Management Software.
Proceedings of the Intelligent Robotics and Applications - 15th International Conference, 2022

2021
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
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.
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.
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.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Conditional compilation is dead, long live conditional compilation!
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

2018
Localizing configurations in highly-configurable systems.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
Proceedings of the Programming Languages and Systems, 2018

Evaluating Fuzz Testing.
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.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016
Empirical study of the dynamic behavior of JavaScript objects.
Softw. Pract. Exp., 2016

Revamping JavaScript static analysis via localization and remediation of root causes of imprecision.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015
Adaptive Context-sensitive Analysis for JavaScript.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Taming the dynamic behavior of JavaScript.
Proceedings of the SPLASH'14, 2014

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Practical blended taint analysis for JavaScript.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012
Blended analysis for JavaScript: a practical framework to analyze dynamic features.
Proceedings of the SPLASH'12, 2012


  Loading...