ETAPS 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
Toggle navigation
About
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Accommodation
Registration
Travel
Food
Social Events
Conferences
Scholarships
Proceedings
Awards
Conduct
ETAPS'19 Photos
Program
ETAPS Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Conferences
ETAPS 2019
Keynotes
Mentoring Workshop
Mooly Fest
Posters
Social
Student Volunteers
TOOLympics
Tutorials
Workshops
Co-hosted Conferences
ESOP
FASE
FOSSACS
POST
TACAS
Workshops
BEHAPI
CREST
DICE-FOPARA
GaLoP
HCVS
HSB
InterAVT
LiVe
MeTRiD
PERR
PLACES
QAPL
SPIoT
SYNT Camp
SynCoP
VerifyThis
Organization
ETAPS 2019 Committees
Organizing Committee
Steering Committee
Executive Board
Track Committees
Mentoring Workshop
Speakers
Mentors
Organizers
Mooly Fest
Posters
TOOLympics
Workshops
Contributors
People Index
Co-hosted Conferences
ESOP
Program Committee
FASE
Program Committee
FOSSACS
Invited Speaker
Program Committee
POST
Program Committee
TACAS
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
BEHAPI
Organizing Committee
Program Committee
CREST
Invited Speakers
Program Committee
DICE-FOPARA
Program Committee
Steering Committe (FOPARA)
Steering Committee (DICE)
GaLoP
Program Committee
Steering Committee
HCVS
Invited Speakers
Organizing Committee
Program Committee
HSB
Organizing Committee
Program Committee
InterAVT
Organizing Committee
Program Committee
LiVe
Program Committee
MeTRiD
Organizing Committee
Program Committee
PERR
Organizing Committee
Program Committee
PLACES
Organizing Committee
Program Committee
QAPL
Organizing Committee
Steering Committee
SPIoT
Organizing Committee
Program Committee
SYNT Camp
Organizing Committee
Program Committee
SynCoP
Organizing Committee
Steering Committee (and PC)
VerifyThis
Organizing Committee
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
Orea Hotel Pyramida
/
Room information: SUN II
Venue
Orea Hotel Pyramida
Room name
SUN II
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:30
Program Verification
ESOP
at
SUN II
Chair(s):
Luís Caires
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
10:30
30m
Talk
Time Credits and Time Receipts in Iris
ESOP
Glen Mével
,
Jacques-Henri Jourdan
CNRS, LRI, Université Paris-Sud
,
François Pottier
Inria, France
Link to publication
11:00
30m
Talk
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
ESOP
Guido Martínez
CIFASIS-CONICET, Argentina
,
Danel Ahman
University of Ljubljana
,
Victor Dumitrescu
Nomadic Labs Paris
,
Nick Giannarakis
Princeton University
,
Chris Hawblitzel
Microsoft Research
,
Cătălin Hriţcu
Inria Paris
,
Monal Narasimhamurthy
University of Colorado, Boulder
,
Zoe Paraskevopoulou
Princeton University
,
Clément Pit-Claudel
MIT CSAIL
,
Jonathan Protzenko
Microsoft Research, Redmond
,
Tahina Ramananandro
Microsoft Research, n.n.
,
Aseem Rastogi
Microsoft Research
,
Nikhil Swamy
Microsoft Research
Link to publication
11:30
30m
Talk
Semi-Automated Reasoning About Non-Determinism in C Expressions
ESOP
Dan Frumin
Radboud University
,
Léon Gondelman
LRI, Université Paris-Sud
,
Robbert Krebbers
Delft University of Technology
Link to publication
12:00
30m
Talk
Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog
ESOP
Michael Peyton Jones
IOHK
,
Mario Alvarez-Picallo
University of Oxford
,
Alexander Eyers-Taylor
Semmle
,
C.-H. Luke Ong
University of Oxford
Link to publication
14:00 - 16:00
Language Design
ESOP
at
SUN II
Chair(s):
Atsushi Igarashi
Kyoto University, Japan
14:00
30m
Talk
Codata in Action
ESOP
Paul Downen
University of Oregon, USA
,
Zachary Sullivan
,
Zena M. Ariola
University of Oregon, USA
,
Simon Peyton Jones
Microsoft, UK
Link to publication
14:30
30m
Talk
Composing bidirectional programs monadically
ESOP
Li-yao Xia
University of Pennsylvania
,
Dominic Orchard
University of Kent, UK
,
Meng Wang
University of Bristol, UK
Link to publication
15:00
30m
Talk
Counters in Kappa: Semantics, Simulation, and Static Analysis
ESOP
Pierre Boutillier
,
Ioana Cristescu
INRIA, France
,
Jerome Feret
INRIA Paris
Link to publication
15:30
30m
Talk
One Step at a Time
ESOP
Kathleen Fisher
Tufts University
,
Ferdinand Vesely
Swansea University
Link to publication
17:00 - 18:00
Vitek
Mentoring Workshop
at
SUN II
17:00
60m
Talk
Do programming languages matter for correctness of code? A reproduction study
Mentoring Workshop
Jan Vitek
Northeastern University and Czech Technical University
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:30
Types
ESOP
at
SUN II
Chair(s):
Vasco T. Vasconcelos
University of Lisbon, Portugal
10:30
30m
Talk
Handling polymorphic algebraic effects
ESOP
Taro Sekiyama
National Institute of Informatics
,
Atsushi Igarashi
Kyoto University, Japan
Link to publication
11:00
30m
Talk
Distributive Disjoint Polymorphism for Compositional Programming
ESOP
Xuan Bi
Standard Chartered Bank
,
Ningning Xie
University of Toronto
,
Bruno C. d. S. Oliveira
The University of Hong Kong, Hong Kong
,
Tom Schrijvers
KU Leuven
Link to publication
11:30
30m
Talk
Types by Need
ESOP
Beniamino Accattoli
Inria & Ecole Polytechnique
,
Giulio Guerrieri
University of Bath
,
Maico Leberle
Link to publication
12:00
30m
Talk
Verifiable certificates for predicate subtyping
ESOP
Frédéric Gilbert
Link to publication
14:00 - 16:00
Program Semantics
ESOP
at
SUN II
Chair(s):
Andrzej Murawski
University of Oxford
14:00
30m
Talk
Extended call-by-push-value: reasoning about effectful programs and evaluation order
Best paper nomination
ESOP
Dylan McDermott
University of Cambridge
,
Alan Mycroft
University of Cambridge
Link to publication
14:30
30m
Talk
Effectful Normal-Form Bisimulation
ESOP
Ugo Dal Lago
University of Bologna / Inria
,
Francesco Gavazzo
Link to publication
15:00
30m
Talk
On the Multi-Language Construction
ESOP
Samuele Buro
Università degli Studi di Verona
,
Isabella Mastroeni
University of Verona, Italy
Link to publication
15:30
30m
Talk
Probabilistic Programming Inference via Intensional Semantics
ESOP
Simon Castellan
Imperial College London, UK
,
Hugo Paquet
University of Cambridge
Link to publication
16:30 - 18:00
Beyer
Tutorials
at
SUN II
Chair(s):
Joost-Pieter Katoen
RWTH Aachen University
16:30
90m
Talk
Software Verification — An Overview of the State of the Art
Tutorials
Dirk Beyer
LMU Munich
File Attached
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:30
Security and Incremental Computation
ESOP
at
SUN II
Chair(s):
Zhong Shao
Yale University
10:30
30m
Talk
Robustly Safe Compilation
ESOP
Marco Patrignani
Stanford University & CISPA Helmholtz Center for Information Security
,
Deepak Garg
Max Planck Institute for Software Systems
Link to publication
11:00
30m
Talk
Compiling Sandboxes: Formally Verified Software Fault Isolation
ESOP
Frédéric Besson
,
Sandrine Blazy
Univ Rennes- IRISA
,
Alexandre Dang
,
Thomas P. Jensen
INRIA Rennes
,
Pierre Wilke
Yale University
Link to publication
11:30
30m
Talk
Safe Deferred Memory Reclamation with Types
ESOP
Ismail Kuru
Drexel University
,
Colin Gordon
Drexel University
Link to publication
12:00
30m
Talk
Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation
ESOP
Paolo G. Giarrusso
TU Delft, The Netherlands
,
Yann Régis-Gianas
IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
,
Philipp Schuster
University of Tübingen, Germany
Link to publication
13:00 - 14:00
General Assembly
Social
at
SUN II
13:00
60m
Meeting
ETAPS eV General Assembly
Social
14:00 - 16:00
Concurrency and Distribution
ESOP
at
SUN II
Chair(s):
Luca Padovani
University of Turin
14:00
30m
Talk
Asynchronous timed session types: duality and time-sensitive processes
ESOP
Laura Bocchi
University of Kent
,
Maurizio Murgia
,
Vasco T. Vasconcelos
University of Lisbon, Portugal
,
Nobuko Yoshida
Imperial College London
Link to publication
14:30
30m
Talk
Manifest Deadlock-Freedom for Shared Session Types
ESOP
Stephanie Balzer
Carnegie Mellon University
,
Bernardo Toninho
Imperial College London
,
Frank Pfenning
Carnegie Mellon University, USA
Link to publication
15:00
30m
Talk
A Categorical Model of an i/o-typed pi-calculus
ESOP
Ken Sakayori
The University of Tokyo
,
Takeshi Tsukada
University of Tokyo, Japan
Link to publication
15:30
30m
Talk
A Process Algebra for Link Layer Protocols
ESOP
Rob van Glabbeek
,
Peter Höfner
,
Michael Markl
Link to publication
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:30
Program Analysis and Automated Verification
ESOP
at
SUN II
Chair(s):
Stephanie Balzer
Carnegie Mellon University
10:30
30m
Talk
Data-Races and Static Analysis for Interrupt-Driven Kernels
ESOP
Nikita Chopra
,
R Rekha
,
Deepak D'Souza
Link to publication
11:00
30m
Talk
An abstract domain for trees with numeric relations
ESOP
Matthieu Journault
,
Antoine Miné
UPMC, France
,
Abdelraouf Ouadjaout
Sorbonne Université
Link to publication
11:30
30m
Talk
A static higher-order dependency pair framework
ESOP
Carsten Fuhs
Birkbeck, University of London
,
Cynthia Kop
Radboud University Nijmegen
Link to publication
12:00
30m
Talk
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses
ESOP
Henning Basold
CNRS & ENS Lyon
,
Ekaterina Komendantskaya
Heriot-Watt University, UK
,
Yue Li
Heriot-Watt University, UK
Link to publication
14:00 - 16:00
Verification
FOSSACS
at
SUN II
Chair(s):
Mikolaj Bojanczyk
University of Warsaw
14:00
30m
Talk
Tight Worst-Case Bounds for Polynomial Loop Programs
FOSSACS
Amir Ben-Amram
,
Geoff Hamilton
Link to publication
14:30
30m
Talk
Kleene algebra with hypotheses
FOSSACS
Amina Doumane
,
Denis Kuperberg
,
Damien Pous
CNRS
,
Pierre Pradic
Link to publication
15:00
30m
Talk
The Impatient May Use Limited Optimism to Minimize Regret
FOSSACS
Michaël Cadilhac
,
Guillermo A. Perez
University of Antwerp
,
Marie van den Bogaard
Link to publication
15:30
30m
Talk
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
FOSSACS
Jakob Piribauer
,
Christel Baier
TU Dresden, Germany
Link to publication
16:30 - 17:00
Verification (continued)
FOSSACS
at
SUN II
Chair(s):
Mikolaj Bojanczyk
University of Warsaw
16:30
30m
Talk
The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains
Best paper nomination
FOSSACS
Mnacho Echenim
,
Radu Iosif
VERIMAG, CNRS, Université Grenoble-Alpes
,
Nicolas Peltier
Link to publication
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SUN II
ESOP
Program Verification
ESOP
Language Design
Mentoring Workshop
Vitek
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SUN II
ESOP
Types
ESOP
Program Semantics
Tutorials
Beyer
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
SUN II
ESOP
Security and Incremental Computation
Social
General Assembly
ESOP
Concurrency and Distribution
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
SUN II
ESOP
Program Analysis and Automated Verification
FOSSACS
Verification
FOSSACS
Verification (continued)
Mentoring Workshop
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
SUN II
ESOP
Time Credits and Time Receipts in Iris
10:30 - 11:00
ESOP
Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms
11:00 - 11:30
ESOP
Semi-Automated Reasoning About Non-Determinism in C Expressions
11:30 - 12:00
ESOP
Fixing Incremental Computation: Derivatives of fixpoints, and the recur ...
12:00 - 12:30
ESOP
Codata in Action
14:00 - 14:30
ESOP
Composing bidirectional programs monadically
14:30 - 15:00
ESOP
Counters in Kappa: Semantics, Simulation, and Static Analysis
15:00 - 15:30
ESOP
One Step at a Time
15:30 - 16:00
ETAPS Mentoring Workshop
Do programming languages matter for correctness of code? A reproduction ...
17:00 - 18:00
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
SUN II
ESOP
Handling polymorphic algebraic effects
10:30 - 11:00
ESOP
Distributive Disjoint Polymorphism for Compositional Programming
11:00 - 11:30
ESOP
Types by Need
11:30 - 12:00
ESOP
Verifiable certificates for predicate subtyping
12:00 - 12:30
ESOP
Best paper nomination
Extended call-by-push-value: reasoning about effectful programs and eva ...
14:00 - 14:30
ESOP
Effectful Normal-Form Bisimulation
14:30 - 15:00
ESOP
On the Multi-Language Construction
15:00 - 15:30
ESOP
Probabilistic Programming Inference via Intensional Semantics
15:30 - 16:00
ETAPS Tutorials
Software Verification — An Overview of the State of the Art
16:30 - 18:00
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
SUN II
ESOP
Robustly Safe Compilation
10:30 - 11:00
ESOP
Compiling Sandboxes: Formally Verified Software Fault Isolation
11:00 - 11:30
ESOP
Safe Deferred Memory Reclamation with Types
11:30 - 12:00
ESOP
Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by P ...
12:00 - 12:30
ETAPS Social
ETAPS eV General Assembly
13:00 - 14:00
ESOP
Asynchronous timed session types: duality and time-sensitive processes
14:00 - 14:30
ESOP
Manifest Deadlock-Freedom for Shared Session Types
14:30 - 15:00
ESOP
A Categorical Model of an i/o-typed pi-calculus
15:00 - 15:30
ESOP
A Process Algebra for Link Layer Protocols
15:30 - 16:00
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
SUN II
ESOP
Data-Races and Static Analysis for Interrupt-Driven Kernels
10:30 - 11:00
ESOP
An abstract domain for trees with numeric relations
11:00 - 11:30
ESOP
A static higher-order dependency pair framework
11:30 - 12:00
ESOP
Coinduction in Uniform: Foundations for Corecursive Proof Search with H ...
12:00 - 12:30
FOSSACS
Tight Worst-Case Bounds for Polynomial Loop Programs
14:00 - 14:30
FOSSACS
Kleene algebra with hypotheses
14:30 - 15:00
FOSSACS
The Impatient May Use Limited Optimism to Minimize Regret
15:00 - 15:30
FOSSACS
Partial and Conditional Expectations in Markov Decision Processes with ...
15:30 - 16:00
FOSSACS
Best paper nomination
The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary ...
16:30 - 17:00
x
Fri 6 Dec 09:27