Concepedia

Sorawit Suriyakarn

SS

Statistics

Publications

2

Citations

37

H-Index

2

Active since

2017

Affiliations

Massachusetts Institute of Technology(Current)

Sorawit Suriyakarn is an author at Massachusetts Institute of Technology specializing in data security, iterative decoding, and cryptography.

Top concepts

Publications per year

2017–2019

2

Publications

2

Narcissus: correct-by-construction derivation of decoders and encoders from binary formats

Benjamin Delaware, Sorawit Suriyakarn, Clément Pit-Claudel et al. · Proceedings of the ACM on Programming Languages · 2019 · 25 citations · Full text

, , +18

The End of History? Using a Proof Assistant to Replace Language Design with Library Design

Adam Chlipala, Benjamin Delaware, Samuel Duchovni et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 12 citations · Full text

1–2 of 2