Blogs (27) >>
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
tyde-2017-papers150442920000011:00 - 11:30