Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Hotel Cascais Miragem /

Room information: Sala VII

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

Displayed time zone: Belfast change

09:00 - 10:30
Session TypesOPCT at Sala VII
Chair(s): Ilaria Castellani INRIA 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 Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:40
25m
Talk
A Foundation for Runtime Enforcement
OPCT
Adrian Francalanza University of Malta
10:05
25m
Talk
Processes as Names?
OPCT
Hans Hüttel Department 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 Caltais University of Konstanz
File Attached
11:40
25m
Talk
A Calculus of Branching Processes
OPCT
Jean Krivine CNRS
12:05
25m
Talk
An Axiomatic Approach to Reversible Computation
OPCT
Irek Ulidowski University of Leicester
13:50 - 15:30
Session Types, Graph-RewritingOPCT at Sala VII
Chair(s): António Ravara Department 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
Kirstin Peters TU Berlin
14:15
25m
Talk
From Testing Preorders to Flaky Tests
OPCT
Giovanni Bernardi Université Paris Diderot
File Attached
14:40
25m
Talk
Multiparty Reactive Sessions
OPCT
Cinzia Di Giusto Laboratoire I3S
File Attached
15:05
25m
Talk
Independence, Concurrency and Abstraction in Graph-Rewriting Processes
OPCT
Malte Lochau
16:00 - 17:15
Concurrent Programming, Memory ModelsOPCT at Sala VII
Chair(s): Gustavo Petri IRIF, Université Paris Diderot
16:00
25m
Talk
Linearizability in the Context of Weak Memory Models
OPCT
Kirsten Winter The University of Queensland
File Attached
16:25
25m
Talk
IPA: Invariant-preserving Applications for Weakly Consistent Replicated Databases
OPCT
Carla Ferreira Universidade Nova Lisboa
16:50
25m
Talk
Compositional Reasoning for Termination of Fine-grained Concurrent Programs
OPCT
Emanuele D’Osualdo Imperial College London, UK
Pre-print File Attached

Tue 15 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Equational Characterisations, TransactionsOPCT at Sala VII
Chair(s): Mohammad Mousavi University of Leicester, UK
09:15
25m
Talk
Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative)
OPCT
Bas Luttik Eindhoven University of Technology
File Attached
09:40
25m
Talk
ULTraS at Work: Compositionality and Equational Characterization of Behavioral Metaequivalences
OPCT
Marco Bernardo University of Urbino
File Attached
10:05
25m
Talk
A Uniform Framework of Transactional Consistency Models for Protocol Verification and Program Analysis
OPCT
Andrea Cerone Imperial College London
11:15 - 12:30
Cyberphysical Systems, Hybrid SystemsOPCT at Sala VII
Chair(s): Philippa Gardner Imperial College London
11:15
25m
Talk
Hybrid Systems Reachability Analysis
OPCT
Erika Abraham RWTH Aachen University
11:40
25m
Talk
Attribute Based Communication for Collective Adaptive Systems
OPCT
Rocco De Nicola
12:05
25m
Talk
Designing Resilient Large Scaled CPS: Models, Languages and Tools
OPCT
Michele Loreti University of Camerino
13:50 - 15:30
Algebra, Coalgebra, Model CheckingOPCT at Sala VII
Chair(s): Barbara König University of Duisburg-Essen
13:50
25m
Talk
Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification
OPCT
Joost-Pieter Katoen RWTH Aachen University
File Attached
14:15
25m
Talk
Model Checking True Concurrency Properties
OPCT
Paolo Baldan University of Padova
File Attached
14:40
25m
Talk
A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Expressive Logics
OPCT
Helle Hvid Hansen Delft University of Technology
File Attached
15:05
25m
Talk
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous States Space: A Logical Characterization
OPCT
Simone Tini University of Insubria
16:00 - 17:20
Algebra, CoalgebraOPCT at Sala VII
Chair(s): Alexandra Silva University College London
16:00
25m
Talk
Coalgebra Learning via Duality
OPCT
Jurriaan Rot Radboud University Nijmegen
16:25
25m
Talk
A Metric Semantics for Coordination Languages
OPCT
Valentina Castiglioni Inria Saclay - Ile de France
File Attached
16:50
25m
Talk
Hybrid System Iteration
OPCT
Renato Neves University of Minho & INESC TEC
File Attached
17:15
5m
Day closing
Closing
OPCT

Mon 14 Jan

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala VII

OPCT

Session Types

OPCT

Causality, Reversibility

OPCT

Session Types, Graph-Rewriting

OPCT

Concurrent Programming, Memory Models

Tue 15 Jan

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala VII

OPCT

Equational Characterisations, Transactions

OPCT

Cyberphysical Systems, Hybrid Systems

OPCT

Algebra, Coalgebra, Model Checking

OPCT

Algebra, Coalgebra

Mon 14 Jan

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sala VII
OPCT
Opening
09:00 - 09:15
OPCT
A Concurrent Functional Language with Session Types and Control Effects ...
09:15 - 09:40
OPCT
A Foundation for Runtime Enforcement
09:40 - 10:05
OPCT
Processes as Names?
10:05 - 10:30
OPCT
Causal Reasoning for Safety
11:15 - 11:40
OPCT
A Calculus of Branching Processes
11:40 - 12:05
OPCT
An Axiomatic Approach to Reversible Computation
12:05 - 12:30
OPCT
Taming Concurrency for Verification using Multiparty Session Types
13:50 - 14:15
OPCT
From Testing Preorders to Flaky Tests
14:15 - 14:40
OPCT
Multiparty Reactive Sessions
14:40 - 15:05
OPCT
Independence, Concurrency and Abstraction in Graph-Rewriting Processes
15:05 - 15:30
OPCT
Linearizability in the Context of Weak Memory Models
16:00 - 16:25
OPCT
IPA: Invariant-preserving Applications for Weakly Consistent Replicated ...
16:25 - 16:50
OPCT
Compositional Reasoning for Termination of Fine-grained Concurrent Programs
16:50 - 17:15

Tue 15 Jan

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sala VII
OPCT
Revised Semantics for Sequential Composition in the Presence of Success ...
09:15 - 09:40
OPCT
ULTraS at Work: Compositionality and Equational Characterization of Beh ...
09:40 - 10:05
OPCT
A Uniform Framework of Transactional Consistency Models for Protocol Ve ...
10:05 - 10:30
OPCT
Hybrid Systems Reachability Analysis
11:15 - 11:40
OPCT
Attribute Based Communication for Collective Adaptive Systems
11:40 - 12:05
OPCT
Designing Resilient Large Scaled CPS: Models, Languages and Tools
12:05 - 12:30
OPCT
Bayes meets Dijkstra: Verifying Bayes Networks by Program Verification
13:50 - 14:15
OPCT
Model Checking True Concurrency Properties
14:15 - 14:40
OPCT
A (Co)algebraic Approach to Hennessy-Milner Theorems for Weakly Express ...
14:40 - 15:05
OPCT
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous ...
15:05 - 15:30
OPCT
Coalgebra Learning via Duality
16:00 - 16:25
OPCT
A Metric Semantics for Coordination Languages
16:25 - 16:50
OPCT
Hybrid System Iteration
16:50 - 17:15
OPCT
Closing
17:15 - 17:20