Séminaire Cambium, Inria Paris, 2 rue Simone Iff
                          Salle Lions 1, bâtiment C
                          Vendredi 12 janvier, 10h30

                                 Youngju Song
                                   MPI-SWS

                 One stuttering simulation to rule them all?

In this talk, I will talk about (chronologically) how the stuttering
simulations I used have evolved and resulted in what I dare call an
"ultimate" form. The journey will comprise multiple projects with
different desiderata spanning compiler verification and separation
logic. I will briefly discuss these projects on the fly (Crellvm in
PLDI'18, CompCertM in POPL'20, and Conditional Contextual Refinement
in POPL'23) and what kind of stuttering simulations were used.
Finally, I will present the "ultimate" form of stuttering simulation
(Stuttering For Free in OOPSLA'23).

            Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct
                            via le lien ci-dessus.