From 02d3b665bae9310a47a239d765d65676745afcca Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Fri, 5 Aug 2022 11:34:05 +0200 Subject: Add publications to homepage --- index.html | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/index.html b/index.html index 6f8740b..bc52009 100644 --- a/index.html +++ b/index.html @@ -12,6 +12,9 @@ div.main-content{ display:inline-block; max-width:800px; } +#pubs-ul{ + text-align:left; +} @@ -35,6 +38,15 @@ div.main-content{

I've also written some notes at some point.

+ +

Academic publications

2022-07 Tom Smeding, Matthijs Vákár: “Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations”. Preprint, submitted to POPL. [arxiv, code]
2022-06 Matthijs Vákár, Tom Smeding: “CHAD: Combinatory Homomorphic Automatic Differentiation”. Preprint, to be published in TOPLAS. [arxiv, code]
2022-05 Tom Smeding, Matthijs Vákár: “Dual-Numbers Reverse AD, Efficiently”. Preprint. [arxiv, code]
2021: “Reverse Automatic Differentiation for Accelerate”. Master thesis at Utrecht University. Supervisors: Trevor McDonell, Matthijs Vákár. [PDF, code]
2018: “Fast Large-Integer Matrix Multiplication”. Bachelor thesis at Leiden University. Supervisors: Peter Bruin, Kristian Rietveld. [PDF, code]

-- cgit v1.2.3-54-g00ecf