1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
{
"authors": {
"tom": "Tom Smeding",
"matthijs": "Matthijs Vákár"
},
"pubs": [
{
"year": 2024,
"month": 1,
"authors": ["tom", "matthijs"],
"title": "Efficient CHAD",
"conference": "POPL 2024",
"links": [
{"type": "arxiv", "id": "2307.05738", "note": "with appendices"},
{"type": "doi", "id": "10.1145/3632878"},
{"type": "code", "url": "https://github.com/tomsmeding/efficient-chad-agda"}
]
},
{
"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"],
"title": "CHAD: Combinatory Homomorphic Automatic Differentiation",
"journal": "TOPLAS",
"links": [
{"type": "doi", "id": "10.1145/3527634"},
{"type": "code", "url": "https://github.com/VMatthijs/CHAD"},
{"type": "arxiv", "id": "2103.15776"}
]
},
{
"year": 2022,
"month": 5,
"authors": ["tom", "matthijs"],
"title": "Dual-Numbers Reverse AD, Efficiently",
"preprint": true,
"links": [
{"type": "arxiv", "id": "2205.11368"},
{"type": "code", "url": "https://github.com/tomsmeding/ad-dualrev-th"}
]
},
{
"year": 2021,
"authors": ["tom"],
"title": "Reverse Automatic Differentiation for Accelerate",
"note": "Master thesis at Utrecht University. Supervisors: Trevor McDonell, Matthijs Vákár.",
"links": [
{"type": "pdf", "url": "https://studenttheses.uu.nl/bitstream/handle/20.500.12932/38958/report.pdf?sequence=1&isAllowed=y"},
{"type": "code", "url": "https://github.com/tomsmeding/accelerate/tree/no-explode"}
]
},
{
"year": 2018,
"authors": ["tom"],
"title": "Fast Large-Integer Matrix Multiplication",
"note": "Bachelor thesis at Leiden University. Supervisors: Peter Bruin, Kristian Rietveld.",
"links": [
{"type": "pdf", "url": "https://www.universiteitleiden.nl/binaries/content/assets/science/mi/scripties/bachelor/2017-2018/smeding-bsc-scriptie.pdf"},
{"type": "code", "url": "https://github.com/tomsmeding/bachelor-thesis"}
]
}
]
}
|
