add approxis

logsem · Nov 24, 2024 · 4c1f5ed · 4c1f5ed
1 parent 2a74932
commit 4c1f5ed
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/_data/publications.json b/_data/publications.json
@@ -1,5 +1,21 @@
 {
   "publications": [
+      {
+          "title": "Approximate Relational Reasoning for Higher-Order Probabilistic Programs",
+          "authors": [
+              "Philipp G. Haselwarter",
+              "Kwing Hei Li",
+              "Simon Oddershede Gregersen",
+              "Alejandro Aguirre",
+              "Joseph Tassarotti",
+              "Lars Birkedal"
+          ],
+          "where_published": "In POPL 2025: ACM SIGPLAN Symposium on Principles of Programming Languages",
+          "pdf_url": "pdfs/2025-popl-approxis.pdf",
+          "other_urls": [
+              { "name": "Artifact", "url": "https://doi.org/10.5281/zenodo.13939302" }
+          ]
+      },
       {
           "title": "Data Race Freedom à la Mode",
           "authors": [

diff --git a/pdfs/2025-popl-approxis.pdf b/pdfs/2025-popl-approxis.pdf