verification
2023
- 2023-05-23 – Accepted TYPES 2022 post-proceedings paper
- 2023-02-27 – Accepted OOPSLA/SPLASH 2023 paper
2022
- 2022-05-25 – Accepted OSCAR 2022 workshop paper
2021
- 2021-11-26 – Accepted PriSC 2022 workshop paper
- 2021-10-04 – Accepted paper at IEEE Transactions on Parallel and Distributed Systems
- 2021-09-07 – Accepted paper at IEEE/ACM MICRO 2021