activity
20152019
most citedVerifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)

2 citations · 5 across the 5 of their papers we have counts for

collaborators
Showing cs.SEShow all

2 papers · 1 filter

cs.SE2017★ 1 cited

IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report)

Peizun Liu, Thomas Wahl

Exploration algorithms for explicit-state transition systems are a core back-end technology in program verification. They can be applied to programs by generating the transition sy…

cs.SE2016★ 1 cited

Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report)

Peizun Liu, Thomas Wahl

We present a method for accelerating explicit-state backward search algorithms for systems of arbitrarily many finite-state threads. Our method statically analyzes the program exec…