June Rousseau - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Mon 11 Dec 2023

Name:June Rousseau

Country:Denmark

Affiliation:Aarhus University

Personal website: https://perso.eleves.ens-rennes.fr/people/bastien.rousseau/

Contributions

2024

POCL

Proving capability safety in the presence of indirect sentries

Show activities from other conferences

POPL 2024-profile
View general profile