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

POPL 2021-profile
View general profile