Cited By
View all- Bai XCoester COh ANaumann TGloberson ASaenko KHardt MLevine S(2023)Sorting with predictionsProceedings of the 37th International Conference on Neural Information Processing Systems10.5555/3666122.3667277(26563-26584)Online publication date: 10-Dec-2023
- Moine ACharguéraud APottier FPopescu AZdancewic S(2022)Specification and verification of a transient stackProceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3497775.3503677(82-99)Online publication date: 17-Jan-2022
- Nekrich YKhuller SVassilevska Williams V(2021)Dynamic planar point location in optimal timeProceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing10.1145/3406325.3451100(1003-1014)Online publication date: 15-Jun-2021
- Show More Cited By