POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Lars Birkedal

Registered user since Wed 15 Feb 2017

Name: Lars Birkedal

Affiliation: Aarhus University

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

Contributions

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

POPL 2017-profile
View general profile