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