PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Dorian Lesbre

Registered user since Mon 29 Apr 2024

Name:Dorian Lesbre
Bio:

Graduate of École Normale Supérieure de Paris (ENS-PSL)

Ph.D. student at CEA List, Université Paris-Saclay.

Country:France
Affiliation:CEA List
Research interests:Program Verification, Abstract Interpretation, Compilers, Type Systems

Contributions

Show activities from other conferences

Using general profile