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 | Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2018-profile
View general profile
View general profile