summaryrefslogtreecommitdiff
path: root/publications.json
blob: aa30f171a243f93e4ffff150f3115d1cc4aec079 (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
{
  "authors": {
    "tom": "Tom Smeding",
    "matthijs": "Matthijs Vákár"
  },
  "pubs": [
    {
      "year": 2022,
      "month": 7,
      "authors": ["tom", "matthijs"],
      "title": "Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations",
      "preprint": "submitted to POPL",
      "links": [
        {"type": "arxiv", "id": "2207.03418"},
        {"type": "code", "url": "https://github.com/tomsmeding/ad-dualrev-th"}
      ]
    },
    {
      "year": 2022,
      "month": 6,
      "authors": ["matthijs", "tom"],
      "title": "CHAD: Combinatory Homomorphic Automatic Differentiation",
      "preprint": "to be published in TOPLAS",
      "links": [
        {"type": "arxiv", "id": "2103.15776"},
        {"type": "code", "url": "https://github.com/VMatthijs/CHAD"}
      ]
    },
    {
      "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"}
      ]
    }
  ]
}