Amin Timany

Registered user since Wed 24 Aug 2016

Name: Amin Timany

Country: Belgium

Affiliation: imec-Distrinet KU-Leuven

Personal website: https://distrinet.cs.kuleuven.be/people/amin

Research interests: Programming Languages, Proof Assistants

Contributions

POPL 2021Web Chair in Organizing Committee
CoqPL 2020Session Chair of Contributed Talks (part of CoqPL)
WGT 2020Author of Fully Abstract from Static to Gradual within the WGT-track
FTfJP 2019Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track
POPL 2020Session 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
PriSC 2019Committee Member in Program Committee within the PriSC 2019-track
ECOOP 2019Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the Posters-track
PLDI 2019Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
HOPE 2018Committee Member in Program Committee within the HOPE 2018-track
ICFP 2019Author 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
ICFP 2018Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
POPL 2018Author 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
CoqPL 2017Author of Logical Relations in Iris within the CoqPL 2017-track
HOPE 2016Author of Simple Dependent Polymorphic I/O Effects within the HOPE-track
POPL 2017Author of Interactive Proofs in Higher-Order Concurrent Separation Logic within the POPL-track
CoqPL 2016Author of The Category-theoretic Solution of Recursive Ultra-metric Space Equations within the CoqPL-track