Andy Tockman, Pratap Singh, Andres Erbsen, Samuel Gruetter, Adam Chlipala. Foundational Verification of Running-Time Bounds for Interactive Programs. In Kathrin Stark, Yannick Zakowski, Nikhil Swamy, Nicolas Tabareau, editors, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2026, Rennes, France, January 12-13, 2026. pages 187-200, ACM, 2026. [doi]
Abstract is missing.