How We Built Cedar: A Verification-Guided Approach

Published in Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE), 2024

Citation: Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells. "How We Built Cedar: A Verification-Guided Approach." Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE). 2024.

Industry track paper