diff options
| -rw-r--r-- | publications.json | 23 | ||||
| -rwxr-xr-x | 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 @@ -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 += "]" |