activity
20162022
most citedA Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations

23 citations · 55 across the 6 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

cs.PL2019★ 4 cited

The Next 700 Relational Program Logics

Kenji Maillard, Catalin Hritcu, Exequiel Rivas +1

We propose the first framework for defining relational program logics for arbitrary monadic effects. The framework is embedded within a relational dependent type theory and is high…

cs.PL2019

Dijkstra Monads for All

Kenji Maillard, Danel Ahman, Robert Atkey +4

This paper proposes a general semantic framework for verifying programs with arbitrary monadic side-effects using Dijkstra monads, which we define as monad-like structures indexed…