Algorithmic Program Verification: Concurrent and Distributed Systems (MPRI 2.9.2)

    Master Parisien de Recherche en Informatique -- Parisian Master of Research in Computer Science

    Information

    • Contact : Ahmed Bouajjani -- abou "at" irif "dot" fr
    • Dates and Time Slots: Wednesday 09/12/2020, 16/12/2020, 06/01/2021, and 13/01/2021 (4 other lectures will be given afterwards by Constantin Enea in January and February. The dates for those lectures will be confirmed later).
    • Zoom Link: Join Lectures Here
    • Videos: Youtube channel

    Slides

    • Lecture 1 -- 09/12/2020, 16/12/2020
    • Lecture 2 -- 16/12/2020
    • Lecture 3 -- 06/01/2021

    Articles

    • On the verification problem for weak memory models, POPL 2010 -- related to Lecture 1
    • What's decidable about weak memory models, ESOP'12 -- related to Lecture 2
    • Checking and enforcing robustness against TSO, ESOP'13 -- related to Lecture 3