Shengjian (Daniel) Guo

Registered user since Wed 2 May 2018

Name: Shengjian (Daniel) Guo

Affiliation: Virginia Tech

Personal website:

Research interests: Symbolic execution, Concurrent program testing and verification


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