Peizun Liu

According to our database, Peizun Liu authored at least 12 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.

Peizun Liu, Thomas Wahl, Thomas W. Reps

ACM Trans. Program. Lang. Syst., 2021

2019

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

Peizun Liu, Thomas Wahl, Akash Lal

CoRR, 2019

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers.

Peizun Liu, Thomas Wahl, Akash Lal

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

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

Peizun Liu, Thomas Wahl

CoRR, 2018

CUBA: interprocedural Context-UnBounded Analysis of concurrent programs.

Peizun Liu, Thomas Wahl

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

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

Peizun Liu, Thomas Wahl

CoRR, 2017

IJIT: An API for Boolean Program Analysis with Just-in-Time Translation.

Peizun Liu, Thomas Wahl

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

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

Peizun Liu, Thomas Wahl

CoRR, 2016

Concolic Unbounded-Thread Reachability via Loop Summaries.

Peizun Liu, Thomas Wahl

Proceedings of the Formal Methods and Software Engineering, 2016

Unbounded-Thread Program Verification using Thread-State Equations.

Konstantinos Athanasiou, Peizun Liu, Thomas Wahl

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report).

Peizun Liu, Thomas Wahl

CoRR, 2015

2014

Infinite-state backward exploration of Boolean broadcast programs.

Peizun Liu, Thomas Wahl

Proceedings of the Formal Methods in Computer-Aided Design, 2014