Riker: Always-Correct and Fast Incremental Builds from Simple Specificationsgithub.com/curtsinger-lab4 pointsccurtsinger4 years ago