Constantin Enea - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Fri 3 Jul 2015

Name:Constantin Enea

Country:France

Affiliation:Ecole Polytechnique / LIX / CNRS

Personal website: https://www.lix.polytechnique.fr/~cenea/

Contributions

2024

POPL

Scaling Verification of Concurrent Programs with the Civl Verifier

Show activities from other conferences

POPL 2024-profile
View general profile