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

12th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2023), January 16-17, 2023, Boston, MA, USA

Workshop CPP 2023 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N P R S T U V W Y

Affeldt, Reynald CPP '23: "Semantics of Probabilistic ..."
Allamigeon, Xavier CPP '23: "A Formal Disproof of Hirsch ..."
Annenkov, Danil CPP '23: "Formalising Decentralised ..."
Arasu, Arvind CPP '23: "FastVer2: A Provably Correct ..."
Arnaboldi, Luca CPP '23: "Compiling Higher-Order Specifications ..."
Ataei, Parisa CPP '23: "P4Cub: A Little Language for ..."
Atkey, Robert CPP '23: "Compiling Higher-Order Specifications ..."
Baanen, Anne CPP '23: "Formalized Class Group Computations ..."
Bakšys, Mantas CPP '23: "A Formalisation of the Balog–Szemerédi–Gowers ..."
Best, Alex J. CPP '23: "Formalized Class Group Computations ..."
Blazy, Sandrine CPP '23: "Mechanised Semantics for Gated ..." CPP '23: "CompCert: A Journey through ..."
Blot, Valentin CPP '23: "Compositional Pre-processing ..."
Bordg, Anthony CPP '23: "Encoding Dependently-Typed ..."
Campbell, Eric Hayden CPP '23: "P4Cub: A Little Language for ..."
Canu, Quentin CPP '23: "A Formal Disproof of Hirsch ..."
Chen, John CPP '23: "P4Cub: A Little Language for ..."
Clune, Joshua CPP '23: "A Formalized Reduction of ..."
Cohen, Cyril CPP '23: "Semantics of Probabilistic ..."
Coppola, Nirvana CPP '23: "Formalized Class Group Computations ..."
Cousineau, Denis CPP '23: "Compositional Pre-processing ..."
Crance, Enzo CPP '23: "Compositional Pre-processing ..."
Daggitt, Matthew L. CPP '23: "Compiling Higher-Order Specifications ..."
Dahmen, Sander R. CPP '23: "Formalized Class Group Computations ..."
Degenne, Rémy CPP '23: "A Formalization of Doob’s ..."
Delignat-Lavaud, Antoine CPP '23: "ASN1*: Provably Correct, Non-malleable ..."
Demange, Delphine CPP '23: "Mechanised Semantics for Gated ..."
De Prisque, Louise Dubois CPP '23: "Compositional Pre-processing ..."
Doenges, Ryan CPP '23: "P4Cub: A Little Language for ..."
Doña Mateo, Adrián CPP '23: "Encoding Dependently-Typed ..."
Edmonds, Chelsea CPP '23: "A Formalisation of the Balog–Szemerédi–Gowers ..."
Färber, Michael CPP '23: "Terms for Efficient Proof ..."
Férée, Hugo CPP '23: "Formalizing and Computing ..."
Forster, Yannick CPP '23: "A Computational Cantor-Bernstein ..."
Foster, Nate CPP '23: "P4Cub: A Little Language for ..."
Fournet, Cédric CPP '23: "ASN1*: Provably Correct, Non-malleable ..."
From, Asta Halkjær CPP '23: "Aesop: White-Box Best-First ..."
Fromherz, Aymeric CPP '23: "FastVer2: A Provably Correct ..."
Grégoire, Benjamin CPP '23: "Practical and Sound Equality ..."
Hayes, Ian J. CPP '23: "Verifying Term Graph Optimizations ..."
Herklotz, Yann CPP '23: "Mechanised Semantics for Gated ..."
Hietala, Kesha CPP '23: "FastVer2: A Provably Correct ..."
Isak, Natalie CPP '23: "P4Cub: A Little Language for ..."
Jahn, Felix CPP '23: "A Computational Cantor-Bernstein ..."
Kaliszyk, Cezary CPP '23: "Improved Assistance for Interactive ..."
Keller, Chantal CPP '23: "Compositional Pre-processing ..."
Kohl, Christina CPP '23: "A Formalization of the Development ..."
Kokke, Wen CPP '23: "Compiling Higher-Order Specifications ..."
Komendantskaya, Ekaterina CPP '23: "Compiling Higher-Order Specifications ..."
Kosaian, Katherine CPP '23: "A First Complete Algorithm ..."
Koutsoukou-Argyraki, Angeliki CPP '23: "A Formalisation of the Balog–Szemerédi–Gowers ..."
Lamiaux, Thomas CPP '23: "Computing Cohomology Rings ..."
Léchenet, Jean-Christophe CPP '23: "Practical and Sound Equality ..."
Limperg, Jannis CPP '23: "Aesop: White-Box Best-First ..."
Ljungström, Axel CPP '23: "Computing Cohomology Rings ..."
Mahboubi, Assia CPP '23: "Compositional Pre-processing ..."
Massot, Patrick CPP '23: "Formalising the h-Principle ..."
Mehta, Bhavik CPP '23: "Formalising Sharkovsky’s ..."
Middeldorp, Aart CPP '23: "A Formalization of the Development ..."
Mörtberg, Anders CPP '23: "Computing Cohomology Rings ..."
Nash, Oliver CPP '23: "Formalising the h-Principle ..."
Ni, Haobin CPP '23: "ASN1*: Provably Correct, Non-malleable ..."
Nielsen, Eske Hoy CPP '23: "Formalising Decentralised ..."
Parno, Bryan CPP '23: "FastVer2: A Provably Correct ..."
Peterson, Rudy CPP '23: "P4Cub: A Little Language for ..."
Platzer, André CPP '23: "A First Complete Algorithm ..."
Ramamurthy, Ravi CPP '23: "FastVer2: A Provably Correct ..."
Ramananandro, Tahina CPP '23: "FastVer2: A Provably Correct ..." CPP '23: "ASN1*: Provably Correct, Non-malleable ..."
Rastogi, Aseem CPP '23: "FastVer2: A Provably Correct ..."
Saito, Ayumu CPP '23: "Semantics of Probabilistic ..."
Shyu, Calvin CPP '23: "P4Cub: A Little Language for ..."
Smolka, Gert CPP '23: "A Computational Cantor-Bernstein ..."
Spitters, Bas CPP '23: "Formalising Decentralised ..."
Strub, Pierre-Yves CPP '23: "A Formal Disproof of Hirsch ..."
Swamy, Nikhil CPP '23: "FastVer2: A Provably Correct ..." CPP '23: "ASN1*: Provably Correct, Non-malleable ..."
Tan, Yong Kiam CPP '23: "A First Complete Algorithm ..."
Tassi, Enrico CPP '23: "Practical and Sound Equality ..."
Utting, Mark CPP '23: "Verifying Term Graph Optimizations ..."
Van Doorn, Floris CPP '23: "Formalising the h-Principle ..."
Van Gool, Sam CPP '23: "Formalizing and Computing ..."
Vial, Pierre CPP '23: "Compositional Pre-processing ..."
Webb, Brae J. CPP '23: "Verifying Term Graph Optimizations ..."
Ying, Kexing CPP '23: "A Formalization of Doob’s ..."

82 authors

proc time: 14.38