Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |