research
∙
08/27/2021
LaForge: Always-Correct and Fast Incremental Builds from Simple Specifications
Developers rely on build systems to generate software from code. At a mi...
research
∙
01/30/2019