imec Institutional Repository Browsing {{ collection }} by Author "Timany, Amin"

Publication

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

Proceedings paper

2018, Principles of Programming Languages (POPL), 7/01/2018, p.Article No. 64

Publication

Contributions in Programming Languages Theory: Logical Relations and Type Theory

Timany, Amin

PHD thesis

2018-05

Publication

Fully Abstract from Static to Gradual

Jacobs, Koen

;

Timany, Amin

;

Devriese, Dominique

Journal article

2021, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 5, p.Art. 7

Publication

Interactive proofs in higher-order concurrent separation logic

Krebbers, Robert

;

Timany, Amin

;

Birkedal, Lars

Journal article

2017, ACM SIGPLAN Notices, (52) 1, p.205-217

Publication

MoSeL: A general, extensible modal framework for interactive proofs in separation logic

Krebbers, Robert

;

Jourdan, Jacques-Henri

;

Jung, Ralf

;

Tassarotti, Joseph

;

Kaiser, Jan-Oliver

Proceedings paper

2018, International Conference on Functional Programming (ICFP), 23/09/2018, p.Art. 77

Publication

Purity of an ST Monad Full Abstraction by Semantically Typed Back-Translation

Jacobs, Koen

;

Devriese, Dominique

;

Timany, Amin

Journal article

2022, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, (6) OOPSLA, p.82

Publication

Specifying I/O using abstract nested hoare triples in separation logic

Penninckx, Willem

;

Timany, Amin

;

Jacobs, Bart

Proceedings paper

2019, FTfJP '19 Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 15/07/2019, p.Art.5

Publication

The Future is Ours: Prophecy Variables in Separation Logic

Jung, Ralf

;

Lepigre, Rodolphe

;

Parthasarathy, Gaurav

;

Rapoport, Marianna

;

Timany, Amin

Journal article

2020, PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 4

Browsing by Author "Timany, Amin"