[1] Peizun Liu, Thomas Wahl and Akash Lal, “Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers”. In CAV, pp.386-404, 2019.[PDF]

[2] Peizun Liu and Thomas Wahl, “CUBA: Interprocedural Context-Unbounded Analysis of Concurrent Programs”. In PLDI, pp.105-119, 2018.[PDF|Poster]