Registered user since Wed 15 Feb 2017

Name: Lars Birkedal

Affiliation: Aarhus University

Personal website: http://cs.au.dk/~birke/

POPL 2017 Activities

• Author of Logical Relations in Iris within the CoqPL 2017-track in CoqPL 2017
• ERC member in External Review Committee for POPL 2017
• Author of Interactive Proofs in Higher-Order Concurrent Separation Logic within the POPL-track in POPL 2017
• Session Chair of Semantic Foundations (part of POPL 2017 )
• Author of A Relational Model of Types-and-Effects in Higher-Order Concurrent Separation Logic within the POPL-track in POPL 2017
• Show activities from other conferences