Amin Timany

Registered user since Wed 24 Aug 2016

Name:Amin Timany
Country:Denmark
Affiliation:Aarhus University
Personal website:https://cs.au.dk/~timany
Research interests:Programming Languages, Proof Assistants

Contributions

POPL 2024 Committee Member in Program Committee within the POPL-track
CPP 2024 Conference Chair in Organizing Committee within the CPP 2024-track
ECOOP 2023 Author of Modular Verification of State-Based CRDTs in Separation Logic within the Research Papers-track
PLDI 2023 Author of VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A within the PLDI Research Papers-track
CPP 2023 Committee Member in Program Committee within the CPP 2023-track
SPLASH 2022 Author of Modular Verification of Op-Based CRDTs in Separation Logic within the V-OOPSLA-track
Author of Purity of an ST monad: full abstraction by semantically typed back-translation within the OOPSLA-track
PLDI 2022 Author of (POPL 2021) Fully Abstract from Static to Gradual within the SIGPLAN Track-track
POPL 2022 Web Co-Chair in Organizing Committee
CoqPL 2022 Co-chair in Organizing Committee within the CoqPL-track
Session Chair of Session with the Coq Development Team (part of CoqPL)
Session Chair of Invited Talk II (part of CoqPL)
Session Chair of Contributed Talk (Afternoon) (part of CoqPL)
ICFP 2021 Author of Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation) within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
POPL 2021 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 2021 Author of Reasoning About Monotonicity in Separation Logic within the CPP 2021-track
Committee Member in Program Committee within the CPP 2021-track
Session Chair of Formalized Mathematics (part of CPP 2021)
CoqPL 2021 Co-chair in Organizing Committee within the CoqPL-track
PLMW 2021 Author of Reasoning About Programs in Higher-Order Concurrent Separation Logic within the PLMW 2021-track
Invited Speaker in Invited Speakers within the PLMW 2021-track
ICFP 2020 Author of Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris within the ICFP Program-track
FTfJP 2020 Author of A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit within the FTfJP-track
CoqPL 2020 Session Chair of Contributed Talks (part of CoqPL)
POPL 2020 Session Chair of Language Design (part of Research Papers)
Author of [T4] Proving Semantic Type Soundness in Iris within the TutorialFest-track
Web Chair in Organizing Committee
Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track
WGT 2020 Author of Fully Abstract from Static to Gradual within the WGT-track
ICFP 2019 Author of Mechanized Relational Verification of Concurrent Programs with Continuations within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
FTfJP 2019 Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track
ECOOP 2019 Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the Posters-track
PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC 2019 Committee Member in Program Committee within the PriSC 2019-track
ICFP 2018 Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
HOPE 2018 Committee Member in Program Committee within the HOPE 2018-track
POPL 2018 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
POPL 2017 Author of Interactive Proofs in Higher-Order Concurrent Separation Logic within the POPL-track
CoqPL 2017 Author of Logical Relations in Iris within the CoqPL 2017-track
HOPE 2016 Author of Simple Dependent Polymorphic I/O Effects within the HOPE-track
CoqPL 2016 Author of The Category-theoretic Solution of Recursive Ultra-metric Space Equations within the CoqPL-track