VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS8
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 7 Apr

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

09:00 - 10:30
Session 1PLACES at S8
Chair(s): Francisco Martins University of Lisbon
09:00
60m
Talk
Keynote: Unstructured Parallelism Considered Harmful -- Using Structured Parallelism for Enhanced Software Verification
PLACES
Vivek Sarkar Rice University, USA
10:00
30m
Full-paper
A Message-Passing Interpretation of Adjoint Logic
PLACES
Klaas Pruiksma Carnegie Mellon University, Frank Pfenning Carnegie Mellon University, USA
11:00 - 12:00
IIPLACES at S8
Chair(s): Ornela Dardha University of Glasgow
11:00
30m
Full-paper
FreeST: context-free session types in a functional language
PLACES
Bernardo Almeida Universidade de Lisboa, Andreia Mordido Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos University of Lisbon, Portugal
11:30
30m
Full-paper
Concurrent Typestate-Oriented Programming in Java
PLACES
Rosita Gerbo Università di Torino, Luca Padovani University of Turin
13:30 - 15:30
IIIPLACES at S8
Chair(s): Vasco T. Vasconcelos University of Lisbon, Portugal
13:30
60m
Talk
Keynote: Shared Session Types for Safe, Practical Concurrency
PLACES
Stephanie Balzer Carnegie Mellon University
14:30
30m
Full-paper
Multiparty session type-safe web development with static linearity
PLACES
Jonathan King Habito and Imperial College London, Nicholas Ng Imperial College London, Nobuko Yoshida Imperial College London
15:00
30m
Full-paper
Service Equivalence via Multiparty Session Type Isomorphisms
PLACES
Assel Altayeva Imperial College London, Nobuko Yoshida Imperial College London
16:00 - 18:00
IVPLACES at S8
Chair(s): Francisco Martins University of Lisbon
16:00
30m
Full-paper
Value-Dependent Session Design in a Dependently Typed Language
PLACES
Jan de Muijnck-Hughes University of Glasgow, Edwin Brady University of St. Andrews, UK, Wim Vanderbauwhede University of Glasgow
16:30
30m
Talk
Fluid Types: Statically Verified Distributed Protocols with Refinements
PLACES
Fangyi Zhou Imperial College London, Francisco Ferreira Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London
17:00
30m
Talk
The Cpi-calculus: a Model for Confidential Name Passing
PLACES
Ivan Prokić University of Novi Sad
17:30
5m
Day closing
Closing remarks
PLACES

Sun 7 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S8