Shiyi Wei's Publications

Authors marked with * are current students I mentor.

Journal Articles

  1. An Empirical Study of Data Constraint Implementations in Java.
  2. Juan Manuel Florez, Laura Moreno, Zenong Zhang*, Shiyi Wei and Andrian Marcus.
    Empirical Software Engineering, 2022.

  3. Static Data-flow Analysis for Software Product Lines in C.
  4. Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson*, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden.
    Automated Software Engineering, 2022.

  5. Empirical Study of the Dynamic Behavior of JavaScript Objects.
  6. Shiyi Wei, Franceska Xhakaj, and Barbara G. Ryder.
    Software: Practice and Experience, 2016.

Conference/Workshop Papers

  1. FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing.
  2. Zenong Zhang*, Zach Patterson*, Michael Hicks, and Shiyi Wei.
    USENIX Security Symposium, 2022.
    Distinguished Paper Award

  3. Fuzzing Configurations of Program Options.
  4. Zenong Zhang*, George Klees, Eric Wang, Michael Hicks, and Shiyi Wei.
    Fuzzing Workshop (FUZZING), 2022.

  5. SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C.
  6. Zach Patterson*, Zenong Zhang*, Brent Pappas, Shiyi Wei, and Paul Gazzillo.
    ACM/IEEE International Conference on Software Engineering (ICSE), 2022.

  7. Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns.
  8. Juan Manuel Florez, Jonathan Perry, Shiyi Wei, and Andrian Marcus.
    ACM/IEEE International Conference on Software Engineering (ICSE), 2022.

  9. SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
  10. Ugur Koc, Austin Mordahl*, Shiyi Wei, Jeffrey S. Foster, and Adam Porter.
    IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021.

  11. The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android.
  12. Austin Mordahl*, and Shiyi Wei.
    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021.

  13. An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools.
  14. Austin Mordahl*, Jeho Oh, Ugur Koc, Shiyi Wei and Paul Gazzillo.
    ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2019.

  15. An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis Tool.
  16. Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, and Adam Porter.
    IEEE International Conference on Software Testing, Verification and Validation (ICST), 2019.

  17. Conditional Compilation is Dead, Long Live Conditional Compilation!
  18. Paul Gazzillo, and Shiyi Wei.
    ACM/IEEE International Conference on Software Engineering (ICSE), New Ideas and Emerging Results Track, 2019.

  19. Evaluating Fuzz Testing.
  20. George T. Klees, Andrew Ruef, Benjamin Cooper, Shiyi Wei, and Michael Hicks.
    ACM Conference on Computer and Communications Security (CCS), 2018.
    Winner of the 7th annual NSA Best Scientific Cybersecurity Paper competition.

  21. Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
  22. Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, and Michael Hicks.
    European Symposium on Programming (ESOP), 2018.

  23. Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels.
  24. Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei.
    ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2017.

  25. Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision.
  26. Shiyi Wei, Omer Tripp, Barbara G. Ryder and Julian Dolby.
    ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2016.

  27. Adaptive Context-sensitive Analysis for JavaScript.
  28. Shiyi Wei, and Barbara G. Ryder.
    European Conference on Object-Oriented Programming (ECOOP), 2015.

  29. State-sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.
  30. Shiyi Wei, and Barbara G. Ryder.
    European Conference on Object-Oriented Programming (ECOOP), 2014.

  31. Practical Blended Taint Analysis for JavaScript.
  32. Shiyi Wei, and Barbara G. Ryder.
    International Symposium on Software Testing and Analysis (ISSTA), 2013.