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

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