Short Biography

I am a post-doctoral associate in the Computer Science Department and UMIACS at the University of Maryland, College Park. I am a member of Programming Languages group at Maryland (PLUM), working with Dr. Michael Hicks. I received my Ph.D. degree in Computer Science from Virginia Tech in September 2015 and B.E. degree in Software Engineering from Shanghai Jiao Tong University in 2009.

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.

Publications

Drafts

• Shiyi Wei, Piotr Mardziel, Andrew Ruef, Michael Hicks, and Jeffrey S. Foster. Evaluating Design Tradeoffs in Numeric Static Analysis for Java, In Submission, 2016.

Journals

• Shiyi Wei, Franceska Xhakaj, and Barbara G. Ryder. Empirical Study of the Dynamic Behavior of JavaScript Objects, Software: Practice and Experience, 2016.

Conferences (research tracks)

• Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei. Decomposition Instead of Self-Composition for k-Safety, To appear in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2017. (Acceptance rate: 47/322, 14.6%) New!

• Shiyi Wei, Omer Tripp, Barbara G. Ryder and Julian Dolby. Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision, ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2016. (Acceptance rate: 74/273, 27.1%)


• Shiyi Wei, and Barbara G. Ryder. Adaptive Context-sensitive Analysis for JavaScript, European Conference on Object-Oriented Programming (ECOOP), 2015. (Acceptance rate: 31/136, 22.8%)


• Shiyi Wei, and Barbara G. Ryder. State-sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects, European Conference on Object-Oriented Programming (ECOOP), 2014. (Acceptance rate: 27/101, 26.7%)


• Shiyi Wei, and Barbara G. Ryder. Practical Blended Taint Analysis for JavaScript, International Symposium on Software Testing and Analysis (ISSTA), 2013. (Acceptance rate: 32/124, 25.8%)

Other publications

• Shiyi Wei. Practical Analysis of the Dynamic Characteristics of JavaScript, Ph.D. Thesis, 2015.

• Shiyi Wei, and Barbara G. Ryder. Taming the Dynamic Behavior of JavaScript, poster, annual conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), 2014.

• Shiyi Wei. Practical Analysis of the Dynamic Characteristics of JavaScript Applications, doctoral symposium, European Conference on Object-Oriented Programming (ECOOP), 2014.

• Shiyi Wei. Blended Analysis for JavaScript: a Practical Framework to Analyze Dynamic Features, SRC/poster, annual conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), 2012.

Service

• PLDI 2016 AEC

• ECOOP 2015 Doctoral Symposium

• OOPSLA 2015 AEC

Last updated: December 13th, 2016 by Shiyi