Short Biography
I am an assistant professor in the Computer Science Department at The University of Texas at Dallas. I received my Ph.D. degree in Computer Science from Virginia Tech and B.E. degree in Software Engineering from Shanghai Jiao Tong University. I spent two years as a post-doctoral associate affiliated with the PLUM lab in the Computer Science Department at the University of Maryland, College Park. My research interests span the areas of Programming Languages, Software Engineering and Security. The goal of my research is to make program analysis practical for improving the security and reliability of real-world software.
Multiple RA positions available: I am looking for students who have strong insterets in compiler, program anlaysis, and the applications in security and machine learning. Feel free to send me an email if you are insterested. Current projects in my group:
-
Machine learning-based static analysis.
-
Evaluation and benchmarking of static analysis and fuzz testing.
Selected Publications
-
An Empirical Study of Real-World Variability Bugs Detected by Variability-Oblivious Tools.
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei and Paul Gazzillo.
To appear in ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 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, and Adam Porter.
IEEE International Conference on Software Testing, Verification and Validation (ICST), 2019.
-
Conditional Compilation is Dead, Long Live Conditional Compilation!
Paul Gazzillo, and Shiyi Wei.
ACM/IEEE International Conference on Software Engineering (ICSE), New Ideas and Emerging Results Track, 2019.
-
Evaluating Fuzz Testing.
George T. Klees, Andrew Ruef, Benjamin Cooper, Shiyi Wei, and Michael Hicks.
ACM Conference on Computer and Communications Security (CCS), 2018.
-
Evaluating Design Tradeoffs in Numeric Static Analysis for Java.
Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, and Michael Hicks.
European Symposium on Programming (ESOP), 2018.
-
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels.
Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei.
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2017.
-
Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision.
Shiyi Wei, Omer Tripp, Barbara G. Ryder and Julian Dolby.
ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2016.
-
Empirical Study of the Dynamic Behavior of JavaScript Objects.
Shiyi Wei, Franceska Xhakaj, and Barbara G. Ryder.
Software: Practice and Experience, 2016.
-
Adaptive Context-sensitive Analysis for JavaScript.
Shiyi Wei, and Barbara G. Ryder.
European Conference on Object-Oriented Programming (ECOOP), 2015.
-
State-sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.
Shiyi Wei, and Barbara G. Ryder.
European Conference on Object-Oriented Programming (ECOOP), 2014.
-
Practical Blended Taint Analysis for JavaScript.
Shiyi Wei, and Barbara G. Ryder.
International Symposium on Software Testing and Analysis (ISSTA), 2013.
Teaching
-
CS/SE 6301: Program Analysis and its Applications (Spring 2018, Spring 2019).
-
CE/CS/SE 3354: Software Engineering (Fall 2017, Fall 2018, Fall 2019).
Students
-
Maliha Sarwat (Ph.D. student, since August 2018)
-
Zenong Zhang (Ph.D. student, since Janurary 2019)
Program Committee Services
Last updated: Aug 25, 2019
