Follow
Shiyi Wei
Shiyi Wei
Assistant Professor of Computer Science, University of Texas at Dallas
Verified email at utdallas.edu - Homepage
Title
Cited by
Cited by
Year
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
3432018
Practical blended taint analysis for JavaScript
S Wei, BG Ryder
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
942013
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
812017
Adaptive context-sensitive analysis for JavaScript
S Wei, BG Ryder
29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015
322015
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
282014
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
162019
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
162018
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
152016
Empirical study of the dynamic behavior of JavaScript objects
S Wei, F Xhakaj, BG Ryder
Software: Practice and Experience 46 (7), 867-889, 2016
132016
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
102019
A practical blended analysis for dynamic features in javascript
S Wei, BG Ryder
Computer Science Technical Reports, 2012
92012
Decomposition instead of self-composition for k-safety
T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
82017
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
62018
Practical Analysis of the Dynamic Characteristics of JavaScript
S Wei
Virginia Tech, 2015
42015
Taming the dynamic behavior of JavaScript
S Wei, BG Ryder
Proceedings of the companion publication of the 2014 ACM SIGPLAN conference …, 2014
32014
Blended analysis for JavaScript: A practical framework to analyze dynamic features
S Wei
Proceedings of the 3rd annual conference on Systems, programming, and …, 2012
22012
Blended Analysis for JavaScript
S Wei
SPLASH 12, 19-26, 0
2
An Empirical Study of Data Constraint Implementations in Java
JM Florez, L Moreno, Z Zhang, S Wei, A Marcus
arXiv preprint arXiv:2107.04720, 2021
12021
Evaluating design tradeoffs in numeric static analysis for java (extended version)
S Wei, P Mardziel, A Ruef, JS Foster, M Hicks
Technical report, 2018
12018
Static data-flow analysis for software product lines in C
PD Schubert, P Gazzillo, Z Patterson, J Braha, F Schiebel, B Hermann, ...
Automated Software Engineering 29 (1), 1-37, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20