Registered user since Mon 4 Jan 2016
Name: Clément Pit-Claudel
Affiliation: MIT CSAIL
Personal website: http://pit-claudel.fr/clement/
Contributions
| DeepSpec 2018 | Speaker of Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats within the DeepSpec 2018-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2018-profile
View general profile
View general profile