
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