Workshop paper
Accelerating Presto with GPUs
Daniel Bauer, Luis Garcés Erice, et al.
VLDB 2026
Paper
An experiment in automatic verification of programs
Abstract
How effective is a compiler at replacing explicit verification, and what is the cost of this technique?. © 1963, ACM. All rights reserved.
Related
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002
Lixi Zhou, Jiaqing Chen, et al.
VLDB
Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB