Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sorawit Suriyakarn
conf.researchr.org general profile
ICFP 2019 profile
Registered user since Wed 25 Mar 2015
Name:
Sorawit Suriyakarn
Contributions
2019
ICFP
Author of Narcissus: Correct-By-Construction Derivation of Decoders and Encoders from Binary Formats within the Research Papers-track
Share
x
Tue 5 Nov 14:25