| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | publications: Note extended version of dualrev | Tom Smeding | 2024-07-22 |
| * | publications: Upgrade efficient chad to popl | Tom Smeding | 2023-11-29 |
| * | publications: Add Efficient CHAD preprint | tomsmeding | 2023-08-18 |
| * | Update publications | Tom Smeding | 2023-01-05 |
| * | Update CHAD publication (TOPLAS) | Tom Smeding | 2022-08-23 |
| * | Load publications from publications.json | Tom Smeding | 2022-08-07 |
 |
index : webserver | |
| My web server | git daemon user |
| summaryrefslogtreecommitdiff |
path: root/publications.json