From 00118cf04ad5e1fa25baccf518ef3283e716f5ff Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 22 Nov 2022 23:00:40 +0000
Subject: Add CPP'23 paper

---
 papers.bib | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/papers.bib b/papers.bib
index 3118f81..62585c6 100644
--- a/papers.bib
+++ b/papers.bib
@@ -1,3 +1,11 @@
+@inproceedings{CPP&nbsp;&#39;23,
+  author = {Yann Herklotz, Delphine Demange and Sandrine Blazy},
+  title = {Mechanised Semantics for Gated Static Single Assignment},
+  year = {2023},
+  booktitle = {Certified Programs and Proofs (CPP)},
+  numpages = 14
+}
+
 @inproceedings{FCCM&nbsp;&#39;22,
   author = {Pardalos, Michalis and Herklotz, Yann and Wickerson, John},
   title = {Resource Sharing for Verified High-Level Synthesis},
-- 
cgit