Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 15:00 - 15:30 at Sala VI - Session 3 Chair(s): Chung-Kil Hur

Cogent is a high-level functional language that reduces the cost of writing and formally verifying efficient systems code. We introduce the design of Dargent, a data layout description language that enables customising memory layouts of Cogent algebraic datatypes. Dargent allows programmers to write more code in Cogent and to integrate Cogent code with existing C programs (e.g. the Linux kernel) more seamlessly.

Sun 13 Jan

14:00 - 15:30: PriSC 2019 - Session 3 at Sala VI
Chair(s): Chung-Kil HurSeoul National University
prisc-201914:00 - 14:30
Matteo BusiUniversità di Pisa - Dipartimento di Informatica, Pierpaolo DeganoUniversità di Pisa - Dipartimento di Informatica, Letterio GallettaIMT School for Advanced Studies
Pre-print File Attached
prisc-201914:30 - 15:00
Kedar NamjoshiBell Labs, Nokia, Lucas M. TabajaraRice University
File Attached
prisc-201915:00 - 15:30
Zilin ChenData61, CSIRO and UNSW, Matthew Di MeglioUNSW, Liam O'ConnorUNSW, Partha SusarlaData61, CSIRO, Christine RizkallahUNSW, Gabriele KellerUtrecht University