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 I
Venue
Orea Hotel Pyramida
Room name
SUN I
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
08:40 - 09:00
Opening
Social
at
SUN I
08:40
20m
Social Event
Opening
Social
Joost-Pieter Katoen
RWTH Aachen University
,
Jan Vitek
Northeastern University and Czech Technical University
,
Jan Kofroň
Charles University
09:00 - 10:00
Chechik
Keynotes
at
SUN I
Chair(s):
Joost-Pieter Katoen
RWTH Aachen University
09:00
60m
Talk
Software Assurance in an Uncertain World
Keynotes
Marsha Chechik
University of Toronto
Link to publication
File Attached
10:30 - 12:30
SAT and SMT I
TACAS
at
SUN I
Chair(s):
Lijun Zhang
Chinese Academy of Sciences
10:30
30m
Talk
Decomposing Farkas Interpolants
TACAS
Martin Blicha
USI Lugano, Switzerland
,
Antti Hyvärinen
,
Jan Kofroň
Charles University
,
Natasha Sharygina
USI Lugano, Switzerland
Link to publication
11:00
30m
Talk
Parallel SAT Simplification on GPU Architectures
TACAS
Muhammad Osama
Eindhoven University of Technology
,
Anton Wijs
Eindhoven University of Technology
Link to publication
11:30
30m
Talk
Encoding Redundancy for Satisfaction-Driven Clause Learning
Best paper nomination
TACAS
Marijn Heule
The University of Texas at Austin
,
Benjamin Kiesl
CISPA Helmholtz Center for Information Security
,
Armin Biere
Johannes Kepler University Linz
Link to publication
12:00
30m
Talk
WAPS: Weighted and Projected Sampling
TACAS
Rahul Gupta
,
Shubham Sharma
,
Subhajit Roy
IIT Kanpur, India
,
Kuldeep S. Meel
National University of Singapore
Link to publication
14:00 - 16:00
Verification and Analysis
TACAS
at
SUN I
Chair(s):
Dirk Beyer
LMU Munich
14:00
30m
Talk
LCV: A Verification Tool for Linear Controller Software
TACAS
Junkil Park
University of Pennsylvania
,
Miroslav Pajic
Duke University
,
Oleg Sokolsky
University of Pennsylvania, USA
,
Insup Lee
Link to publication
14:30
30m
Talk
Semantic Fault Localization and Suspiciousness Ranking
TACAS
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
Link to publication
15:00
30m
Talk
Computing Coupled Similarity
TACAS
Benjamin Bisping
Technische Universität Berlin
,
Uwe Nestmann
Link to publication
15:30
30m
Talk
Reachability Analysis for Termination and Confluence of Rewriting
TACAS
Christian Sternagel
University of Innsbruck, Austria
,
Akihisa Yamada
Link to publication
16:30 - 18:00
SAT Solving and Theorem Proving
TACAS
at
SUN I
Chair(s):
Armin Biere
Johannes Kepler University Linz
16:30
30m
Talk
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
TACAS
Pengfei Gao
,
Hongyi Xie
,
Jun Zhang
,
Fu Song
,
Taolue Chen
Birkbeck, University of London
Link to publication
17:00
30m
Talk
Incremental Analysis of Evolving Alloy Models
TACAS
Wenxi Wang
The University of Texas at Austin, Texas, USA
,
Kaiyuan Wang
Google, Inc.
,
Milos Gligoric
University of Texas at Austin
,
Sarfraz Khurshid
University of Texas at Austin
Link to publication
17:30
30m
Talk
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
TACAS
Petar Vukmirović
,
Jasmin Blanchette
Vrije Universiteit Amsterdam
,
Simon Cruanes
,
Stephan Schulz
Link to publication
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Colcombet
Keynotes
at
SUN I
Chair(s):
Mikolaj Bojanczyk
University of Warsaw
09:00
60m
Talk
On infinite duration games
Keynotes
Thomas Colcombet
IRIF, University Paris Diderot and CNRS, France
Link to publication
File Attached
10:30 - 12:30
SAT and SMT II
TACAS
at
SUN I
Chair(s):
Armin Biere
Johannes Kepler University Linz
10:30
30m
Talk
Building Better Bit-Blasting for Floating-Point Problems
Best paper nomination
TACAS
Martin Brain
,
Florian Schanda
Zenuity
,
Youcheng Sun
University of Oxford
Link to publication
11:00
30m
Talk
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations
TACAS
Nils Becker
,
Peter Müller
ETH Zurich
,
Alexander J. Summers
ETH Zurich
Link to publication
11:30
30m
Talk
On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Transition
TACAS
Thomas Bläsius
,
Tobias Friedrich
,
Andrew Sutton
Link to publication
12:00
30m
Talk
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
TACAS
Ludovic Le Frioux
,
Souheib Baarir
,
Julien Sopena
,
Fabrice Kordon
Sorbonne University — LIP6
Link to publication
14:00 - 16:00
Tool Demos
TACAS
at
SUN I
Chair(s):
Marius Mikucionis
Aalborg University
14:00
15m
Talk
nonreach – A Tool for Nonreachability Analysis
TACAS
Florian Messner
,
Christian Sternagel
University of Innsbruck, Austria
Link to publication
14:15
15m
Talk
The Quantitative Verification Benchmark Set
TACAS
Arnd Hartmanns
University of Twente
,
Michaela Klauck
Saarland Informatics Campus, Saarland University
,
David Parker
University of Birmingham
,
Tim Quatmann
RWTH Aachen University
,
Enno Ruijters
Link to publication
14:30
15m
Talk
ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions
TACAS
Bo-Yuan Huang
Princeton University, USA
,
Hongce Zhang
,
Aarti Gupta
Princeton University
,
Sharad Malik
Princeton University
Link to publication
14:45
15m
Talk
MetAcsl: Specification and Verification of High-Level Properties
TACAS
Virgile Robles
,
Nikolai Kosmatov
CEA List
,
Virgile Prevosto
CEA Tech List
,
Pascale Le Gall
Link to publication
15:00
15m
Talk
ROLL 1.0: $\omega$-Regular Language Learning Library
TACAS
Yu-Fang Chen
Academia Sinica
,
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
,
Junnan Xu
Link to publication
15:15
15m
Talk
Symbolic Regex Matcher
TACAS
Margus Veanes
Microsoft Research
,
Olli Saarikivi
,
Eric Xu
Microsoft, USA
,
Tiki Wan
Link to publication
15:30
15m
Talk
COMPASS 3.0
TACAS
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
Link to publication
15:45
15m
Talk
Debugging of Behavioural Models with CLEAR
TACAS
Gianluca Barbon
Universit� Grenoble Alpes, Inria, LIG
,
Vincent Leroy
University of Grenoble - CNRS
,
Gwen Salaün
University of Grenoble Alpes
Link to publication
16:30 - 18:00
Model Checking
TACAS
at
SUN I
Chair(s):
Florian Zuleger
Vienna University of Technology
16:30
30m
Talk
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
TACAS
Gina Belmonte
,
Vincenzo Ciancia
,
Diego Latella
,
Mieke Massink
CNR-ISTI Pisa, Italy
Link to publication
17:00
30m
Talk
On Reachability in Parameterized Phaser Programs
TACAS
Petru Eles
,
Zeinab Ganjei
,
Ludovic Henrio
CNRS
,
Zebo Peng
,
Ahmed Rezine
Link to publication
17:30
30m
Talk
Abstract Dependency Graphs and Their Application to Model Checking
Best paper nomination
TACAS
Søren Enevoldsen
,
Kim Larsen
Aalborg University
,
Jiri Srba
Link to publication
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Fisher
Keynotes
at
SUN I
Chair(s):
Luís Caires
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
09:00
60m
Talk
From quadcopters to helicopters: Formal verification to eliminate exploitable bugs
Keynotes
Kathleen Fisher
Tufts University
File Attached
10:30 - 12:30
Concurrent and Distributed Systems
TACAS
at
SUN I
Chair(s):
Marieke Huisman
University of Twente
10:30
30m
Talk
Multi-Core On-The-Fly Saturation
TACAS
Tom van Dijk
University of Twente
,
Jeroen Meijer
,
Jaco van de Pol
Aarhus University
Link to publication
11:00
30m
Talk
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
TACAS
Si Liu
,
Peter Ölveczky
,
Min Zhang
East China Normal University
,
Qi Wang
,
José Meseguer
Link to publication
11:30
30m
Talk
The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
TACAS
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
Link to publication
12:00
30m
Talk
Checking Deadlock-Freedom of Parametric Component-Based Systems
TACAS
Marius Bozga
Verimag/CNRS
,
Radu Iosif
VERIMAG, CNRS, Université Grenoble-Alpes
,
Joseph Sifakis
Verimag/CNRS
Link to publication
14:00 - 16:00
Hybrid and Stochastic Systems
TACAS
at
SUN I
Chair(s):
Kim Larsen
Aalborg University
14:00
30m
Talk
Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments
TACAS
Satoshi Kura
,
Natsuki Urabe
,
Ichiro Hasuo
National Institute of Informatics
Link to publication
14:30
30m
Talk
Computing the Expected Execution Time of Probabilistic Workflow Nets
TACAS
Philipp J. Meyer
,
Javier Esparza
,
Philip Offtermatt
Link to publication
15:00
30m
Talk
Shepherding Hordes of Markov Chains
TACAS
Milan Ceska
Brno University of Technology
,
Nils Jansen
RWTH Aachen University
,
Sebastian Junges
RWTH Aachen University, Germany
,
Joost-Pieter Katoen
RWTH Aachen University
Link to publication
15:30
30m
Talk
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
TACAS
Yuliya Butkova
,
Gereon Fox
Link to publication
16:30 - 18:00
Symbolic Verification
TACAS
at
SUN I
Chair(s):
Holger Hermanns
Saarland University
16:30
30m
Talk
iRank: a variable order metric for DEDS subject to linear invariants
TACAS
Elvio Gilberto Amparore
,
Gianfranco Ciardo
,
Susanna Donatelli
,
Andrew Miner
Link to publication
17:00
30m
Talk
Edge-Specified Reduction Binary Decision Diagrams
TACAS
Junaid Babar
,
Chuan Jiang
,
Gianfranco Ciardo
,
Andrew Miner
Link to publication
17:30
30m
Talk
Effective Entailment Checking for Separation Logic with Inductive Definitions
TACAS
Jens Katelaan
,
Christoph Matheja
RWTH Aachen University
,
Florian Zuleger
Vienna University of Technology
Link to publication
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Flanagan
Keynotes
at
SUN I
Chair(s):
Tomáš Vojnar
Brno University of Technology
09:00
60m
Talk
Towards Efficient and Precise Concurrent Software Analysis
Keynotes
Cormac Flanagan
University of California, Santa Cruz
File Attached
10:30 - 12:30
Synthesis
TACAS
at
SUN I
Chair(s):
Roland Meyer
Technical University of Braunschweig
10:30
30m
Talk
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
TACAS
Mahmoud Khaled
TU Munich
,
Eric Kim
,
Murat Arcak
,
Majid Zamani
Link to publication
11:00
30m
Talk
StocHy: automated verification and synthesis of stochastic processes
TACAS
Nathalie Cauchi
University of Oxford
,
Alessandro Abate
University of Oxford
Link to publication
11:30
30m
Talk
Minimal-Time Synthesis for Parametric Timed Automata
TACAS
É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
Link to publication
12:00
30m
Talk
Environmentally-friendly GR(1) Synthesis
TACAS
Rupak Majumdar
MPI-SWS, Germany
,
Nir Piterman
,
Anne-Kathrin Schmuck
Link to publication
14:00 - 16:00
Safety and Fault-tolerant Systems
TACAS
at
SUN I
Chair(s):
Rance Cleaveland
University of Maryland
14:00
30m
Talk
Digital Bifurcation Analysis of TCP Dynamics
TACAS
Nikola Benes
,
Lubos Brim
,
Samuel Pastva
,
David Safranek
Masaryk University
Link to publication
14:30
30m
Talk
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
TACAS
Ilina Stoilkovska
Vienna University of Technology
,
Igor Konnov
Inria Nancy
,
Josef Widder
TU Wien
,
Florian Zuleger
Vienna University of Technology
Link to publication
15:00
30m
Talk
Measuring Masking Fault-Tolerance
TACAS
Pablo Castro
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Pedro D'Argenio
,
Ramiro Demasi
,
Luciano Putruele
Link to publication
15:30
30m
Talk
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
TACAS
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
,
Ben Hermann
University of Paderborn
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication
16:30 - 18:00
Monitoring and Runtime Verification
TACAS
at
SUN I
Chair(s):
Ondřej Lengál
Brno University of Technology
16:30
30m
Talk
Specification and Efficient Monitoring Beyond STL
TACAS
Alexey Bakhirkin
,
Nicolas Basset
Link to publication
17:00
30m
Talk
VyPR2: A Framework for Runtime Verification of Python Web Services
TACAS
Joshua Dawes
University of Manchester and CERN
,
Giles Reger
University of Manchester
,
Giovanni Franzoni
,
Andreas Pfeiffer
,
Giacomo Govi
Link to publication
17:30
30m
Talk
Constraint-based Monitoring of Hyperproperties
TACAS
Christopher Hahn
,
Marvin Stenger
,
Leander Tentrup
Saarland University
Link to publication
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
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 I
Social
Opening
Keynotes
Chechik
TACAS
SAT and SMT I
TACAS
Verification and Analysis
TACAS
SAT Solving and Theorem Proving
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
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 I
Keynotes
Colcombet
TACAS
SAT and SMT II
TACAS
Tool Demos
TACAS
Model Checking
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
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 I
Keynotes
Fisher
TACAS
Concurrent and Distributed Systems
TACAS
Hybrid and Stochastic Systems
TACAS
Symbolic Verification
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
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 I
Keynotes
Flanagan
TACAS
Synthesis
TACAS
Safety and Fault-tolerant Systems
TACAS
Monitoring and Runtime Verification
Mon 8 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
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 I
ETAPS Social
Opening
08:40 - 09:00
ETAPS Keynotes
Software Assurance in an Uncertain World
09:00 - 10:00
TACAS
Decomposing Farkas Interpolants
10:30 - 11:00
TACAS
Parallel SAT Simplification on GPU Architectures
11:00 - 11:30
TACAS
Best paper nomination
Encoding Redundancy for Satisfaction-Driven Clause Learning
11:30 - 12:00
TACAS
WAPS: Weighted and Projected Sampling
12:00 - 12:30
TACAS
LCV: A Verification Tool for Linear Controller Software
14:00 - 14:30
TACAS
Semantic Fault Localization and Suspiciousness Ranking
14:30 - 15:00
TACAS
Computing Coupled Similarity
15:00 - 15:30
TACAS
Reachability Analysis for Termination and Confluence of Rewriting
15:30 - 16:00
TACAS
Quantitative Verification of Masked Arithmetic Programs against Side-Ch ...
16:30 - 17:00
TACAS
Incremental Analysis of Evolving Alloy Models
17:00 - 17:30
TACAS
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
17:30 - 18:00
Tue 9 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
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 I
ETAPS Keynotes
On infinite duration games
09:00 - 10:00
TACAS
Best paper nomination
Building Better Bit-Blasting for Floating-Point Problems
10:30 - 11:00
TACAS
The Axiom Profiler: Understanding and Debugging SMT Quantifier Instanti ...
11:00 - 11:30
TACAS
On the Empirical Time Complexity of Scale-Free 3-SAT at the Phase Trans ...
11:30 - 12:00
TACAS
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painl ...
12:00 - 12:30
TACAS
nonreach – A Tool for Nonreachability Analysis
14:00 - 14:15
TACAS
The Quantitative Verification Benchmark Set
14:15 - 14:30
TACAS
ILAng: A Modeling Platform for SoC Verification using Instruction-Level ...
14:30 - 14:45
TACAS
MetAcsl: Specification and Verification of High-Level Properties
14:45 - 15:00
TACAS
ROLL 1.0: $\omega$-Regular Language Learning Library
15:00 - 15:15
TACAS
Symbolic Regex Matcher
15:15 - 15:30
TACAS
COMPASS 3.0
15:30 - 15:45
TACAS
Debugging of Behavioural Models with CLEAR
15:45 - 16:00
TACAS
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
16:30 - 17:00
TACAS
On Reachability in Parameterized Phaser Programs
17:00 - 17:30
TACAS
Best paper nomination
Abstract Dependency Graphs and Their Application to Model Checking
17:30 - 18:00
Wed 10 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
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 I
ETAPS Keynotes
From quadcopters to helicopters: Formal verification to eliminate explo ...
09:00 - 10:00
TACAS
Multi-Core On-The-Fly Saturation
10:30 - 11:00
TACAS
Automatic Analysis of Consistency Properties of Distributed Transaction ...
11:00 - 11:30
TACAS
The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Exp ...
11:30 - 12:00
TACAS
Checking Deadlock-Freedom of Parametric Component-Based Systems
12:00 - 12:30
TACAS
Tail Probabilities for Runtimes of Randomized Programs: Martingale Synt ...
14:00 - 14:30
TACAS
Computing the Expected Execution Time of Probabilistic Workflow Nets
14:30 - 15:00
TACAS
Shepherding Hordes of Markov Chains
15:00 - 15:30
TACAS
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
15:30 - 16:00
TACAS
iRank: a variable order metric for DEDS subject to linear invariants
16:30 - 17:00
TACAS
Edge-Specified Reduction Binary Decision Diagrams
17:00 - 17:30
TACAS
Effective Entailment Checking for Separation Logic with Inductive Defin ...
17:30 - 18:00
Thu 11 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
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 I
ETAPS Keynotes
Towards Efficient and Precise Concurrent Software Analysis
09:00 - 10:00
TACAS
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Ap ...
10:30 - 11:00
TACAS
StocHy: automated verification and synthesis of stochastic processes
11:00 - 11:30
TACAS
Minimal-Time Synthesis for Parametric Timed Automata
11:30 - 12:00
TACAS
Environmentally-friendly GR(1) Synthesis
12:00 - 12:30
TACAS
Digital Bifurcation Analysis of TCP Dynamics
14:00 - 14:30
TACAS
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Mo ...
14:30 - 15:00
TACAS
Measuring Masking Fault-Tolerance
15:00 - 15:30
TACAS
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
15:30 - 16:00
TACAS
Specification and Efficient Monitoring Beyond STL
16:30 - 17:00
TACAS
VyPR2: A Framework for Runtime Verification of Python Web Services
17:00 - 17:30
TACAS
Constraint-based Monitoring of Hyperproperties
17:30 - 18:00
x
Fri 6 Dec 03:02