RV20 Test of Time Award

Nicholas Nethercote, Julian Seward. Valgrind – A Program Supervision Framework (RV 2003)

RV20 Best Paper Award

Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay and Jimmie Lawson: Empirical Abstraction

RV20 Best Paper Award Nominees

Niraj Basnet and Houssam Abbas: Logical Signal Processing: A Fourier Analysis of Temporal Logic

Nastaran Shafiei, Klaus Havelund and Peter Mehlitz: Actor-based Runtime Verification with MESA