Publications in Conference Proceedings

These works are published in proceedings of conferences.

2025

11. In FSCD 2025 Conference Paper
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.33.
10. In ESOP 2025: European Symposium on Programming Conference Paper
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

9. In ECOOP 2023 Conference Paper
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

8. In CSF 2022 Conference Paper
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

7. In CPP 2021 Conference Paper
Amin Timany and Lars Birkedal. Reasoning About Monotonicity in Separation Logic. In CPP 2021, January 2021, doi: 10.1145/3437992.3439931.

2020

6. In ESOP 2020: European Symposium on Programming Conference Paper
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

5. In Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs Conference Paper
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

4. In 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018 Conference Paper
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

3. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 Conference Paper
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

2. In 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016 Conference Paper
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

1. In Proceedings of Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Conference Paper
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.