BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
Collaborated with:
C.Wang M.Wu C.W.0001 M.Kusano Z.Yang A.Gupta Q.Yi J.Liu C.Zhao
Talks about:
symbol (5) execut (5) concurr (2) multithread (1) postcondit (1) increment (1) adversari (1) programm (1) softwar (1) program (1)

Person: Shengjian Guo

DBLP DBLP: Guo:Shengjian

Contributed to:

ESEC/FSE 20152015
ICST 20152015
ASE 20162016
ESEC/FSE 20172017
ESEC/FSE 20182018

Wrote 5 papers:

ESEC-FSE-2015-GuoKWYG #execution #parallel #source code #symbolic computation #thread
Assertion guided symbolic execution of multithreaded programs (SG, MK, CW, ZY, AG), pp. 854–865.
ICST-2015-YiYGWLZ #execution #symbolic computation
Postconditioned Symbolic Execution (QY, ZY, SG, CW, JL, CZ), pp. 1–10.
ASE-2016-GuoKW #concurrent #execution #incremental #named #symbolic computation
Conc-iSE: incremental symbolic execution of concurrent software (SG, MK, CW), pp. 531–542.
ESEC-FSE-2017-GuoWW #execution #logic #programmable #symbolic computation
Symbolic execution of programmable logic controller code (SG, MW, CW0), pp. 326–336.
ESEC-FSE-2018-GuoWW #detection #execution #symbolic computation
Adversarial symbolic execution for detecting concurrency-related cache timing leaks (SG, MW, CW0), pp. 377–388.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.