Simon Oddershede Gregersen - POPL 2021

Write a Blog >>

Sun 17 - Fri 22 January 2021 Online

Registered user since Tue 29 Jan 2019

Name:Simon Oddershede Gregersen

Country:Denmark

Affiliation:Aarhus University

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

Contributions

2021

POPL

Mechanized Logical Relations for Termination-Insensitive Noninterference
Distributed Causal Memory: Modular Specification and Verification in Higher-Order Distributed Separation Logic

Show activities from other conferences

POPL 2021-profile
View general profile