Publications in Conference Proceedings

These works are published in proceedings of conferences.
2025
1.
Sergei Stepanenko and Amin Timany. Solving Guarded Domain Equations in Presheaves Over Ordinals and Mechanizing It. In FSCD 2025, June 2025, doi: 10.4230/LIPIcs.FSCD.2025.30.
2.
Sergei Stepanenko, Emma Nardino, Dan Frumin, Amin Timany, and Lars Birkedal. Context-Dependent Effects in Guarded Interaction Trees. In ESOP 2025: European Symposium on Programming, May 2025, doi: 10.1007/978-3-031-91121-7_12.
2023
3.
Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, and Lars Birkedal. Modular Verification of State-Based CRDTs in Separation Logic. In ECOOP 2023, July 2023, doi: 10.4230/LIPICS.ECOOP.2023.22.
2022
4.
Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, and Dominique Devriese. Proving full-system security properties under multiple attacker models on capability machines. In CSF 2022, August 2022, doi: 10.1109/CSF54842.2022.9919645.
2021
5.
Amin Timany and Lars Birkedal. Reasoning About Monotonicity in Separation Logic. In CPP 2021, January 2021, doi: 10.1145/3437992.3439931.
2020
6.
Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, and Lars Birkedal. Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. In ESOP 2020: European Symposium on Programming, April 2020, doi: 10.1007/978-3-030-44914-8_13.
2019
7.
Willem Penninckx, Amin Timany, and Bart Jacobs. Specifying I/O Using Abstract Nested Hoare Triples in Separation Logic. In Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, July 2019, doi: 10.1145/3340672.3341118.
2018
8.
Amin Timany and Matthieu Sozeau. Cumulative Inductive Types In Coq. In 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 2018, doi: 10.4230/LIPIcs.FSCD.2018.29.
2017
9.
Robbert Krebbers, Amin Timany, and Lars Birkedal. Interactive proofs in higher-order concurrent separation logic. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, January 2017, doi: 10.1145/3009837.3009855.
2016
10.
Amin Timany and Bart Jacobs. Category Theory in Coq 8.5. In 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 2016, doi: 10.4230/LIPIcs.FSCD.2016.30.
2015
11.
Amin Timany and Bart Jacobs. First Steps Towards Cumulative Inductive Types in CIC. In Proceedings of Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium, October 2015, doi: 10.1007/978-3-319-25150-9_36.