Peizun Liu

12 papers A* 1A 1B 2C 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.
ACM Trans. Program. Lang. Syst.
Peizun Liu, Thomas Wahl, Thomas W. Reps
2019 J jnl
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript).
CoRR
Peizun Liu, Thomas Wahl, Akash Lal
2019 — conf
Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers.
CAV (2)
Peizun Liu, Thomas Wahl, Akash Lal
2018 J jnl
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript).
CoRR
Peizun Liu, Thomas Wahl
2018 A* conf
CUBA: interprocedural Context-UnBounded Analysis of concurrent programs.
PLDI
Peizun Liu, Thomas Wahl
2017 J jnl
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report).
CoRR
Peizun Liu, Thomas Wahl
2017 B conf
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation.
SEFM
Peizun Liu, Thomas Wahl
2016 J jnl
Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report).
CoRR
Peizun Liu, Thomas Wahl
2016 C conf
Concolic Unbounded-Thread Reachability via Loop Summaries.
ICFEM
Peizun Liu, Thomas Wahl
2016 A conf
Unbounded-Thread Program Verification using Thread-State Equations.
IJCAR
Konstantinos Athanasiou, Peizun Liu, Thomas Wahl
2015 J jnl
Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report).
CoRR
Peizun Liu, Thomas Wahl
2014 B conf
Infinite-state backward exploration of Boolean broadcast programs.
FMCAD
Peizun Liu, Thomas Wahl