diff options
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -12,6 +12,9 @@ div.main-content{ display:inline-block; max-width:800px; } +#pubs-ul{ + text-align:left; +} </style> </head> <body> @@ -35,6 +38,15 @@ div.main-content{ <p> I've also <a href="/blog">written some notes</a> at some point. </p> + + <h2>Academic publications</h2> + <ul id="pubs-ul"> + <li>2022-07 Tom Smeding, Matthijs Vákár: “Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations”. Preprint, submitted to POPL. [<a href="https://arxiv.org/abs/2207.03418" target="_blank">arxiv</a>, <a href="https://github.com/tomsmeding/ad-dualrev-th" target="_blank">code</a>]</li> + <li>2022-06 Matthijs Vákár, Tom Smeding: “CHAD: Combinatory Homomorphic Automatic Differentiation”. Preprint, to be published in TOPLAS. [<a href="https://arxiv.org/abs/2103.15776" target="_blank">arxiv</a>, <a href="https://github.com/VMatthijs/CHAD" target="_blank">code</a>]</li> + <li>2022-05 Tom Smeding, Matthijs Vákár: “Dual-Numbers Reverse AD, Efficiently”. Preprint. [<a href="https://arxiv.org/abs/2205.11368" target="_blank">arxiv</a>, <a href="https://github.com/tomsmeding/ad-dualrev-th" target="_blank">code</a>]</li> + <li>2021: “Reverse Automatic Differentiation for Accelerate”. Master thesis at Utrecht University. Supervisors: Trevor McDonell, Matthijs Vákár. [<a href="https://studenttheses.uu.nl/bitstream/handle/20.500.12932/38958/report.pdf?sequence=1&isAllowed=y" target="_blank">PDF</a>, <a href="https://github.com/tomsmeding/accelerate/tree/no-explode" target="_blank">code</a>]</li> + <li>2018: “Fast Large-Integer Matrix Multiplication”. Bachelor thesis at Leiden University. Supervisors: Peter Bruin, Kristian Rietveld. [<a href="https://www.universiteitleiden.nl/binaries/content/assets/science/mi/scripties/bachelor/2017-2018/smeding-bsc-scriptie.pdf" target="_blank">PDF</a>, <a href="https://github.com/tomsmeding/bachelor-thesis" target="_blank">code</a>]</li> + </ul> </div> </body> </html> |