Yuandong Cyrus Liu

According to our database, Yuandong Cyrus Liu authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

2023

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing.

Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen

CoRR, 2023

2021

Source-Level Bitwise Branching for Temporal Verification.

Yuandong Cyrus Liu, Ton-Chanh Le, Eric Koskinen

CoRR, 2021

Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries.

Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu

CoRR, 2021

Proving LTL Properties of Bitvector Programs and Decompiled Binaries.

Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021