5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.PL2021★ 5 cited
Version Space Algebras are Acyclic Tree Automata
James Koppel
Version space algebras are ways of representing spaces of programs which can be combined using union, intersection, and cross-product/``join" operators. In their reified form as AS…
cs.SE2021
Formal Methods for the Informal Engineer: Workshop Recommendations
Gopal Sarma, James Koppel, Gregory Malecha +5
Formal Methods for the Informal Engineer (FMIE) was a workshop held at the Broad Institute of MIT and Harvard in 2021 to explore the potential role of verified software in the biom…