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. My work is currently supported by NSF (1, 2) and AWS cloud credits for research program.

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:

• Static/dynamic analysis of configurable systems, web/mobile applications, and its clients.

• 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.
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.
Winner of the 7th annual NSA Best Scientific Cybersecurity Paper competition.

• 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

• Austin Mordahl (Ph.D. student, since May 2018, winner of ICSE 2019 ACM student research competition)

• Maliha Sarwat (Ph.D. student, since August 2018)

• Zenong Zhang (Ph.D. student, since Janurary 2019)

• Zach Patterson (Ph.D. student, since September 2019)

Program Committee Services

• FSE 2020

• FSE 2019

• FSE 2018

• FSE 2018 Demonstrations

• SPLC 2018 Challenge

• SecDev 2018 Poster

• PLDI 2016 AEC

• ECOOP 2015 Doctoral Symposium

• OOPSLA 2015 AEC

Last updated: Sept 25, 2019