Vincent Liew

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 9

Top Topics

Multistage Stochastic

Integer Arithmetic

Depth Estimation

Top Venues

Publications

Allen-Jasmin Farcas, Geffen Cooper, Hyun Joon Song, Afnan Mir, Vincent Liew, Chloe Tang, Prithvi Senthilkumar, Tiani Chen-Troester, Radu Marculescu
Demo Abstract: Online Training and Inference for On-Device Monocular Depth Estimation. IoTDI (2024)
Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. FMCAD (2020)
Paul Beame, Vincent Liew
Toward Verifying Nonlinear Integer Arithmetic. J. ACM 66 (3) (2019)
Paul Beame, Vincent Liew
Towards Verifying Nonlinear Integer Arithmetic. CoRR (2017)
Paul Beame, Vincent Liew
Towards Verifying Nonlinear Integer Arithmetic. CAV (2) (2017)
Paul Beame, Vincent Liew, Mihai Patrascu
Finding the Median (Obliviously) with Bounded Space. CoRR (2015)
Paul Beame, Vincent Liew, Mihai Patrascu
Finding the Median (Obliviously) with Bounded Space. ICALP (1) (2015)
Paul Beame, Vincent Liew
New Limits for Knowledge Compilation and Applications to Exact Model Counting. UAI (2015)
Paul Beame, Vincent Liew
New Limits for Knowledge Compilation and Applications to Exact Model Counting. CoRR (2015)