VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueOrea Hotel Pyramida
Room nameJUPITER
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

08:00 - 09:00
Mentoring Breakfast IETAPS Mentoring Workshop at JUPITER

Tue 9 Apr

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

10:30 - 12:30
Software Verification IFASE at JUPITER
Chair(s): Wil van der Aalst RWTH Aachen
10:30
30m
Talk
Tool Support for Correctness-by-Construction
FASE
Tobias Runge TU Braunschweig, Ina Schaefer Technische Universität Braunschweig, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU), Thomas Thüm University of Ulm, Derrick Kourie Stellenbosch University, Bruce W Watson
Link to publication
11:00
30m
Talk
Automatic Modeling for Opaque Code in JavaScript Static Analysis
FASE
Joonyoung Park , Alexander Jordan Oracle Labs, Australia, Sukyoung Ryu KAIST, South Korea
Link to publication
11:30
30m
Talk
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
FASE
Min Zhang East China Normal University, Fu Song , Frederic Mallet Université Côte d'Azur, France, Xiaohong Chen
Link to publication
12:00
30m
Talk
A Hybrid Dynamic Logic for Event/Data-based SystemsBest paper nomination
FASE
Rolf Hennicker Ludwig Maximilians University Munich, Germany, Alexandre Madeira , Alexander Knapp
Link to publication
14:00 - 15:00
Machine LearningTACAS at JUPITER
Chair(s): Bernhard Steffen Technical University Dortmund
14:00
30m
Talk
Omega-Regular Objectives in Model-Free Reinforcement Learning
TACAS
Ernst Moritz Hahn Queen's University Belfast, Mateo Perez , Sven Schewe University of Liverpool, Fabio Somenzi , Ashutosh Trivedi , Dominik Wojtczak
Link to publication
14:30
30m
Talk
Verifiably Safe Off-Model Reinforcement Learning
TACAS
Nathan Fulton MIT-IBM Watson AI Lab, André Platzer Carnegie Mellon University
Link to publication
17:00 - 18:00
17:00
60m
Talk
A tale of two MURIs: Authorization Meets Model Checking
ETAPS Mentoring Workshop
Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc.

Wed 10 Apr

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

17:00 - 18:00
17:00
60m
Talk
Formal methods can be practical: Verifying time-critical systems
ETAPS Mentoring Workshop
Reinhard Wilhelm Saarland University

Thu 11 Apr

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

14:00 - 16:00
Specification, Design, and Implementation of Particular Classes of SystemsFASE at JUPITER
Chair(s): Reiner Hähnle Technical University of Darmstadt
14:00
30m
Talk
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
FASE
Chao Peng University of Edinburgh, UK, Ajitha Rajan University of Edinburgh
Link to publication
14:30
30m
Talk
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
FASE
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
Link to publication
15:00
30m
Talk
Optimal and Automated Deployment for Microservices
FASE
Mario Bravetti Università di Bologna, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Jacopo Mauro University of Southern Denmark, Iacopo Talevi , Gianluigi Zavattaro
Link to publication
15:30
30m
Talk
A Data Flow Model with Frequency Arithmetic
FASE
Link to publication
16:30 - 18:00
Software TestingFASE at JUPITER
Chair(s): Silvia Lizeth Tapia Tarifa University of Oslo
16:30
30m
Talk
CoVeriTest: Cooperative, Verifier-Based Testing
FASE
Dirk Beyer LMU Munich, Marie-Christine Jakobs TU Darmstadt, Germany
Link to publication
17:00
30m
Talk
Pardis: Priority Aware Test Case Reduction
FASE
Golnaz Gharachorlu , Nick Sumner Simon Fraser University
Link to publication
17:30
30m
Talk
Automatically Identifying Sufficient Object Builders from Module APIs
FASE
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
Link to publication

Sun 7 Apr

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

Tue 9 Apr

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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
JUPITER

Wed 10 Apr

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

Thu 11 Apr

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