publications: Add PhD thesisHEADmaster

3 files changed, 37 insertions, 4 deletions

diff --git a/index.html b/index.html
index 6408184..f8d0cda 100644
--- a/index.html
+++ b/index.html
@@ -141,10 +141,6 @@ div.main-content {
 	</p>
 
 	<h2>Academic publications</h2>
-	<p>
-		My PhD thesis is submitted but not yet approved.
-		A draft version can be found <a href="/f/thesis-2026-02-27-submitted.pdf">here</a>.
-	</p>
 	<table id="pubs-table"><tbody>
 		<!--PUBS-REPLACE-START--> (Info missing, server misconfigured, sorry) <!--PUBS-REPLACE-END-->
 	</tbody></table>
diff --git a/publications.json b/publications.json
index 39de522..230febb 100644
--- a/publications.json
+++ b/publications.json
@@ -9,6 +9,18 @@
   },
   "pubs": [
     {
+      "year": 2026,
+      "month": 10,
+      "authors": ["tom"],
+      "title": "Reverse-mode Automatic Differentiation for Functional Array Languages",
+      "thesis": true,
+      "note": "PhD thesis at Utrecht University. Advisors: Gabriele Keller, Matthijs V&aacute;k&aacute;r.",
+      "links": [
+        {"type": "pdf", "url": "/f/thesis-2026-09-02-digital-cover.pdf"},
+        {"type": "doi", "id": "10.33540/765"}
+      ]
+    },
+    {
       "year": 2025,
       "month": 8,
       "authors": ["tom", "matthijs"],
diff --git a/webserver.js b/webserver.js
index b0d5578..d655d8d 100755
--- a/webserver.js
+++ b/webserver.js
@@ -103,6 +103,31 @@ function padLeft(s, len, fill) {
 	return prefix + s;
 }
 
+/* format:
+ * - authors: {str => str}  (mapping from keys to full names)
+ * - pubs:
+ *   - year: int
+ *   - month: int  (optional)
+ *   - authors: [str]
+ *   - title: str
+ *   - one of:  (actually accepts zero or more)
+ *     * conference: str  (type tag is str up to first space, if any)
+ *     * journal: str
+ *     * preprint: (true/str)
+ *     * thesis: (true)
+ *   - note: str  (optional)
+ *   - links: [Link] where Link is:
+ *     * one of:
+ *       - type: "arxiv" with:
+ *         - id: str
+ *       - type: "doi" with:
+ *         - id: str
+ *       - type: "code" with:
+ *         - url: str
+ *       - type: "pdf" with:
+ *         - url: str
+ *     * note: str  (optional)
+ */
 function buildPublicationsHTML(info) {
 	let res = "";
 	for (const obj of info.pubs) {