Amin Timany - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Amin Timany' as author, editor, or advisor:

Mechanized relational verification of concurrent programs with continuationsAmin Timany, Lars Birkedal. PACMPL, 3(ICFP), 2019. [doi]
Leibniz equality is isomorphic to Martin-Löf identity, parametricallyAndreas Abel 0001, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler. JFP, 30, 2020. [doi]
Modular Denotational Semantics for Effects with Guarded Interaction TreesDan Frumin, Amin Timany, Lars Birkedal. PACMPL, 8(POPL):332-361, January 2024. [doi]
Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers. PACMPL, 4(ICFP), 2020. [doi]
MoSeL: a general, extensible modal framework for interactive proofs in separation logicRobbert Krebbers, Jacques-Henri Jourdan, Ralf Jung 0002, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer. PACMPL, 2(ICFP), 2018. [doi]
Aneris: A Mechanised Logic for Modular Reasoning about Distributed SystemsMorten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal. ESOP 2020: 336-365 [doi]
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted CodeAïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal. JACM, 71(1), 2024. [doi]
A separation logic to verify termination of busy-waiting for abrupt program exitTobias Reinhard, Amin Timany, Bart Jacobs 0002. ECOOP 2020: 26-32 [doi]
The Logical Essence of Well-Bracketed Control FlowAmin Timany, Armaël Guéneau, Lars Birkedal. PACMPL, 8(POPL):575-603, January 2024. [doi]
Modular Verification of State-Based CRDTs in Separation LogicAbel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal. ECOOP 2023: [doi]
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, ACM, 2024. [doi]
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation ProtocolsLéon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal. PACMPL, 7(ICFP):847-877, August 2023. [doi]
Distributed causal memory: modular specification and verification in higher-order distributed separation logicLéon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal. PACMPL, 5(POPL):1-29, 2021. [doi]
Interactive proofs in higher-order concurrent separation logicRobbert Krebbers, Amin Timany, Lars Birkedal. POPL 2017: 205-217 [doi]
Category Theory in Coq 8.5Amin Timany, Bart Jacobs 0002. RTA 2016: [doi]
A logical relation for monadic encapsulation of state: proving contextual equivalences in the presence of runSTAmin Timany, Léo Stefanesco, Morten Krogh-Jespersen, Lars Birkedal. PACMPL, 2(POPL), 2018. [doi]
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-AZongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, Lars Birkedal. PACMPL, 7(PLDI):1438-1462, 2023. [doi]
Mechanized logical relations for termination-insensitive noninterferenceSimon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal. PACMPL, 5(POPL):1-29, 2021. [doi]
Cumulative Inductive Types In CoqAmin Timany, Matthieu Sozeau. RTA 2018: [doi]
Fully abstract from static to gradualKoen Jacobs, Amin Timany, Dominique Devriese. PACMPL, 5(POPL):1-30, 2021. [doi]
Proving full-system security properties under multiple attacker models on capability machinesThomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese. csfw 2022: 80-95 [doi]
Modular verification of op-based CRDTs in separation logicAbel Nieto, Léon Gondelman, Alban Reynaud, Amin Timany, Lars Birkedal. PACMPL, 6(OOPSLA2):1788-1816, 2022. [doi]
The future is ours: prophecy variables in separation logicRalf Jung 0002, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs 0002. PACMPL, 4(POPL), 2020. [doi]
Purity of an ST monad: full abstraction by semantically typed back-translationKoen Jacobs, Dominique Devriese, Amin Timany. PACMPL, 6(OOPSLA):1-27, 2022. [doi]
Efficient and provable local capability revocation using uninitialized capabilitiesAïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal. PACMPL, 5(POPL):1-30, 2021. [doi]
Specifying I/O using abstract nested hoare triples in separation logicWillem Penninckx, Amin Timany, Bart Jacobs 0002. ECOOP 2019: [doi]
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional RefinementAmin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal. PACMPL, 8(POPL):241-272, January 2024. [doi]
Reasoning about monotonicity in separation logicAmin Timany, Lars Birkedal. CPP 2021: 91-104 [doi]
First Steps Towards Cumulative Inductive Types in CICAmin Timany, Bart Jacobs 0002. ictac 2015: 608-617 [doi]
Modular Verification of State-Based CRDTs in Separation Logic (Artifact)Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal. darts, 9(2), 2023. [doi]

runs on WebDSL