PLDI 2018
Mon 18 - Fri 22 June 2018
Philadelphia, Pennsylvania, United States
Toggle navigation
Attending
Venue: Hilton Philadelphia at Penn's Landing
Registration
Sponsorship
Students
Accessibility FAQ
Visas
Code of Conduct
Childcare
Tourist Information
Remote Participation
Program
Complete Program
Your Program
Mon 18 Jun
Tue 19 Jun
Wed 20 Jun
Thu 21 Jun
Fri 22 Jun
Tracks
PLDI 2018
PLDI Research Papers
PLDI Invited Speakers
Student Research Competition (SRC)
Student Volunteers
PLDI Research Artifacts
PLDI Workshops
PLDI Tutorials
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
LCTES
LCTES
Workshops
ARRAY
DeepSpec
FMS
MAPL
PLMW @ PLDI
Organization
PLDI 2018 Committees
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Student Research Competition Committee
Artifact Evaluation Committee
Distinguished Paper Committee
Steering Committee
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
DeepSpec
Organizing Committee
Program Committee
FMS
Organizing Committee
Program Committee
MAPL
Organizing Committee
Program Committee
Steering Committee
PLMW @ PLDI
Organizing Committee
Speakers
Search
Series
Series
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2018
(
series
) /
Clément Pit-Claudel
PLDI 2018 profile
conf.research.org general profile
ETAPS 2019 profile
ICFP 2018 profile
ICFP 2019 profile
POPL 2016 profile
POPL 2018 profile
SPLASH 2020 profile
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
Share
PLDI 2018-profile
View general profile
x
Mon 26 Jul 03:49
