More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

13th CPP 2024: London, UK

> Home > Conferences and Workshops > CPP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cpp/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/2024
Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy:
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. ACM 2024
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Raad24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Raad24
Azalea Raad:
Under-Approximation for Scalable Bug Detection (Keynote). 1
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/BorgesBRRBJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/BorgesBRRBJ24
Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten:
UTC Time, Formally Verified. 2-13
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/AppelK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/AppelK24
Andrew W. Appel, Ariel Kellison:
VCFloat2: Floating-Point Error Analysis in Coq. 14-29
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/HaselwarterHHWH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/HaselwarterHHWH24
Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters:
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. 30-44
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ZhaoPA0S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ZhaoPA0S24
Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey:
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. 45-59
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/NguyenBMW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/NguyenBMW24
Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang:
Compositional Verification of Concurrent C Programs with Search Structure Templates. 60-74
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/MulderK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/MulderK24
Ike Mulder, Robbert Krebbers:
Unification for Subformula Linking under Quantifiers. 75-88
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ChavanonBN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ChavanonBN24
Clément Chavanon, Frédéric Besson, Tristan Ninet:
PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams. 89-102
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Monniaux24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Monniaux24
David Monniaux:
Memory Simulations, Security and Optimization in a Verified Compiler. 103-117
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ZhuchkoVE24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ZhuchkoVE24
Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner:
Lean Formalization of Extended Regular Expression Matching with Lookarounds. 118-131
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/EdmondsP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/EdmondsP24
Chelsea Edmonds, Lawrence C. Paulson:
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma. 132-146
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/HirokawaKST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/HirokawaKST24
Nao Hirokawa, Dohan Kim, Kiraku Shintani, René Thiemann:
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. 147-161
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/WhiteTSM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/WhiteTSM24
Lauren M. White, Laura Titolo, J. Tanner Slagel, César A. Muñoz:
A Temporal Differential Dynamic Logic Formal Embedding. 162-176
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/GadgilT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/GadgilT24
Siddhartha Gadgil, Anand Rao Tadipatri:
Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture. 177-189
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Frutos-Fernandez24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Frutos-Fernandez24
María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio:
A Formalization of Complete Discrete Valuation Rings and Local Fields. 190-204
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/Eremondi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/Eremondi24
Joseph Eremondi:
Strictly Monotone Brouwer Trees for Well Founded Recursion over Multiple Arguments. 205-217
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ShillitoK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ShillitoK24
Ian Shillito, Dominik Kirst:
A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic. 218-229
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/AdjedjLMPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/AdjedjLMPP24
Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet:
Martin-Löf à la Coq. 230-245
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/WeideRAN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/WeideRAN24
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North:
Univalent Double Categories. 246-259
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/AhrensMWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/AhrensMWW24
Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert:
Displayed Monoidal Categories for the Semantics of Linear Logic. 260-273
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/KudasovRW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/KudasovRW24
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger:
Formalizing the ∞-Categorical Yoneda Lemma. 274-290

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.