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

Displayed time zone: Belfast change

14:00 - 15:30
Session 3PriSC at Sala VI
Chair(s): Chung-Kil Hur Seoul National University
14:00
30m
Talk
Translation Validation for Security Properties
PriSC
Matteo Busi Università di Pisa - Dipartimento di Informatica, Pierpaolo Degano Università di Pisa - Dipartimento di Informatica, Letterio Galletta IMT School for Advanced Studies
Pre-print File Attached
14:30
30m
Talk
Security Witnesses for Compiler Transformations
PriSC
Kedar Namjoshi Bell Labs, Nokia, Lucas M. Tabajara Rice University
File Attached
15:00
30m
Talk
A Data Layout Description Language for Cogent
PriSC
Zilin Chen Data61, CSIRO and UNSW, Matthew Di Meglio UNSW, Liam O'Connor UNSW, Partha Susarla Data61, CSIRO, Christine Rizkallah UNSW, Gabriele Keller Utrecht University