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.
I received NSF CAREER Award in 2021 and my work has been supported by NSF (1, 2, 3, 4) 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, and web/mobile applications.
-
Machine learning-based static analysis.
-
Evaluation and benchmarking of static analysis and fuzz testing.
Selected Recent Publications
-
FIXREVERTER: A Realistic Bug Injection Methodology for Benchmarking Fuzz Testing.
Zenong Zhang, Zach Patterson, Michael Hicks, and Shiyi Wei.
USENIX Security Symposium, 2022.
-
SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C.
Zach Patterson, Zenong Zhang, Brent Pappas, Shiyi Wei, and Paul Gazzillo.
ACM/IEEE International Conference on Software Engineering (ICSE), 2022.
-
Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns.
Juan Manuel Florez, Jonathan Perry, Shiyi Wei, and Andrian Marcus.
ACM/IEEE International Conference on Software Engineering (ICSE), 2022.
-
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, and Adam Porter.
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021.
-
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android.
Austin Mordahl, and Shiyi Wei.
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021.
-
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.
-
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.
-
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.
Teaching
-
CS 6353: Compiler Construction (Spring 2021, Spring 2022)
-
CS 4386: Compiler Design (Fall 2020, Fall 2021)
-
CS/SE 7301: Program Analysis and its Applications (Spring 2020)
-
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
Current Students
-
Zenong Zhang (Ph.D. student, since Janurary 2019)
-
Zach Patterson (Ph.D. student, since September 2019)
-
Dakota Soles (Undergraduate student, since June 2020)
Alumni
-
Maliha Sarwat (M.S. student, August 2018-December 2020)
Recent Program Committee Services
Last updated: March 13, 2022