{
  "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"}
      ]
    }
  ]
}