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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

14:00 - 15:30: Session 3PriSC at Sala VI
Chair(s): Chung-Kil HurSeoul National University
14:00 - 14:30
Translation Validation for Security Properties
Matteo BusiUniversità di Pisa - Dipartimento di Informatica, Pierpaolo DeganoUniversità di Pisa - Dipartimento di Informatica, Letterio GallettaIMT School for Advanced Studies
Pre-print File Attached
14:30 - 15:00
Security Witnesses for Compiler Transformations
Kedar NamjoshiBell Labs, Nokia, Lucas M. TabajaraRice University
File Attached
15:00 - 15:30
A Data Layout Description Language for Cogent
Zilin ChenData61, CSIRO and UNSW, Matthew Di MeglioUNSW, Liam O'ConnorUNSW, Partha SusarlaData61, CSIRO, Christine RizkallahUNSW, Gabriele KellerUtrecht University