Yuandong Cyrus Liu

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Temporal Patterns

Verification Method

Top Venues

Publications

Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos, Eric Koskinen, ThanhVu Nguyen
DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing. CoRR (2023)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
Proving LTL Properties of Bitvector Programs and Decompiled Binaries. APLAS (2021)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries. CoRR (2021)
Yuandong Cyrus Liu, Ton-Chanh Le, Eric Koskinen
Source-Level Bitwise Branching for Temporal Verification. CoRR (2021)