Update publications

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
@@ -5,6 +5,18 @@
   },
   "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,
       "authors": ["matthijs", "tom"],
@@ -18,17 +30,6 @@
     },
     {
       "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,
       "authors": ["tom", "matthijs"],
       "title": "Dual-Numbers Reverse AD, Efficiently",
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 += ": “" + obj.title + "”.";
 		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 += "]"