Verifying Cake-Cutting, Faster.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Partial zeta functions, partial exponential sums, and <i>p</i>-adic estimates.
Finite Fields Their Appl., March, 2023
Cutting the Cake: A Language for Fair Division.
Proc. ACM Program. Lang., 2023
Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History.
Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023
AWLCO: All-Window Length Co-Occurrence.
Proceedings of the 32nd Annual Symposium on Combinatorial Pattern Matching, 2021