Skip to content

Added CPP'27 chairs and CPP'26 best paper awards #334

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sampsyo merged 1 commit into from
Jan 2, 2026
Merged

Added CPP'27 chairs and CPP'26 best paper awards #334

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 12 additions & 4 deletions Conferences/CPP.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,8 +47,13 @@ Certified Programs and Proofs (CPP) is an international conference on practical
* [John Harrison](https://www.cl.cam.ac.uk/~jrh13/), Amazon Web Services, USA

---
**[CPP Conferences](https://popl25.sigplan.org/series/CPP)**
**[CPP Conferences](https://popl26.sigplan.org/series/CPP)**

* CPP 2027, January, 2027 (co-located with POPL’27)
+ PC Chairs: [Nikhil Swamy](https://www.microsoft.com/en-us/research/people/nswamy)
and [Cyril Cohen](https://perso.crans.org/cohen/)
+ Conference Chairs: [Yannick Zakowski](https://perso.ens-lyon.fr/yannick.zakowski)
and [Sophie Tourret](https://members.loria.fr/sophie.tourret/)
* [CPP 2026](https://popl26.sigplan.org/home/CPP-2026), Rennes, France, January 12-13, 2026 (co-located with POPL’26)
+ PC Chairs: [Nicolas Tabareau](https://tabareau.fr/)
and [Nikhil Swamy](https://www.microsoft.com/en-us/research/people/nswamy)
Expand Down Expand Up @@ -112,9 +117,12 @@ The official **CPP proceedings** since 2015 are publicly available via [SIGPLAN
---
**Given Distinguished Paper Awards**

* CPP 2025: [Certifying Rings of Integers in Number Fields](https://dl.acm.org/doi/10.1145/3703595.3705874), Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen.
* CPP 2025: [Split Decisions: Explicit Contexts for Substructural Languages](https://dl.acm.org/doi/10.1145/3703595.3705888). Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka.
* CPP 2025: [The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic](https://dl.acm.org/doi/10.1145/3703595.3705876). Simon Friis Vindum, Aina Linn Georges, Lars Birkedal.
* CPP 2026: [Higher order differential calculus in Mathlib](https://arxiv.org/abs/2509.04922), Sebastien Gouezel.
* CPP 2026: [Mechanized Dominator Tree Certification](https://inria.hal.science/hal-05413838v1), Jean-Christophe Léchenet.
* CPP 2026: [Precise Reasoning about Container-Internal Pointers with Logical Pinning](https://arxiv.org/abs/2509.23229), Yawen Guan and Clément Pit-Claudel.
* CPP 2025: [Certifying Rings of Integers in Number Fields](https://dl.acm.org/doi/10.1145/3703595.3705874), Anne Baanen, Alain Chavarri Villarello, and Sander R. Dahmen.
* CPP 2025: [Split Decisions: Explicit Contexts for Substructural Languages](https://dl.acm.org/doi/10.1145/3703595.3705888). Daniel Zackon, Chuta Sano, Alberto Momigliano, and Brigitte Pientka.
* CPP 2025: [The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic](https://dl.acm.org/doi/10.1145/3703595.3705876). Simon Friis Vindum, Aina Linn Georges, and Lars Birkedal.
* CPP 2024: [Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma](https://popl24.sigplan.org/details/CPP-2024-papers/7/Formal-Probabilistic-Methods-for-Combinatorial-Structures-using-the-Lov-sz-Local-Lemma). Chelsea Edmonds and Lawrence Paulson.
* CPP 2024: [Martin-Löf à la Coq](https://popl24.sigplan.org/details/CPP-2024-papers/12/Martin-L-f-la-Coq). Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, and Loïc Pujet.
* CPP 2024: [Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic](https://popl24.sigplan.org/details/CPP-2024-papers/5/Rooting-for-Efficiency-Mechanised-Reasoning-about-Array-Based-Trees-in-Separation-Logic). Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, and Ilya Sergey.
Expand Down