Browsing by author "Timany, Amin"
Now showing items 1-9 of 9
-
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runST
Timany, Amin; Stefanesco, Léo; Krogh-Jespersen, Morten; Birkedal, Lars (2018) -
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Georges, Aina Linn; Gueneau, Armael; Van Strydonck, Thomas; Timany, Amin; Trieu, Alix; Devriese, Dominique; Birkedal, Lars (2024) -
Contributions in Programming Languages Theory: Logical Relations and Type Theory
Timany, Amin (2018-05) -
Fully Abstract from Static to Gradual
Jacobs, Koen; Timany, Amin; Devriese, Dominique (2021) -
Interactive proofs in higher-order concurrent separation logic
Krebbers, Robert; Timany, Amin; Birkedal, Lars (2017) -
MoSeL: A general, extensible modal framework for interactive proofs in separation logic
Krebbers, Robert; Jourdan, Jacques-Henri; Jung, Ralf; Tassarotti, Joseph; Kaiser, Jan-Oliver; Timany, Amin; Chargueraud, Arthur; Dreyer, Derek (2018) -
Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation
Jacobs, Koen; Devriese, Dominique; Timany, Amin (2022) -
Specifying I/O using abstract nested hoare triples in separation logic
Penninckx, Willem; Timany, Amin; Jacobs, Bart (2019) -
The Future is Ours: Prophecy Variables in Separation Logic
Jung, Ralf; Lepigre, Rodolphe; Parthasarathy, Gaurav; Rapoport, Marianna; Timany, Amin; Dreyer, Derek; Jacobs, Bart (2020)