Amin Timany
Aarhus Universitet
H-index: 13
Europe-Denmark
Top articles of Amin Timany
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
The Logical Essence of Well-Bracketed Control Flow | Proceedings of the ACM on Programming Languages | Amin Timany Armaël Guéneau Lars Birkedal | 2024/1/5 |
Modular Denotational Semantics for Effects with Guarded Interaction Trees | Proceedings of the ACM on Programming Languages | Dan Frumin Amin Timany Lars Birkedal | 2024/1/5 |
Cerise: Program verification on a capability machine in the presence of untrusted code | Journal of the ACM | Aïna Linn Georges* Armaël Guéneau* Thomas Van Strydonck Amin Timany Alix Trieu* | 2024/2/12 |
Welcome from the Chairs | CPP 2024-Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 | Brigitte Pientka Sandrine Blazy Dmitriy Traytel Amin Timany | 2024/1/9 |
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement | Proceedings of the ACM on Programming Languages | Amin Timany Simon Oddershede Gregersen Léo Stefanesco Jonas Kastberg Hinrichsen Léon Gondelman | 2024/1/5 |
Modular Verification of State-Based CRDTs in Separation Logic | Leibniz International Proceedings in Informatics (LIPIcs) | Abel Nieto Rodriguez Arnaud Daby-Seesaram Léon Gondelman Amin Timany Lars Birkedal | 2023 |
Verifying reliable network components in a distributed separation logic with dependent separation protocols | Proceedings of the ACM on Programming Languages | Léon Gondelman Jonas Kastberg Hinrichsen Mário Pereira Amin Timany Lars Birkedal | 2023/8/30 |
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A | Proceedings of the ACM on Programming Languages | Zongyuan Liu Sergei Stepanenko Jean Pichon-Pharabod Amin Timany Aslan Askarov | 2023/6/6 |
Preserving Language Abstractions: Gradual Typing and State Threads | Koen Jacobs | 2022/12/20 | |
Modular verification of op-based CRDTs in separation logic | Proceedings of the ACM on Programming Languages | Abel Nieto Léon Gondelman Alban Reynaud Amin Timany Lars Birkedal | 2022/10/31 |
Proving full-system security properties under multiple attacker models on capability machines | Thomas Van Strydonck Aïna Linn Georges Armaël Guéneau Alix Trieu Amin Timany | 2022/8/7 | |
Purity of an ST monad: full abstraction by semantically typed back-translation | Proceedings of the ACM on Programming Languages | Koen Jacobs Dominique Devriese Amin Timany | 2022/4/29 |
A Logical Approach to Type Soundness | Reported under submission on https://iris-project. org/(2022). https://iris-project. org/pdfs/2022-submitted-logical-type-soundness. pdf | Amin Timany Robbert Krebbers Derek Dreyer Lars Birkedal | 2022 |
Mechanized logical relations for termination-insensitive noninterference | Proceedings of the ACM on Programming Languages | Simon Oddershede Gregersen Johan Bay Amin Timany Lars Birkedal | 2021/1/4 |
Trillium: Unifying refinement and higher-order distributed separation logic | arXiv preprint arXiv:2109.07863 | Amin Timany Simon Oddershede Gregersen Léo Stefanesco Léon Gondelman Abel Nieto | 2021/9/16 |
Distributed causal memory: modular specification and verification in higher-order distributed separation logic | Proceedings of the ACM on Programming Languages | Léon Gondelman Simon Oddershede Gregersen Abel Nieto Amin Timany Lars Birkedal | 2021/1/4 |
Cap’ou pas cap’?: Preuve de programmes pour une machine à capacités en présence de code inconnu | Aïna Linn Georges Armaël Guéneau Thomas Van Strydonck Amin Timany Alix Trieu | 2021/4/7 | |
Fully abstract from static to gradual | Proceedings of the ACM on Programming Languages | Koen Jacobs Amin Timany Dominique Devriese | 2021/1/4 |
Reasoning about monotonicity in separation logic | Amin Timany Lars Birkedal | 2021/1/17 | |
Efficient and provable local capability revocation using uninitialized capabilities | Proceedings of the ACM on Programming Languages | Aïna Linn Georges Armaël Guéneau Thomas Van Strydonck Amin Timany Alix Trieu | 2021/1/4 |
Co-Authors
