Peizun Liu | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Akash Lal
8 publications
Thomas Wahl
4 publications

research

∙ 05/24/2019

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)

We address the problem of analyzing asynchronous event-driven programs, ...

0 Peizun Liu, et al. ∙

research

∙ 04/13/2018

CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript)

A classical result by Ramalingam about synchronization-sensitive interpr...

0 Peizun Liu, et al. ∙