Charlie Curtsinger, Daniel W. Barowy. Riker: Always-Correct and Fast Incremental Builds from Simple Specifications. In Jiri Schindler, Noa Zilberman, editors, 2022 USENIX Annual Technical Conference, USENIX ATC 2022, Carlsbad, CA, USA, July 11-13, 2022. pages 885-898, USENIX Association, 2022. [doi]
Abstract is missing.