ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

About the poster session


Image of people interacting at a conference poster session.

The ETAPS poster session provides an excellent forum for authors of all tracks to meet and present their work via the medium of posters. The interactive setting is a great way to engage other participants of the conference and to receive feedback from the community. The session also serves to inform participants about interesting papers being presented later in the conference and attract them to presentations that might interest them.

We invite poster submissions covering any aspect of programming, systems, languages and applications. We especially invite the authors of papers on any of the ETAPS conferences and workshop to additionally consider submitting a poster and presenting during the poster session.

This year the poster session is split into two events.

Workshop Poster Exhibition

The workshop poster exhibition will take place Saturday and Sunday, April 6-7. Posters will be displayed throughout the venue. Authors will be encouraged to make themselves available during breaks to present their posters and answer questions.

Main Poster Session

The main poster session takes place on Monday, April 8 in the evening. The posters will be displayed during the reception. Poster authors will be asked to present the posters and answer questions throughout the event.

Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 16:00: Workshop Poster Exhibition (Saturday)Posters at Coffee area (Posters)
Chair(s): Jan KofroňCharles University
10:30 - 10:52
Poster
Markovian equivalences for biochemical reaction networks
Posters
Isabel Cristina Perez-VeronaIMT Institute for Advanced Studies Lucca, Italy, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy, Andrea VandinDTU, Denmark, Luca CardelliMicrosoft Research and University of Oxford
10:52 - 11:14
Poster
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
11:14 - 11:36
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc VoUppsala University
11:36 - 11:58
Poster
VIAP 1.1
Posters
11:58 - 12:20
Poster
FreeST: context-free session types in a functional language
Posters
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
12:20 - 12:42
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
12:42 - 13:04
Poster
Semantic Fault Localization and Suspiciousness Ranking
Posters
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
13:04 - 13:26
Poster
Ultimate Automizer
Posters
Matthias HeizmannUniversity of Freiburg, Yu-Fang ChenAcademia Sinica, Daniel DietschUniversity of Freiburg, Marius Greitschus, Jochen HoenickeUniversität Freiburg, Yong LiInstitute of Software, Chinese Academy of Sciences, Alexander NutzUniversity of Freiburg, Germany, Pavel Andrianov, Christian SchillingIST Austria, Tanja SchindlerUniversity of Freiburg, Andreas PodelskiUniversity of Freiburg, Germany
13:26 - 13:48
Poster
CPAchecker with Strategy Selection
Posters
13:48 - 14:10
Poster
Towards A Logical Account of Epistemic Causality
Posters
14:10 - 14:32
Poster
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
14:32 - 14:54
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
14:54 - 15:16
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
15:16 - 15:38
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
15:38 - 16:00
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 16:00: Workshop Poster Exhibition (Sunday)Posters at Coffee area (Posters)
10:30 - 10:52
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters
10:52 - 11:14
Poster
CPAchecker with Strategy Selection
Posters
11:14 - 11:36
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
11:36 - 11:58
Poster
FreeST: context-free session types in a functional language
Posters
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
11:58 - 12:20
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
12:20 - 12:42
Poster
Markovian equivalences for biochemical reaction networks
Posters
Isabel Cristina Perez-VeronaIMT Institute for Advanced Studies Lucca, Italy, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy, Andrea VandinDTU, Denmark, Luca CardelliMicrosoft Research and University of Oxford
12:42 - 13:04
Poster
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
13:04 - 13:26
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
13:26 - 13:48
Poster
Semantic Fault Localization and Suspiciousness Ranking
Posters
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
13:48 - 14:10
Poster
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
14:10 - 14:32
Poster
Towards A Logical Account of Epistemic Causality
Posters
14:32 - 14:54
Poster
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Huu-Phuc VoUppsala University
14:54 - 15:16
Poster
Ultimate Automizer
Posters
Matthias HeizmannUniversity of Freiburg, Yu-Fang ChenAcademia Sinica, Daniel DietschUniversity of Freiburg, Marius Greitschus, Jochen HoenickeUniversität Freiburg, Yong LiInstitute of Software, Chinese Academy of Sciences, Alexander NutzUniversity of Freiburg, Germany, Pavel Andrianov, Christian SchillingIST Austria, Tanja SchindlerUniversity of Freiburg, Andreas PodelskiUniversity of Freiburg, Germany
15:16 - 15:38
Poster
VIAP 1.1
Posters
15:38 - 16:00
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore

Mon 8 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

18:30 - 20:30: Main Poster SessionPosters at 1st Floor Reception Area (Posters)
Chair(s): Konrad SiekCzech Technical University in Prague
18:30 - 18:33
Poster
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Posters
Jakob Piribauer, Christel BaierTU Dresden, Germany
18:33 - 18:37
Poster
Information Flow Control Parallel Runtime Systems Foundations
Posters
Marco VassenaChalmers University of Technology, Deian StefanUniversity of California San Diego
18:37 - 18:40
Poster
VyPR2: A Framework for Runtime Verification of Python Web Services
Posters
Joshua DawesUniversity of Manchester and CERN, Giles RegerUniversity of Manchester, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
18:40 - 18:44
Poster
Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms
Posters
Assel AltayevaImperial College London, Nobuko YoshidaImperial College London
18:44 - 18:47
Poster
Tool Support for Correctness-by-Construction
Posters
Tobias RungeTU Braunschweig, Thomas ThümUniversity of Ulm, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University (SU), Ina SchaeferTechnische Universität Braunschweig, Bruce W Watson, Derrick KourieStellenbosch University
18:47 - 18:51
Poster
Verifiably Safe Off-Model Reinforcement Learning
Posters
Nathan FultonMIT-IBM Watson AI Lab, André PlatzerCarnegie Mellon University
18:51 - 18:54
Poster
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Posters
18:54 - 18:58
Poster
FreeST: context-free session types in a functional language
Posters
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
18:58 - 19:01
Poster
WAPS: Weighted and Projected Sampling
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
19:01 - 19:05
Poster
Semantic Fault Localization and Suspiciousness Ranking
Posters
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
19:05 - 19:08
Poster
The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Posters
19:08 - 19:12
Poster
Distributive Disjoint Polymorphism for Compositional Programming
Posters
Xuan BiStandard Chartered Bank, Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Tom SchrijversKU Leuven
19:12 - 19:15
Poster
Ultimate Automizer
Posters
Matthias HeizmannUniversity of Freiburg, Yu-Fang ChenAcademia Sinica, Daniel DietschUniversity of Freiburg, Marius Greitschus, Jochen HoenickeUniversität Freiburg, Yong LiInstitute of Software, Chinese Academy of Sciences, Alexander NutzUniversity of Freiburg, Germany, Pavel Andrianov, Christian SchillingIST Austria, Tanja SchindlerUniversity of Freiburg, Andreas PodelskiUniversity of Freiburg, Germany
19:15 - 19:19
Poster
Automatically Identifying Sufficient Object Builders from Module APIs
Posters
Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Mariano Politano, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
19:19 - 19:22
Poster
CPAchecker with Strategy Selection
Posters
19:22 - 19:26
Poster
DeepFault: Fault Localization for Deep Neural Networks
Posters
19:26 - 19:30
Poster
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Posters
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
19:30 - 19:33
Poster
Credential Scanning powered by Symbolic Regex Matching
Posters
Margus VeanesMicrosoft Research, Olli Saarikivi, Eric XuMicrosoft, USA, Tiki Wan, Arvind RaviMicrosoft Azure
19:33 - 19:37
Poster
ROLL 1.0: $\omega$-Regular Language Learning Library
Posters
Yong LiInstitute of Software, Chinese Academy of Sciences, Xuechao Sun, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Yu-Fang ChenAcademia Sinica, Junnan Xu
19:37 - 19:40
Poster
Parallel SAT Simplification on GPU Architectures
Posters
Muhammad OsamaEindhoven University of Technology, Anton WijsEindhoven University of Technology
19:40 - 19:44
Poster
Computing Coupled Similarity
Posters
Benjamin BispingTechnische Universität Berlin, Uwe Nestmann
19:44 - 19:47
Poster
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Posters
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Violet Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
19:47 - 19:51
Poster
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
19:51 - 19:54
Poster
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
19:54 - 19:58
Poster
The COMPASS 3.0 Toolset
Posters
Marco Bozzano, Harold Bruintjes, Alessandro CimattiFondazione Bruno Kessler, Joost-Pieter KatoenRWTH Aachen University, Thomas NollRWTH Aachen University, Stefano TonettaFondazione Bruno Kessler, Italy
19:58 - 20:01
Poster
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
20:01 - 20:05
Poster
Decomposing Farkas Interpolants
Posters
Martin BlichaUSI Lugano, Switzerland, Antti Hyvärinen, Jan KofroňCharles University, Natasha SharyginaUSI Lugano, Switzerland
20:05 - 20:08
Poster
ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
Posters
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
20:08 - 20:12
Poster
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
20:12 - 20:15
Poster
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
Posters
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
20:15 - 20:19
Poster
Business Process Privacy Analysis in Pleak
Posters
20:19 - 20:22
Poster
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Posters
Ilina StoilkovskaVienna University of Technology , Igor KonnovInria Nancy, Josef WidderTU Wien, Florian ZulegerVienna University of Technology
20:22 - 20:26
Poster
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters
20:26 - 20:30
Poster
Constraint-based Monitoring of Hyperproperties
Posters

Call for Posters

Submission deadline: 15 March 2019, 23:59

Submission website: EasyChair

The size of the poster presented during the poster session should be A0 (W 841mm × L 1189mm or W 33.1in × L 46.8in) and it is required to be in portrait orientation.

In addition to the poster itself, we require an accompanying abstract and a 2-page extended abstract explaining the work presented in the poster. We use these as aids in reviewing the posters. We also use the former as a blurb for the poster on the conference website.

The option to pre-submit with just an abstract is available.

Please note that neither the posters nor abstracts are featured in ETAPS proceedings.

In case of questions email: siekkonr@fit.cvut.cz.

Accepted Posters

Title
Automatically Identifying Sufficient Object Builders from Module APIs
Posters
Business Process Privacy Analysis in Pleak
Posters
CLTestCheck: Measuring Test Effectiveness for GPU Kernels
Posters
CPALockator: Thread-Modular Approach with Transition Abstraction for Analysis of Multithreaded Software
Posters
CPAchecker with Strategy Selection
Posters
CoVeriTest: Cooperative Verifier-Based Testing
Posters
Computing Coupled Similarity
Posters
Constraint-based Monitoring of Hyperproperties
Posters
Credential Scanning powered by Symbolic Regex Matching
Posters
Decomposing Farkas Interpolants
Posters
DeepFault: Fault Localization for Deep Neural Networks
Posters
Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms
Posters
Distributive Disjoint Polymorphism for Compositional Programming
Posters
FreeST: context-free session types in a functional language
Posters
ILAng: A Modeling and Verification Platform for SoCs using Instruction-Level Abstractions
Posters
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
Posters
Information Flow Control Parallel Runtime Systems Foundations
Posters
JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution)
Posters
Markovian equivalences for biochemical reaction networks
Posters
Minimal-Time Synthesis for Parametric Timed Automata
Posters
Parallel SAT Simplification on GPU Architectures
Posters
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Posters
PeSCo: Predicting Sequential Combinations of Verifiers
Posters
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
Posters
ROLL 1.0: $\omega$-Regular Language Learning Library
Posters
Semantic Fault Localization and Suspiciousness Ranking
Posters
Statistical abstraction for multi-scale spatio-temporal systems
Posters
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Posters
The COMPASS 3.0 Toolset
Posters
The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability
Posters
Tool Support for Correctness-by-Construction
Posters
Towards A Logical Account of Epistemic Causality
Posters
Towards Efficient Algorithms for Constraint Satisfaction Problems
Posters
Ultimate Automizer
Posters
VIAP 1.1
Posters
Verifiably Safe Off-Model Reinforcement Learning
Posters
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Posters
VyPR2: A Framework for Runtime Verification of Python Web Services
Posters
WAPS: Weighted and Projected Sampling
Posters

We made a checklist to help you to prepare for presenting at the ETAPS 2019 poster events. Please make sure to read it carefully.

  1. Print out your poster in A0 format or smaller in portrait orientation. The dimensions of A0 are W 841mm × L 1189mm or W 33.1in × L 46.8in. Note that we will not print posters at the conference venue (we do not have the facilities to do so).

    If you do not wish to travel with a poster, but to print your poster in Prague instead, we can recommend a couple copy centers close to the conference venue or ones easily accessible by public transit and where we are assured that most of the staff speak English.

    Copy General at Londýnská 57
    Open Saturday, Sunday, and Monday
    Accessible from Orea Hotel Pyramida by trams 22 and 23 (35 minute trip)
    Color A0 poster: 732CZK (~28 EUR)
    https://www.copygeneral.cz/londynska

    Copy General at Radlická 10
    Open Saturday, Sunday, and Monday
    Accessible from Faculty of Mathematics and Physics by trams 12, 15, and 20 (15 minute trip)
    Color A0 poster: 732CZK (~28 EUR)
    https://www.copygeneral.cz/radlicka

    M&P Copier at Dejvice
    Only open Saturday and Monday
    Accessible from Orea Hotel Pyramida by buses 143, 149, and 180 (15 minute trip)
    Accessible from Faculty of Mathematics and Physics by tram 20 (15 minute trip)
    Color A0 poster: 400-640CZK (~15-25 EUR)
    https://www.mpcopier.cz/index.php/sluzby-dejvice

    Alternatively, you can print your poster at home and send it to the venue in advance by mail. If you do, please fill out the following form, so that we know to expect mail from you:

    https://forms.gle/gW89U87bLXHxk58HA

    The mailing address is as follows:

    Konrad Siek, Laboratoř výzkumu programování
    České vysoké učení technické v Praze
    Fakulta informačních technologií
    Thákurova 9, 160 00 Praha 6
    Česká republika

  2. Please write your name and your contact information clearly on the back of the poster. Do this twice: once on the top of the poster, once on the bottom of the poster. Make sure the name is clearly visible when the poster is rolled up.

  3. The main poster session will take place on Monday, April 8. The workshop poster exhibition will take place over Saturday and Sunday, April 6-7.

    If your poster is to be presented during the main poster session on Monday, please deposit your poster to the student volunteers at the ETAPS registration desk in the lobby of Hotel Pyramida on Monday morning so that we can set it up for you.

    If your poster is to be presented during the weekend poster exhibition, please deposit your poster to the student volunteers at the registration desk at the Faculty of Mathematics and Physics of Charles University.

    If you insist on setting up your poster yourself, please arrive 15 minutes before the poster session and present yourself to one of the poster chairs or the student volunteers present in the exhibition area. We will show you where to hang your posters and give you the materials to do so.

    If your poster is to be presented during both the weekend poster exhibition and the main poster session on Monday, we will transfer the posters between the two conference locations for you.

  4. If you are displaying your poster during the workshop poster exhibition on the weekend, ensure that at least one author remains close to the poster during all coffee breaks.

    If you are displaying your poster during the main poster session on Monday, ensure that at least one author remains close to the poster for the entirety of the poster session.

  5. If you wish to keep your poster after the session, you can take your poster with you at the end of the poster event. Posters can also be picked up from the registration desk at the Orea Hotel Pyramida the day after each event.

    Posters that are not retrieved by their authors by the end of the conference will be subsequently discarded. We will not mail posters back to authors.

If you have questions or requests, don’t hesitate to contact us.

Questions? Use the ETAPS Posters contact form.