VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / VerifyThis 2019 (series) / Charles University /

Room information: S8

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

PLACES

Session 1

PLACES

II

PLACES

III

PLACES

IV

Sun 7 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
S8
PLACES
Keynote: Unstructured Parallelism Considered Harmful -- Using Structure ...
09:00 - 10:00
PLACES
A Message-Passing Interpretation of Adjoint Logic
10:00 - 10:30
PLACES
FreeST: context-free session types in a functional language
11:00 - 11:30
PLACES
Concurrent Typestate-Oriented Programming in Java
11:30 - 12:00
PLACES
Keynote: Shared Session Types for Safe, Practical Concurrency
13:30 - 14:30
PLACES
Multiparty session type-safe web development with static linearity
14:30 - 15:00
PLACES
Service Equivalence via Multiparty Session Type Isomorphisms
15:00 - 15:30
PLACES
Value-Dependent Session Design in a Dependently Typed Language
16:00 - 16:30
PLACES
Fluid Types: Statically Verified Distributed Protocols with Refinements
16:30 - 17:00
PLACES
The Cpi-calculus: a Model for Confidential Name Passing
17:00 - 17:30
PLACES
Closing remarks
17:30 - 17:35