Amin Timany - POPL 2021

Write a Blog >>

Sun 17 - Fri 22 January 2021 Online

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

PLMW 2021	Reasoning About Programs in Higher-Order Concurrent Separation Logic Invited Speaker in Invited Speakers within the PLMW 2021-track
CoqPL 2021	Co-chair in Organizing Committee within the CoqPL-track
CPP 2021	Reasoning About Monotonicity in Separation Logic Committee Member in Program Committee within the CPP 2021-track Session Chair of Formalized Mathematics (part of CPP 2021)
POPL 2021	Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic Mechanized Logical Relations for Termination-Insensitive Noninterference Web Chair in Organizing Committee Fully Abstract from Static to Gradual Efficient and Provable Local Capability Revocation using Uninitialized Capabilities
Show activities from other conferences

Using general profile