RTAS 2021 Awards

Congratulations! The following awards of RTAS’21 were presented:

Best Paper Award:

  • No Crash, No Exploit: Automated Verification of Embedded Kernels
    Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival

Best Student Paper Award

  • Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads
    Tobias Klaus, Matthias Becker, Wolfgang Schröder-Preikschat, Peter Ulbrich

About the author