Meng Wu -

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

Personal website: https://sites.google.com/site/mengwubio/

Research interests:Program Analysis, Program Synthesis, Program Security

Contributions

2019

PLDI

Author of Abstract Interpretation under Speculative Execution within the PLDI Research Papers-track

2018

ESEC/FSE

Author of Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks within the Research Papers-track

ISSTA

Author of Eliminating Timing Side-Channel Leaks using Program Repair within the ISSTA Artifacts-track
Author of Eliminating Timing Side-channel Leaks Using Program Repair within the ISSTA Technical Papers-track