Peizun Liu

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 10

Top Topics

Finer Granularity

Boolean Functions

Technical Report

Top Venues

Publications

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