conf.researchr.org / Amin Timany
Registered user since Wed 24 Aug 2016
Name:Amin Timany
Country:Denmark
Affiliation:Aarhus University
Personal website: https://cs.au.dk/~timany
GitHub: https://github.com/amintimany
Research interests:Programming Languages, Proof Assistants
Contributions
2025
2024
POPL
- Author of Modular Denotational Semantics for Effects with Guarded Interaction Trees within the POPL-track
- Committee Member in Program Committee within the POPL-track
- Author of The Logical Essence of Well-Bracketed Control Flow within the POPL-track
- Author of Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement within the POPL-track
CPP
- Session Chair of Business Meeting (part of CPP 2024)
- Steering Committee Member in Steering Committee within the CPP 2024-track
- Conference Chair in Organizing Committee within the CPP 2024-track
- Session Chair of Mechanized separation logic (part of CPP 2024)
- Co-chair of Business Meeting within the CPP 2024-track
2023
ICFP
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the ICFP Papers and Events-track
- Author of Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols within the Artifact Evaluation-track
2022
SPLASH
2021
ICFP
POPL
- Author of Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic within the POPL-track
- Author of Mechanized Logical Relations for Termination-Insensitive Noninterference within the POPL-track
- Web Chair in Organizing Committee
- Author of Fully Abstract from Static to Gradual within the POPL-track
- Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track
CPP
2020
POPL
2019
ICFP
2018
POPL
- Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Artifact Evaluation-track
- Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Research Papers-track