research
∙
10/20/2019
Relational Test Tables: A Practical Specification Language for Evolution and Security
A wide range of interesting program properties are intrinsically relatio...
share
research
∙
03/27/2018
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
Distributed programs are often formulated in popular functional framewor...
research
∙
01/26/2018
