Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Tue 19 Jan 2021 18:00 - 18:30 at PADL - Foundations and Programming Concepts at Work Chair(s): Mario Alviano

In this paper we introduce a tiered-priority mechanism for a synchronous message-passing language with support for selective communication and first-class communication protocols. Crucially our mechanism allows higher priority threads to communicate with lower priority threads, providing the ability to express programs that would be rejected by classic priority mechanisms that disallow any (potentially) blocking interactions between threads of differing priorities. We provide a prototype implementation of our tiered-priority mechanism capable of expressing Concurrent ML and built in the MLton SML compiler and runtime. We evaluate the viability of our implementation by implementing a safe and predictable shutdown mechanisms in the Swerve webserver and eXene windowing toolkit. Our experiments show that priority can be easily added to existing CML programs without degrading performance. Our system exhibits negligible overheads on more modest workloads.

Tue 19 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

18:00 - 19:30
Foundations and Programming Concepts at WorkPADL at PADL
Chair(s): Mario Alviano University of Calabria
18:00
30m
Research paper
Synchronous Message-Passing with Priority
PADL
Cheng-En Chuang University at Buffalo, Grant Iraci University at Buffalo, Lukasz Ziarek SUNY Buffalo, USA
18:30
30m
Research paper
Putting gradual types to work
PADL
Bhargav Shivkumar State University of New York - University at Buffalo, Enrique Naudon Bloomberg, Lukasz Ziarek SUNY Buffalo, USA
19:00
30m
Short-paper
Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
PADL
Reed Oei University of Illinois at Urbana-Champaign, Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University
File Attached