Login / Signup
Sorawit Suriyakarn
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 3
Top Topics
Construction Process
Multiresolution
Non Binary
Hamming Distance
Top Venues
Proc. ACM Program. Lang.
CoRR
SNAPL
</>
Publications
</>
Benjamin Delaware
,
Sorawit Suriyakarn
,
Clément Pit-Claudel
,
Qianchuan Ye
,
Adam Chlipala
Narcissus: correct-by-construction derivation of decoders and encoders from binary formats.
Proc. ACM Program. Lang.
3 (ICFP) (2019)
Sorawit Suriyakarn
,
Clément Pit-Claudel
,
Benjamin Delaware
,
Adam Chlipala
Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats.
CoRR
(2018)
Adam Chlipala
,
Benjamin Delaware
,
Samuel Duchovni
,
Jason Gross
,
Clément Pit-Claudel
,
Sorawit Suriyakarn
,
Peng Wang
,
Katherine Ye
The End of History? Using a Proof Assistant to Replace Language Design with Library Design.
SNAPL
(2017)