From a63b2524ad309ae3838447a6d28b4b8b7747fff7 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Thu, 5 Jan 2023 15:25:04 +0100
Subject: Update publications

---
 publications.json | 23 ++++++++++++-----------
 webserver.js      |  5 ++++-
 2 files changed, 16 insertions(+), 12 deletions(-)

diff --git a/publications.json b/publications.json
index 03458ab..e8864c0 100644
--- a/publications.json
+++ b/publications.json
@@ -4,6 +4,18 @@
     "matthijs": "Matthijs V&aacute;k&aacute;r"
   },
   "pubs": [
+    {
+      "year": 2023,
+      "month": 1,
+      "authors": ["tom", "matthijs"],
+      "title": "Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations",
+      "conference": "POPL 2023",
+      "links": [
+        {"type": "arxiv", "id": "2207.03418", "note": "with appendices"},
+        {"type": "doi", "id": "10.1145/3571247"},
+        {"type": "code", "url": "https://github.com/tomsmeding/ad-dualrev-th"}
+      ]
+    },
     {
       "year": 2022,
       "month": 9,
@@ -16,17 +28,6 @@
         {"type": "arxiv", "id": "2103.15776"}
       ]
     },
-    {
-      "year": 2022,
-      "month": 7,
-      "authors": ["tom", "matthijs"],
-      "title": "Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations",
-      "preprint": "submitted to POPL",
-      "links": [
-        {"type": "arxiv", "id": "2207.03418"},
-        {"type": "code", "url": "https://github.com/tomsmeding/ad-dualrev-th"}
-      ]
-    },
     {
       "year": 2022,
       "month": 5,
diff --git a/webserver.js b/webserver.js
index f817016..71f6bcd 100755
--- a/webserver.js
+++ b/webserver.js
@@ -121,6 +121,8 @@ function buildPublicationsHTML(info) {
 		res += ": &ldquo;" + obj.title + "&rdquo;.";
 		seen.set("title", true);
 
+		if ("conference" in obj) res += " At " + obj.conference + ".";
+		seen.set("conference", true);
 		if ("journal" in obj) res += " In " + obj.journal + ".";
 		seen.set("journal", true);
 
@@ -139,6 +141,7 @@ function buildPublicationsHTML(info) {
 			const anchors = [];
 			for (const link of obj.links) {
 				let name, url;
+				const note = "note" in link ? " (" + link.note + ")" : "";
 				switch (link.type) {
 					case "arxiv":
 						name = "arxiv";
@@ -163,7 +166,7 @@ function buildPublicationsHTML(info) {
 					default:
 						throw new Error("Unknown publication link type " + link.type);
 				}
-				anchors.push("<a href=\"" + url + "\" target=\"_blank\">" + name + "</a>");
+				anchors.push("<a href=\"" + url + "\" target=\"_blank\">" + name + "</a>" + note);
 			}
 			res += anchors.join(", ");
 			res += "]"
-- 
cgit v1.2.3-54-g00ecf