Dorian Lesbre -

Registered user since Mon 29 Apr 2024

Name:Dorian Lesbre

Country:France

Affiliation:CEA List

Personal website: https://www.normalesup.org/~dlesbre/

GitHub: https://github.com/dlesbre

Research interests:Program Verification, Abstract Interpretation, Compilers, Type Systems

Contributions

2024

ICFP

Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

PLDI

Author of Compiling with Abstract Interpretation within the PLDI Research Papers-track