Write a Blog >>
MeTRiD 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
co-located with
ETAPS 2019
Toggle navigation
Attending
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Program
Complete Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Track/Call
Organization
MeTRiD 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
MeTRiD 2019 (
series
) /
Orea Hotel Pyramida
/
Room information: 1st Floor Reception Area (Posters)
Venue
Orea Hotel Pyramida
Room name
1st Floor Reception Area (Posters)
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
18:30 - 20:30
Main Poster Session
ETAPS Posters
at
1st Floor Reception Area (Posters)
Chair(s):
Konrad Siek
Czech Technical University in Prague
18:30
3m
Poster
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
ETAPS Posters
Jakob Piribauer
,
Christel Baier
TU Dresden, Germany
18:33
3m
Poster
Information Flow Control Parallel Runtime Systems Foundations
ETAPS Posters
Marco Vassena
Chalmers University of Technology
,
Deian Stefan
University of California San Diego
18:37
3m
Poster
VyPR2: A Framework for Runtime Verification of Python Web Services
ETAPS Posters
Joshua Dawes
University of Manchester and CERN
,
Giles Reger
University of Manchester
,
Giovanni Franzoni
,
Andreas Pfeiffer
,
Giacomo Govi
18:40
3m
Poster
Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms
ETAPS Posters
Assel Altayeva
Imperial College London
,
Nobuko Yoshida
Imperial College London
18:44
3m
Poster
Tool Support for Correctness-by-Construction
ETAPS Posters
Tobias Runge
TU Braunschweig
,
Thomas Thüm
University of Ulm
,
Loek Cleophas
Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)
,
Ina Schaefer
Technische Universität Braunschweig
,
Bruce W Watson
,
Derrick Kourie
Stellenbosch University
18:47
3m
Poster
Verifiably Safe Off-Model Reinforcement Learning
ETAPS Posters
Nathan Fulton
MIT-IBM Watson AI Lab
,
André Platzer
Carnegie Mellon University
18:51
3m
Poster
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
ETAPS Posters
Mahmoud Khaled
TU Munich
,
Eric Kim
,
Murat Arcak
,
Majid Zamani
18:54
3m
Poster
FreeST: context-free session types in a functional language
ETAPS Posters
Bernardo Almeida
Universidade de Lisboa
,
Andreia Mordido
Lasige / Faculty of Sciences, Universidade de Lisboa
,
Vasco T. Vasconcelos
University of Lisbon, Portugal
18:58
3m
Poster
WAPS: Weighted and Projected Sampling
ETAPS Posters
Rahul Gupta
,
Shubham Sharma
,
Subhajit Roy
IIT Kanpur, India
,
Kuldeep S. Meel
National University of Singapore
19:01
3m
Poster
Semantic Fault Localization and Suspiciousness Ranking
ETAPS Posters
Maria Christakis
MPI-SWS
,
Matthias Heizmann
University of Freiburg
,
Muhammad Numair Mansur
Max Planck Institute for Software Systems (MPI-SWS)
,
Christian Schilling
IST Austria
,
Valentin Wüstholz
ConsenSys Diligence
19:05
3m
Poster
The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
ETAPS Posters
Olav Bunte
,
Jan Friso Groote
,
Jeroen J.A. Keiren
,
Maurice Laveaux
,
Thomas Neele
,
Erik P. de Vink
,
Wieger Wesselink
,
Anton Wijs
Eindhoven University of Technology
,
Tim A.C. Willemse
19:08
3m
Poster
Distributive Disjoint Polymorphism for Compositional Programming
ETAPS Posters
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
19:12
3m
Poster
Ultimate Automizer
ETAPS Posters
Matthias Heizmann
University of Freiburg
,
Yu-Fang Chen
Academia Sinica
,
Daniel Dietsch
University of Freiburg
,
Marius Greitschus
,
Jochen Hoenicke
Universität Freiburg
,
Yong Li
Institute of Software, Chinese Academy of Sciences
,
Alexander Nutz
University of Freiburg, Germany
,
Pavel Andrianov
,
Christian Schilling
IST Austria
,
Tanja Schindler
University of Freiburg
,
Andreas Podelski
University of Freiburg, Germany
19:15
3m
Poster
Automatically Identifying Sufficient Object Builders from Module APIs
ETAPS Posters
Pablo Ponzio
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Valeria Bengolea
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Mariano Politano
,
Nazareno Aguirre
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Marcelo F. Frias
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
19:19
3m
Poster
CPAchecker with Strategy Selection
ETAPS Posters
Karlheinz Friedberger
,
Marie-Christine Jakobs
TU Darmstadt, Germany
,
Thomas Lemberger
,
Martin Spiessl
,
Philipp Wendler
19:22
3m
Poster
DeepFault: Fault Localization for Deep Neural Networks
ETAPS Posters
Hasan Ferit Eniser
,
Simos Gerasimou
,
Alper Sen
19:26
3m
Poster
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
ETAPS Posters
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
,
Ben Hermann
University of Paderborn
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
19:30
3m
Poster
Credential Scanning powered by Symbolic Regex Matching
ETAPS Posters
Margus Veanes
Microsoft Research
,
Olli Saarikivi
,
Eric Xu
Microsoft, USA
,
Tiki Wan
,
Arvind Ravi
Microsoft Azure
19:33
3m
Poster
ROLL 1.0: $\omega$-Regular Language Learning Library
ETAPS Posters
Yong Li
Institute of Software, Chinese Academy of Sciences
,
Xuechao Sun
,
Andrea Turrini
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
,
Yu-Fang Chen
Academia Sinica
,
Junnan Xu
19:37
3m
Poster
Parallel SAT Simplification on GPU Architectures
ETAPS Posters
Muhammad Osama
Eindhoven University of Technology
,
Anton Wijs
Eindhoven University of Technology
19:40
3m
Poster
Computing Coupled Similarity
ETAPS Posters
Benjamin Bisping
Technische Universität Berlin
,
Uwe Nestmann
19:44
3m
Poster
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
ETAPS Posters
Nikolaos Bezirgiannis
,
Frank S. de Boer
Centrum Wiskunde & Informatica, Leiden University
,
Einar Broch Johnsen
University of Oslo
,
Violet Ka I Pun
,
Silvia Lizeth Tapia Tarifa
University of Oslo
19:47
3m
Poster
Minimal-Time Synthesis for Parametric Timed Automata
ETAPS Posters
Étienne André
LIPN, CNRS UMR 7030, Université Paris 13
,
Vincent Bloemen
University of Twente
,
Laure Petrucci
Université Paris 13
,
Jaco van de Pol
Aarhus University
19:51
3m
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
ETAPS Posters
Pavel Andrianov
,
Heike Wehrheim
Paderborn University
19:54
3m
Poster
The COMPASS 3.0 Toolset
ETAPS Posters
Marco Bozzano
,
Harold Bruintjes
,
Alessandro Cimatti
Fondazione Bruno Kessler
,
Joost-Pieter Katoen
RWTH Aachen University
,
Thomas Noll
RWTH Aachen University
,
Stefano Tonetta
Fondazione Bruno Kessler, Italy
19:58
3m
Poster
CoVeriTest: Cooperative Verifier-Based Testing
ETAPS Posters
Dirk Beyer
LMU Munich
,
Marie-Christine Jakobs
TU Darmstadt, Germany
20:01
3m
Poster
Decomposing Farkas Interpolants
ETAPS Posters
Martin Blicha
USI Lugano, Switzerland
,
Antti Hyvärinen
,
Jan Kofroň
Charles University
,
Natasha Sharygina
USI Lugano, Switzerland
20:05
3m
Poster
ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
ETAPS Posters
Bo-Yuan Huang
Princeton University, USA
,
Hongce Zhang
,
Aarti Gupta
Princeton University
,
Sharad Malik
Princeton University
20:08
3m
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
ETAPS Posters
Lucas Cordeiro
University of Oxford
,
Daniel Kroening
University of Oxford
,
Peter Schrammel
University of Oxford, UK
20:12
3m
Poster
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
ETAPS Posters
Chao Peng
University of Edinburgh, UK
,
Ajitha Rajan
University of Edinburgh
20:15
3m
Poster
Business Process Privacy Analysis in Pleak
ETAPS Posters
Aivo Toots
,
Reedik Tuuling
,
Maksym Yerokhin
,
Marlon Dumas
,
Luciano García-Bañuelos
University of Tartu
,
Peeter Laud
,
Raimundas Matulevicius
,
Alisa Pankova
,
Martin Pettai
,
Pille Pullonen
,
Jake Tom
20:19
3m
Poster
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
ETAPS Posters
Ilina Stoilkovska
Vienna University of Technology
,
Igor Konnov
Inria Nancy
,
Josef Widder
TU Wien
,
Florian Zuleger
Vienna University of Technology
20:22
3m
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
ETAPS Posters
Pavel Andrianov
,
Pavel Andrianov
,
Pavel Andrianov
20:26
3m
Poster
Constraint-based Monitoring of Hyperproperties
ETAPS Posters
Bernd Finkbeiner
,
Christopher Hahn
,
Marvin Stenger
,
Leander Tentrup
Saarland University
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
18:00
30
19:00
30
20:00
30
1st Floor Reception Area (Posters)
ETAPS Posters
Main Poster Session
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
1st Floor Reception Area (Posters)
ETAPS Posters
Partial and Conditional Expectations in Markov Decision Processes with ...
18:30 - 18:33
ETAPS Posters
Information Flow Control Parallel Runtime Systems Foundations
18:33 - 18:37
ETAPS Posters
VyPR2: A Framework for Runtime Verification of Python Web Services
18:37 - 18:40
ETAPS Posters
Distributed Ledger Choreography Management via Provenance and Multipart ...
18:40 - 18:44
ETAPS Posters
Tool Support for Correctness-by-Construction
18:44 - 18:47
ETAPS Posters
Verifiably Safe Off-Model Reinforcement Learning
18:47 - 18:51
ETAPS Posters
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Ap ...
18:51 - 18:54
ETAPS Posters
FreeST: context-free session types in a functional language
18:54 - 18:58
ETAPS Posters
WAPS: Weighted and Projected Sampling
18:58 - 19:01
ETAPS Posters
Semantic Fault Localization and Suspiciousness Ranking
19:01 - 19:05
ETAPS Posters
The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Exp ...
19:05 - 19:08
ETAPS Posters
Distributive Disjoint Polymorphism for Compositional Programming
19:08 - 19:12
ETAPS Posters
Ultimate Automizer
19:12 - 19:15
ETAPS Posters
Automatically Identifying Sufficient Object Builders from Module APIs
19:15 - 19:19
ETAPS Posters
CPAchecker with Strategy Selection
19:19 - 19:22
ETAPS Posters
DeepFault: Fault Localization for Deep Neural Networks
19:22 - 19:26
ETAPS Posters
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
19:26 - 19:30
ETAPS Posters
Credential Scanning powered by Symbolic Regex Matching
19:30 - 19:33
ETAPS Posters
ROLL 1.0: $\omega$-Regular Language Learning Library
19:33 - 19:37
ETAPS Posters
Parallel SAT Simplification on GPU Architectures
19:37 - 19:40
ETAPS Posters
Computing Coupled Similarity
19:40 - 19:44
ETAPS Posters
Implementing SOS with Active Objects: A Case Study of a Multicore Memor ...
19:44 - 19:47
ETAPS Posters
Minimal-Time Synthesis for Parametric Timed Automata
19:47 - 19:51
ETAPS Posters
PeSCo: Predicting Sequential Combinations of Verifiers
19:51 - 19:54
ETAPS Posters
The COMPASS 3.0 Toolset
19:54 - 19:58
ETAPS Posters
CoVeriTest: Cooperative Verifier-Based Testing
19:58 - 20:01
ETAPS Posters
Decomposing Farkas Interpolants
20:01 - 20:05
ETAPS Posters
ILAng: A Modeling and Verification Platform for SoCs using Instruction- ...
20:05 - 20:08
ETAPS Posters
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
20:08 - 20:12
ETAPS Posters
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
20:12 - 20:15
ETAPS Posters
Business Process Privacy Analysis in Pleak
20:15 - 20:19
ETAPS Posters
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Mo ...
20:19 - 20:22
ETAPS Posters
CPALockator: Thread-Modular Approach with Transition Abstraction for An ...
20:22 - 20:26
ETAPS Posters
Constraint-based Monitoring of Hyperproperties
20:26 - 20:30
x
Fri 8 Nov 14:24