summaryrefslogtreecommitdiff
path: root/publications.json
blob: 63c59e3b99272fc3aa0cee313da9a6a4c4cd2868 (plain)
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
76
77
78
79
80
81
82
83
84
85
86
87
{
  "authors": {
    "tom": "Tom Smeding",
    "matthijs": "Matthijs Vákár"
  },
  "pubs": [
    {
      "year": 2024,
      "month": 5,
      "authors": ["tom", "matthijs"],
      "title": "Parallel Dual-Numbers Reverse AD",
      "preprint": true,
      "note": "Extended version of 2023-01, submitted to JFP.",
      "links": [
        {"type": "arxiv", "id": "2207.03418"},
        {"type": "code", "url": "https://github.com/tomsmeding/ad-dualrev-th"}
      ]
    },
    {
      "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.03418v2", "note": "with appendices"},
        {"type": "doi", "id": "10.1145/3571247"},
        {"type": "code", "url": "https://github.com/tomsmeding/ad-dualrev-th/tree/artifact"}
      ]
    },
    {
      "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"}
      ]
    }
  ]
}