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

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
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)
CoqPL 2021	Co-chair in Organizing Committee within the CoqPL-track
PLMW 2021	Reasoning About Programs in Higher-Order Concurrent Separation Logic Invited Speaker in Invited Speakers within the PLMW 2021-track
Show activities from other conferences

POPL 2021-profile
View general profile