Peizun Liu

Identifiers

• name variant Peizun Liu 0.60 · backfill

Papers (5)

1. Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript) cs.PL · 2019 · author #1
2. CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript) cs.PL · 2018 · author #1
3. IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report) cs.SE · 2017 · author #1
4. Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report) cs.SE · 2016 · author #1
5. Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report) cs.LO · 2015 · author #1

Mentions

• 1505.02637 #1 · backfill · confidence 0.70 Peizun Liu

Frequent Coauthors

• Thomas Wahl 5 shared papers
• Akash Lal 1 shared papers