Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
POPL 2021 (series) / Alix Trieu

Registered user since Sun 10 Nov 2019

Name:Alix Trieu
Country:Denmark
Affiliation:Aarhus University
Personal website:http://cs.au.dk/~trieu/
Research interests:Formal Verification, Compilation, Coq, Security

Contributions

PriSC 2021 Toward Complete Stack Safety for Capability Machines
POPL 2021 Efficient and Provable Local Capability Revocation using Uninitialized Capabilities
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2021-profile
View general profile