Skip to content

Previous Profile: Vogel, Don G.

Next Profile: Willson, James

Wei , Shiyi

Shiyi Wei

Assistant Professor

Degrees:

  • PhD., Computer Science, Virginia Tech, 2015
  • B.E., Software Engineering, Shanghai Jiao Tong University, 2009

Research Interests:

  • Program Analysis
  • Software Engineering
  • Programming Languages
  • Software Security

Representative Publications:

  • Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, and Shiyi Wei. Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels. In The 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017).
  • Shiyi Wei, Omer Tripp, Barbara G. Ryder, and Julian Dolby. Revamping JavaScript Static Analysis via Localization and Remediation of Root Causes of Imprecision. In The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016).
  • Shiyi Wei and Barbara G. Ryder. Adaptive Context-sensitive Analysis for JavaScript. In The 29th European Conference on Object-Oriented Programming (ECOOP 2015).
  • Shiyi Wei and Barbara G. Ryder. State-sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. In The 28th European Conference on Object-Oriented Programming (ECOOP 2014).
  • Shiyi Wei and Barbara G. Ryder. Practical Blended Taint Analysis for JavaScript. In The 2013 International Symposium on Software Testing and Analysis (ISSTA 2013).

Previous Profile: Vogel, Don G.

Next Profile: Willson, James