ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 13:26 - 13:48 at Coffee area (Posters) - Workshop Poster Exhibition (Saturday) Chair(s): Jan Kofroň
Sun 7 Apr 2019 10:52 - 11:14 at Coffee area (Posters) - Workshop Poster Exhibition (Sunday)
Mon 8 Apr 2019 19:19 - 19:22 at 1st Floor Reception Area (Posters) - Main Poster Session Chair(s): Konrad Siek

CPAchecker is a highly versatile framework for software verification of C programs. Its versatility is one reason for its yearly success in the international competetion on software verification (SV-COMP). CPAchecker is based on the established concept of configurable program analysis, which allows to implement abstract domains as individual CPAs and to freely combine them. Additionally, many common verification algorithms are implemented in CPAchecker, allowing CPAchecker to benefit from the strengths of induction, abstract interpretation, interpolation, lazy abstraction, and block-abstraction memoization.

Our poster presents the CPAchecker configuration CPA-Seq, which participated in SV-COMP’19. In SV-COMP’19, CPAchecker applies strategy selection to pick for each verification task the most promising configuration from a predefined set of configurations. To check tasks dealing with concurrency, memory safety, overflows, recursion, or termination, it uses single, dedicated configurations. For all other tasks, CPAchecker considers a small set of hand-picked program features to select one of three sequential combinations of bit-precise analyses.

Sat 6 Apr
Times are displayed in time zone: (GMT+02:00) 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
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
Posters
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
11:14 - 11:36
Poster
Posters
Huu-Phuc VoUppsala University
11:36 - 11:58
Poster
Posters
11:58 - 12:20
Poster
Posters
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
12:20 - 12:42
Poster
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
12:42 - 13:04
Poster
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
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
Posters
13:48 - 14:10
Poster
Posters
14:10 - 14:32
Poster
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
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
14:54 - 15:16
Poster
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
15:16 - 15:38
Poster
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
15:38 - 16:00
Poster
Posters

Sun 7 Apr
Times are displayed in time zone: (GMT+02:00) 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
Posters
10:52 - 11:14
Poster
Posters
11:14 - 11:36
Poster
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
11:36 - 11:58
Poster
Posters
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
11:58 - 12:20
Poster
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
12:20 - 12:42
Poster
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
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
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
13:26 - 13:48
Poster
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
Posters
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
14:10 - 14:32
Poster
Posters
14:32 - 14:54
Poster
Posters
Huu-Phuc VoUppsala University
14:54 - 15:16
Poster
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
Posters
15:38 - 16:00
Poster
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore

Mon 8 Apr
Times are displayed in time zone: (GMT+02:00) 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
Posters
Jakob Piribauer, Christel BaierTU Dresden, Germany
18:33 - 18:37
Poster
Posters
Marco VassenaChalmers University of Technology, Deian StefanUniversity of California San Diego
18:37 - 18:40
Poster
Posters
Joshua DawesUniversity of Manchester and CERN, Giles RegerUniversity of Manchester, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
18:40 - 18:44
Poster
Posters
Assel AltayevaImperial College London, Nobuko YoshidaImperial College London
18:44 - 18:47
Poster
Posters
Tobias RungeTU Braunschweig, Thomas ThümTU Braunschweig, Germany, 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
Posters
Nathan FultonMIT-IBM Watson AI Lab, André PlatzerCarnegie Mellon University
18:51 - 18:54
Poster
Posters
18:54 - 18:58
Poster
Posters
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
18:58 - 19:01
Poster
Posters
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
19:01 - 19:05
Poster
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
Posters
19:08 - 19:12
Poster
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
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
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
Posters
19:22 - 19:26
Poster
Posters
19:26 - 19:30
Poster
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
Posters
Margus VeanesMicrosoft Research, Olli Saarikivi, Eric XuMicrosoft, USA, Tiki Wan, Arvind RaviMicrosoft Azure
19:33 - 19:37
Poster
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
Posters
Muhammad OsamaEindhoven University of Technology, Anton WijsEindhoven University of Technology
19:40 - 19:44
Poster
Posters
Benjamin BispingTechnische Universität Berlin, Uwe Nestmann
19:44 - 19:47
Poster
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
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
Posters
Pavel Andrianov, Heike WehrheimPaderborn University
19:54 - 19:58
Poster
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
Posters
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
20:01 - 20:05
Poster
Posters
Martin BlichaUSI Lugano, Switzerland, Antti Hyvärinen, Jan KofroňCharles University, Natasha SharyginaUSI Lugano, Switzerland
20:05 - 20:08
Poster
Posters
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
20:08 - 20:12
Poster
Posters
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
20:12 - 20:15
Poster
Posters
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
20:15 - 20:19
Poster
Posters
20:19 - 20:22
Poster
Posters
Ilina StoilkovskaVienna University of Technology , Igor KonnovInria Nancy, Josef WidderTU Wien, Florian ZulegerVienna University of Technology
20:22 - 20:26
Poster
Posters
20:26 - 20:30
Poster
Posters