Shiyi Wei
Shiyi Wei
Assistant Professor of Computer Science, University of Texas at Dallas
Verified email at - Homepage
Cited by
Cited by
Evaluating fuzz testing
G Klees, A Ruef, B Cooper, S Wei, M Hicks
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
Practical blended taint analysis for JavaScript
S Wei, BG Ryder
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
Decomposition instead of self-composition for proving the absence of timing channels
T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
ACM SIGPLAN Notices 52 (6), 362-375, 2017
Adaptive context-sensitive analysis for JavaScript
S Wei, BG Ryder
29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015
State-sensitive points-to analysis for the dynamic behavior of JavaScript objects
S Wei, BG Ryder
European Conference on Object-Oriented Programming, 1-26, 2014
Evaluating design tradeoffs in numeric static analysis for Java
S Wei, P Mardziel, A Ruef, JS Foster, M Hicks
European Symposium on Programming, 653-682, 2018
An empirical assessment of machine learning approaches for triaging reports of a java static analysis tool
U Koc, S Wei, JS Foster, M Carpuat, AA Porter
2019 12th ieee conference on software testing, validation and verification …, 2019
Revamping JavaScript static analysis via localization and remediation of root causes of imprecision
S Wei, O Tripp, BG Ryder, J Dolby
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
Empirical study of the dynamic behavior of JavaScript objects
S Wei, F Xhakaj, BG Ryder
Software: Practice and Experience 46 (7), 867-889, 2016
An empirical study of real-world variability bugs detected by variability-oblivious tools
A Mordahl, J Oh, U Koc, S Wei, P Gazzillo
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
A practical blended analysis for dynamic features in javascript
S Wei, BG Ryder
Computer Science Technical Reports, 2012
Decomposition instead of self-composition for k-safety
T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
Localizing configurations in highly-configurable systems
P Gazzillo, U Koc, TV Nguyen, S Wei
Proceedings of the 22nd International Systems and Software Product Line …, 2018
Practical Analysis of the Dynamic Characteristics of JavaScript
S Wei
Virginia Tech, 2015
Taming the dynamic behavior of JavaScript
S Wei, BG Ryder
Proceedings of the companion publication of the 2014 ACM SIGPLAN conference …, 2014
Blended analysis for JavaScript: A practical framework to analyze dynamic features
S Wei
Proceedings of the 3rd annual conference on Systems, programming, and …, 2012
Blended Analysis for JavaScript
S Wei
SPLASH 12, 19-26, 0
An empirical study of data constraint implementations in Java
JM Florez, L Moreno, Z Zhang, S Wei, A Marcus
Empirical Software Engineering 27 (5), 1-46, 2022
{FIXREVERTER}: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing
Z Zhang, Z Patterson, M Hicks, S Wei
31st USENIX Security Symposium (USENIX Security 22), 3699-3715, 2022
Conditional compilation is dead, long live conditional compilation!
P Gazzillo, S Wei
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20