Shengjian (Daniel) Guo

Registered user since Wed 2 May 2018

Name: Shengjian (Daniel) Guo

Affiliation: Virginia Tech

Personal website: https://sites.google.com/a/vt.edu/sjguo/

Research interests: Symbolic execution, Concurrent program testing and verification

Contributions

ESEC/FSE 2018Author of Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks within the Research Papers-track
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile