Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 10:30 - 11:00 at L2 - Full papers 1

Complex protocols describing the communication or storage of binary data are difficult to describe precisely. This paper presents a collection of data types for describing a binary data formats; the corresponding parser and pretty printer are generated automatically from a data description. By embedding these data types in a general purpose dependently typed programming language, we can verify once and for all that the parsers and pretty printers generated in this style are correct by construction. To validate our results, we show how to write a verified parser of the IPv4 network protocol.

Sun 3 Sep

10:30 - 11:30: TyDe 2017 - Full papers 1 at L2
tyde-2017-papers150442740000010:30 - 11:00
Marcell van GeestUtrecht University, Wouter SwierstraUniversity of Utrecht
tyde-2017-papers150442920000011:00 - 11:30
Daan LeijenMicrosoft Research
14:00 - 15:00: TyDe 2017 - Full papers 2 at L2
tyde-2017-papers150444000000014:00 - 14:30
Ting-Yan LaiInstitute of Information Science, Academia Sinica, Tyng-Ruey ChuangInstitute of Information Science, Academia Sinica, Shin-Cheng MuAcademia Sinica, Taiwan
tyde-2017-papers150444180000014:30 - 15:00
Victor Cacciari MiraldoUniversity of Utrecht, Pierre-Evariste DagandLIP6/CNRS , Wouter SwierstraUniversity of Utrecht