Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 13:30 - 14:20 at Sala VII - Session 3 Chair(s): Paola Giannini

This talk presents recent work on extending session types to describe and enforce resource constraints.

First, I briefly review the use of session types for prescribing bidirectional communication protocols for message-passing processes. Then, I show how session types can be combined with the potential method of amortized analysis to account for the (sequential) work performed by a process. Next, I discuss temporal session types, which uniformly express properties such as the message rate of a stream or the latency of a pipeline and can be used to reason about parallel complexity. Finally, I discuss the application of these resource-aware session types in Nomos, a programming language for digital contracts.

I am a Tenure-Track Assistant Professor at Carnegie Mellon’s Computer Science Department, and a member of the Principles of Programming (PoP) group.

My research areas are programming languages and formal methods. I am specifically interested in quantitative verification, type systems, static resource analysis of programs, proof assistants, and system verification.

Before joining Carnegie Mellon, I was an Associate Research Scientist in the Department of Computer Science at Yale. Before that, I was a PhD student at LMU Munich.

Sun 13 Jan

Displayed time zone: Belfast change

13:30 - 15:30
Session 3BEAT at Sala VII
Chair(s): Paola Giannini Universita' del Piemonte Orientale
Invited Talk: Resource-Aware Session Types
Jan Hoffmann Carnegie Mellon University
Invited Talk: A Session Type Provider: Compile-time Generation of Session Types with Interaction Refinements
Rumyana Neykova Brunel University London
File Attached
Getting Rid of Null-Dereferences – Behavioural Types to the Rescue
Hans Hüttel Department of Computer Science, Aalborg University, Antonio Ravara Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS, Adrian Francalanza University of Malta, Mario Bravetti Università di Bologna
File Attached