![Xavier Denis](https://pldi22.sigplan.org/getProfileImage/xavierdenis/756a858b-bf9e-4336-bcf3-65e114ae7d71/small.jpg?1711675645000)
Registered user since Sat 16 Dec 2023
Name:Xavier Denis
Affiliation:Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles
Contributions
PLDI 2022-profile
View general profile
View general profile
Registered user since Sat 16 Dec 2023
Contributions