7

Skiing is Easy, Gymnastics is Hard: Complexity of Routine Construction in Olympic Sports
PDF Cite
Version Space Algebras are Acyclic Tree Automata
PDF
Formal Methods for the Informal Engineer: Workshop Recommendations
PDF
One CFG-Generator to Rule Them All
PDF
Incremental Parametric Syntax for Multi-Language Transformation
PDF Cite Code
QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
PDF Cite Code Website