POPL 2024 Co-Located Events
POPL 2024 Co-Located Events
Powered by
Conference Publishing Consulting

13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024), January 15-16, 2024, London, UK

Workshop CPP 2024 – Author Index

Contents - Abstracts - Authors

A B C D E G H J K L M N P R S T V W Z

Adjedj, Arthur CPP '24: "Martin-Löf à la Coq ..."
Ahrens, Benedikt CPP '24: "Univalent Double Categories ..." CPP '24: "Displayed Monoidal Categories ..."
Ang, Zhendong CPP '24: "Rooting for Efficiency: Mechanised ..."
Appel, Andrew W. CPP '24: "VCFloat2: Floating-Point Error ..."
Beringer, Lennart CPP '24: "Compositional Verification ..."
Besson, Frédéric CPP '24: "PfComp: A Verified Compiler ..."
Casals Buñuel, Joaquim CPP '24: "UTC Time, Formally Verified ..."
Chavanon, Clément CPP '24: "PfComp: A Verified Compiler ..."
Conejero Rodríguez, Juan CPP '24: "UTC Time, Formally Verified ..."
De Almeida Borges, Ana CPP '24: "UTC Time, Formally Verified ..."
De Frutos-Fernández, María Inés CPP '24: "A Formalization of Complete ..."
Ebner, Gabriel CPP '24: "Lean Formalization of Extended ..."
Edmonds, Chelsea CPP '24: "Formal Probabilistic Methods ..."
Eremondi, Joseph CPP '24: "Strictly Monotone Brouwer ..."
Gadgil, Siddhartha CPP '24: "Formalizing Giles Gardam’s ..."
González Bedmar, Mireia CPP '24: "UTC Time, Formally Verified ..."
Hansen, Lasse Letager CPP '24: "The Last Yard: Foundational ..."
Haselwarter, Philipp G. CPP '24: "The Last Yard: Foundational ..."
Hermo Reyes, Eduardo CPP '24: "UTC Time, Formally Verified ..."
Hirokawa, Nao CPP '24: "Certification of Confluence- ..."
Hriţcu, Cătălin CPP '24: "The Last Yard: Foundational ..."
Hvass, Benjamin Salling CPP '24: "The Last Yard: Foundational ..."
Joosten, Joost J. CPP '24: "UTC Time, Formally Verified ..."
Kellison, Ariel E. CPP '24: "VCFloat2: Floating-Point Error ..."
Kim, Dohan CPP '24: "Certification of Confluence- ..."
Kirst, Dominik CPP '24: "A Mechanised and Constructive ..."
Krebbers, Robbert CPP '24: "Unification for Subformula ..."
Kudasov, Nikolai CPP '24: "Formalizing the ∞-Categorical ..."
Lennon-Bertrand, Meven CPP '24: "Martin-Löf à la Coq ..."
Maillard, Kenji CPP '24: "Martin-Löf à la Coq ..."
Mansky, William CPP '24: "Compositional Verification ..."
Mathur, Umang CPP '24: "Rooting for Efficiency: Mechanised ..."
Matthes, Ralph CPP '24: "Displayed Monoidal Categories ..."
Monniaux, David CPP '24: "Memory Simulations, Security ..."
Mulder, Ike CPP '24: "Unification for Subformula ..."
Muñoz, César CPP '24: "A Temporal Differential Dynamic ..."
Nguyen, Duc-Than CPP '24: "Compositional Verification ..."
Ninet, Tristan CPP '24: "PfComp: A Verified Compiler ..."
North, Paige Randall CPP '24: "Univalent Double Categories ..."
Nuccio Mortarino Majno di Capriglio, Filippo Alberto Edoardo CPP '24: "A Formalization of Complete ..."
Paulson, Lawrence C. CPP '24: "Formal Probabilistic Methods ..."
Pédrot, Pierre-Marie CPP '24: "Martin-Löf à la Coq ..."
Pîrlea, George CPP '24: "Rooting for Efficiency: Mechanised ..."
Pujet, Loïc CPP '24: "Martin-Löf à la Coq ..."
Raad, Azalea CPP '24: "Under-Approximation for Scalable ..."
Rasekh, Nima CPP '24: "Univalent Double Categories ..."
Riehl, Emily CPP '24: "Formalizing the ∞-Categorical ..."
Sergey, Ilya CPP '24: "Rooting for Efficiency: Mechanised ..."
Shillito, Ian CPP '24: "A Mechanised and Constructive ..."
Shintani, Kiraku CPP '24: "Certification of Confluence- ..."
Slagel, J. Tanner CPP '24: "A Temporal Differential Dynamic ..."
Spitters, Bas CPP '24: "The Last Yard: Foundational ..."
Tadipatri, Anand Rao CPP '24: "Formalizing Giles Gardam’s ..."
Thiemann, René CPP '24: "Certification of Confluence- ..."
Titolo, Laura CPP '24: "A Temporal Differential Dynamic ..."
Van der Weide, Niels CPP '24: "Univalent Double Categories ..." CPP '24: "Displayed Monoidal Categories ..."
Veanes, Margus CPP '24: "Lean Formalization of Extended ..."
Wang, Shengyi CPP '24: "Compositional Verification ..."
Weinberger, Jonathan CPP '24: "Formalizing the ∞-Categorical ..."
White, Lauren CPP '24: "A Temporal Differential Dynamic ..."
Winterhalter, Théo CPP '24: "The Last Yard: Foundational ..."
Wullaert, Kobe CPP '24: "Displayed Monoidal Categories ..."
Zhao, Qiyuan CPP '24: "Rooting for Efficiency: Mechanised ..."
Zhuchko, Ekaterina CPP '24: "Lean Formalization of Extended ..."

64 authors

proc time: 16.62