Write a Blog >>
TACAS 2019
Mon 8 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
ETAPS 2019 (series) / TACAS 2019 (series) / Orea Hotel Pyramida /

Room information: 1st Floor Reception Area (Posters)

VenueOrea Hotel Pyramida
Room name1st Floor Reception Area (Posters)
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 8 Apr

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

18:30 - 20:30
Main Poster SessionETAPS 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

Room18:003019:003020:0030
1st Floor Reception Area (Posters)

ETAPS Posters

Main Poster Session

Mon 8 Apr

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

Room18:0015304519:0015304520:00153045
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