From 5b71ef237a275ac56251156a9eb7a8c6a9b0e596 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 13 Dec 2022 18:59:26 +0000
Subject: Add CPP'23 paper and citation

---
 Makefile                       |   2 +-
 data/service.toml              |   4 ++++
 papers.bib                     |  24 +++++++++++++++---------
 static/papers/cpp23_msgssa.pdf | Bin 0 -> 724216 bytes
 4 files changed, 20 insertions(+), 10 deletions(-)
 create mode 100644 static/papers/cpp23_msgssa.pdf

diff --git a/Makefile b/Makefile
index 865a1a0..bfafde1 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ layouts/partials/%.html: %.bib | layouts/partials
         --named-field url_poster poster --named-field url_manuscript pdf \
         --named-field url_changelog changelog \
         --named-field url_blog_post blog --named-field \
-        url_artifact artifact $<
+        url_artefact artefact $<
 	sed -r -e 's:\[(.*)\]:<b>\1</b>:g' $@ >$@.new && mv $@.new $@
 	sed -r -e 's:Yann Herklotz:<b>Yann Herklotz</b>:g' $@ >$@.new && mv $@.new $@
 
diff --git a/data/service.toml b/data/service.toml
index 009d957..d484fa3 100644
--- a/data/service.toml
+++ b/data/service.toml
@@ -8,6 +8,10 @@ link = "https://perr-workshop.github.io/2022"
 [artefactreview]
 name = "Artefact Evaluation"
 
+[[artefactreview.conf]]
+name = "ECOOP'23"
+link = "https://2023.ecoop.org/committee/ecoop-2023-artifact-evaluation-artifact-evaluation-committee"
+
 [[artefactreview.conf]]
 name = "PLDI'22"
 link = "https://pldi22.sigplan.org/committee/pldi-2022-PLDI-Research-Artifacts-artifact-evaluation-committee"
diff --git a/papers.bib b/papers.bib
index 88e1230..7ddb663 100644
--- a/papers.bib
+++ b/papers.bib
@@ -1,9 +1,15 @@
 @inproceedings{CPP&nbsp;&#39;23,
-  author = {Yann Herklotz and Delphine Demange and Sandrine Blazy},
-  title = {Mechanised Semantics for Gated Static Single Assignment},
-  year = {2023},
-  booktitle = {Proc. of the 12th ACM SIGPLAN Int. Conf. on Certified Programs and Proofs (CPP)},
-  numpages = 14
+author = {Herklotz, Yann and Demange, Delphine and Blazy, Sandrine},
+title = {Mechanised Semantics for Gated Static Single Assignment},
+year = {2023},
+isbn = {9781450391825},
+doi = {10.1145/3573105.3575681},
+booktitle = {Proc. of the 12th ACM SIGPLAN Int. Conf. on Certified Programs and Proofs (CPP)},
+numpages = {15},
+keywords = {Verified Compilation, SSA, Gated SSA},
+location = {Boston, MA, USA},
+url_artefact = {https://zenodo.org/record/7430387},
+url_manuscript = {/papers/cpp23_msgssa.pdf}
 }
 
 @inproceedings{FCCM&nbsp;&#39;22,
@@ -15,7 +21,7 @@
   doi = {10.1109/FCCM53951.2022.9786208},
   note = {Short paper},
   url_manuscript = {/papers/fccm22_rsvhls.pdf},
-  url_artifact = {https://github.com/mpardalos/Vericert-Fun}
+  url_artefact = {https://github.com/mpardalos/Vericert-Fun}
 }
 
 @article{OOPSLA&nbsp;&#39;21,
@@ -29,7 +35,7 @@
   doi = {10.1145/3485494},
   url_manuscript = {/papers/oopsla21_fvhls.pdf},
   url_slides = {/docs/oopsla21/slides_fvhls.pdf},
-  url_artifact = {https://github.com/ymherklotz/vericert},
+  url_artefact = {https://github.com/ymherklotz/vericert},
   url_video = {https://youtu.be/clPiKbKVlUA},
   url_poster = {/docs/oopsla21/poster_fvhls.pdf},
   url_changelog = {/changelog/oopsla21_fvhls},
@@ -46,7 +52,7 @@
   note = {Short paper},
   doi = {10.1109/FCCM51124.2021.00034},
   url_manuscript = {/papers/fccm21_esrhls.pdf},
-  url_artifact = {https://github.com/ymherklotz/fuzzing-hls},
+  url_artefact = {https://github.com/ymherklotz/fuzzing-hls},
 }
 
 @inproceedings{FPGA&nbsp;&#39;20,
@@ -63,5 +69,5 @@
   url_slides = {/docs/fpga2020/verismith_slides.pdf},
   url_blog_post = {/blog/2019-06-19-verismith.html},
   url_manuscript = {/papers/fpga20_fubfst.pdf},
-  url_artifact = {https://github.com/ymherklotz/verismith},
+  url_artefact = {https://github.com/ymherklotz/verismith},
 }
diff --git a/static/papers/cpp23_msgssa.pdf b/static/papers/cpp23_msgssa.pdf
new file mode 100644
index 0000000..4a6a9c9
Binary files /dev/null and b/static/papers/cpp23_msgssa.pdf differ
-- 
cgit