COMPLX: A Verification Framework for Concurrent Imperative Programs by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong Nov 29
Compositional Security-Preserving Refinement for Concurrent Imperative Programs by Toby Murray 🌐, Robert Sison, Edward Pierzchalski and Christine Rizkallah 🌐 Jun 28
A Dependent Security Type System for Concurrent Imperative Programs by Toby Murray 🌐, Robert Sison, Edward Pierzchalski and Christine Rizkallah 🌐 Jun 25
An Axiomatic Characterization of the Single-Source Shortest Path Problem by Christine Rizkallah 🌐 May 22