BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
T.Wahl K.Athanasiou A.Lal
Talks about:
program (3) thread (2) use (2) interprocedur (1) transform (1) asynchron (1) abstract (1) unbound (1) partial (1) context (1)

Person: Peizun Liu

DBLP DBLP: Liu:Peizun

Contributed to:

IJCAR 20162016
CAV (2) 20192019
PLDI 20182018

Wrote 3 papers:

IJCAR-2016-AthanasiouLW #bound #equation #thread #using #verification
Unbounded-Thread Program Verification using Thread-State Equations (KA, PL, TW), pp. 516–531.
CAV-2019-LiuWL #source code #using #verification
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (PL, TW, AL), pp. 386–404.
PLDI-2018-LiuW #analysis #bound #concurrent #interprocedural #named #source code
CUBA: interprocedural Context-UnBounded Analysis of concurrent programs (PL, TW), pp. 105–119.

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.