Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
ICFP 2019 (series) / Clément Pit-Claudel
Clément Pit-Claudel

Registered user since Mon 4 Jan 2016

Name:Clément Pit-Claudel
Affiliation:MIT CSAIL
Personal website:http://pit-claudel.fr/clement/

Contributions

ICFP 2019 Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats
Show activities from other conferences

ICFP 2019-profile
View general profile