research
∙
03/02/2023
Securing Verified IO Programs Against Unverified Code in F*
We introduce SCIO*, a formally secure compilation framework for statical...
share
research
∙
12/31/2019
Interaction laws of monads and comonads
We introduce and study functor-functor and monad-comonad interaction law...
research
∙
07/11/2019
The Next 700 Relational Program Logics
We propose the first framework for defining relational program logics fo...
research
∙
03/04/2019
Dijkstra Monads for All
This paper proposes a general semantic framework for verifying programs ...
research
∙
07/11/2018