Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala VII
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

Mon 14 Jan
Times are displayed in time zone: Belfast change

09:00 - 10:30
Session TypesOPCT at Sala VII
Chair(s): Ilaria CastellaniINRIA Sophia Antipolis, France
09:00
15m
Day opening
Opening
OPCT
09:15
25m
Talk
A Concurrent Functional Language with Session Types and Control Effects Based on Linear Logic
OPCT
Luís CairesNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:40
25m
Talk
A Foundation for Runtime Enforcement
OPCT
Adrian FrancalanzaUniversity of Malta
10:05
25m
Talk
Processes as Names?
OPCT
Hans HüttelDepartment of Computer Science, Aalborg University
File Attached
11:15 - 12:30
Causality, ReversibilityOPCT at Sala VII
Chair(s): Thomas H. Hildebrandt
11:15
25m
Talk
Causal Reasoning for Safety
OPCT
Georgiana CaltaisUniversity of Konstanz
File Attached
11:40
25m
Talk
A Calculus of Branching Processes
OPCT
12:05
25m
Talk
An Axiomatic Approach to Reversible Computation
OPCT
Irek UlidowskiUniversity of Leicester
13:50 - 15:30
Session Types, Graph-RewritingOPCT at Sala VII
Chair(s): Antonio RavaraDepartment of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCS
13:50
25m
Talk
Taming Concurrency for Verification using Multiparty Session Types
OPCT
14:15
25m
Talk
From Testing Preorders to Flaky Tests
OPCT
Giovanni BernardiUniversité Paris Diderot
File Attached
14:40
25m
Talk
Multiparty Reactive Sessions
OPCT
Cinzia Di GiustoLaboratoire I3S
File Attached
15:05
25m
Talk
Independence, Concurrency and Abstraction in Graph-Rewriting Processes
OPCT
16:00 - 17:15
Concurrent Programming, Memory ModelsOPCT at Sala VII
Chair(s): Gustavo PetriIRIF, Université Paris Diderot
16:00
25m
Talk
Linearizability in the Context of Weak Memory Models
OPCT
Kirsten WinterThe University of Queensland
File Attached
16:25
25m
Talk
IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases
OPCT
Carla FerreiraUniversidade Nova Lisboa
16:50
25m
Talk
Compositional Reasoning for Termination of Fine-grained Concurrent Programs
OPCT
Emanuele D'OsualdoImperial College London, UK
Pre-print File Attached

Tue 15 Jan
Times are displayed in time zone: Belfast change

11:15 - 12:30
Cyberphysical Systems, Hybrid SystemsOPCT at Sala VII
Chair(s): Philippa GardnerImperial College London
11:15
25m
Talk
Hybrid Systems Reachability Analysis
OPCT
Erika AbrahamRWTH Aachen University
11:40
25m
Talk
Attribute Based Communication for Collective Adaptive Systems
OPCT
12:05
25m
Talk
Designing Resilient Large Scaled CPS: Models, Languages and Tools
OPCT
Michele LoretiUniversity of Camerino
16:00 - 17:20
Algebra, CoalgebraOPCT at Sala VII
Chair(s): Alexandra SilvaUniversity College London
16:00
25m
Talk
Coalgebra Learning via Duality
OPCT
Jurriaan RotRadboud University Nijmegen
16:25
25m
Talk
A Metric Semantics for Coordination Languages
OPCT
Valentina CastiglioniInria Saclay - Ile de France
File Attached
16:50
25m
Talk
Hybrid System Iteration
OPCT
Renato NevesUniversity of Minho & INESC TEC
File Attached
17:15
5m
Day closing
Closing
OPCT

Mon 14 Jan
Times are displayed in time zone: Belfast change

Tue 15 Jan
Times are displayed in time zone: Belfast change