Registered user since Tue 1 May 2018

Name:Meng Wu
Bio:

I am a 4th year Ph.D. student at CESCA, Virginia Tech, advised by Prof. Chao Wang since 2014 Fall. I am currently being an visiting student at University of Southern California Computer Science Department, also advised by Prof. Chao Wang. My research is to utilize program analysis techniques to automatically improve program safety or security.

Country:China
Affiliation:Virginia Tech
Research interests:Program Analysis, Program Synthesis, Program Security

Contributions

PLDI 2019 Abstract Interpretation under Speculative Execution
Show activities from other conferences

PLDI 2019-profile
View general profile