Finding the Median (Obliviously) with Bounded Space. - Paul Beame; Vincent Liew; Mihai Patrascu (ICALP (1), 2015)

New Limits for Knowledge Compilation and Applications to Exact Model Counting. - Paul Beame; Vincent Liew (UAI, 2015)

Towards Verifying Nonlinear Integer Arithmetic. - Paul Beame; Vincent Liew (CAV (2), 2017)

Toward Verifying Nonlinear Integer Arithmetic. - Paul Beame; Vincent Liew (J. ACM, 2019)

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. - Vincent Liew; Paul Beame; Jo Devriendt; Jan Elffers; Jakob Nordström (FMCAD, 2020)

A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic. - Vincent Liew (2020)

Demo Abstract: Online Training and Inference for On-Device Monocular Depth Estimation. - Allen-Jasmin Farcas; Geffen Cooper; Hyun Joon Song; Afnan Mir; Vincent Liew; Chloe Tang; Prithvi Senthilkumar; Tiani Chen-Troester; Radu Marculescu (IoTDI, 2024)