summaryrefslogtreecommitdiff
path: root/publications.json
Commit message (Expand)AuthorAge
* publications: Add Efficient CHAD preprinttomsmeding2023-08-18
* Update publicationsTom Smeding2023-01-05
* Update CHAD publication (TOPLAS)Tom Smeding2022-08-23
* Load publications from publications.jsonTom Smeding2022-08-07