54 citations · 141 across the 20 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016
Verified Parallel String Matching in Haskell
Niki Vazou, Jeff Polakow
In this paper, we prove correctness of parallelizing a string matcher using Haskell as a theorem prover. We use refinement types to specify correctness properties, Haskell terms to…
cs.PL2016★ 2 cited
Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)
Niki Vazou, Ranjit Jhala
Refinement Reflection turns your favorite programming language into a proof assistant by reflecting the code implementing a user-defined function into the function's (output) refin…