ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 12:20 - 12:42 at Coffee area (Posters) - Workshop Poster Exhibition (Saturday) Chair(s): Jan Kofroň
Sun 7 Apr 2019 15:38 - 16:00 at Coffee area (Posters) - Workshop Poster Exhibition (Sunday)
Mon 8 Apr 2019 18:58 - 19:01 at 1st Floor Reception Area (Posters) - Main Poster Session Chair(s): Konrad Siek

Given a set of constraints F and a user-defined weight function W on the assignment space, the problem of constrained sampling is to sample satisfying assignments of F conditioned on W. Constrained sampling is a fundamental problem with applications in probabilistic reasoning, synthesis, software and hardware testing. In addition to constrained sampling, we are often interested in projected sampling over X from Σ_1^1 formulas, i.e., G(X) := ∃Y F (X, Y) for some F; typically the set of variables Y are introduced as auxiliary variables during encoding of constraints to F. To tackle these problems, we present a novel technique, called WAPS, which proceeds by sampling in linear time over the size of the formula’s d-DNNF, a well studied compiled form. WAPS achieves a geometric speedup of 296x over state-of-the-art weighted and projected sampler WeightGen and its runtime is agnostic to the underlying weight distribution.

Sat 6 Apr

etaps-2019-Posters
10:30 - 16:00: Posters - Workshop Poster Exhibition (Saturday) at Coffee area (Posters)
Chair(s): Jan KofroňCharles University
etaps-2019-Posters10:30 - 10:52
Poster
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
etaps-2019-Posters10:52 - 11:14
Poster
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
etaps-2019-Posters11:14 - 11:36
Poster
Huu-Phuc VoUppsala University
etaps-2019-Posters11:36 - 11:58
Poster
etaps-2019-Posters11:58 - 12:20
Poster
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
etaps-2019-Posters12:20 - 12:42
Poster
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
etaps-2019-Posters12:42 - 13:04
Poster
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
etaps-2019-Posters13:04 - 13:26
Poster
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
etaps-2019-Posters13:26 - 13:48
Poster
etaps-2019-Posters13:48 - 14:10
Poster
etaps-2019-Posters14:10 - 14:32
Poster
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
etaps-2019-Posters14:32 - 14:54
Poster
Pavel Andrianov, Heike WehrheimPaderborn University
etaps-2019-Posters14:54 - 15:16
Poster
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
etaps-2019-Posters15:16 - 15:38
Poster
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
etaps-2019-Posters15:38 - 16:00
Poster

Sun 7 Apr

etaps-2019-Posters
10:30 - 16:00: Posters - Workshop Poster Exhibition (Sunday) at Coffee area (Posters)
etaps-2019-Posters10:30 - 10:52
Poster
etaps-2019-Posters10:52 - 11:14
Poster
etaps-2019-Posters11:14 - 11:36
Poster
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
etaps-2019-Posters11:36 - 11:58
Poster
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
etaps-2019-Posters11:58 - 12:20
Poster
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
etaps-2019-Posters12:20 - 12:42
Poster
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
etaps-2019-Posters12:42 - 13:04
Poster
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
etaps-2019-Posters13:04 - 13:26
Poster
Pavel Andrianov, Heike WehrheimPaderborn University
etaps-2019-Posters13:26 - 13:48
Poster
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
etaps-2019-Posters13:48 - 14:10
Poster
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
etaps-2019-Posters14:10 - 14:32
Poster
etaps-2019-Posters14:32 - 14:54
Poster
Huu-Phuc VoUppsala University
etaps-2019-Posters14:54 - 15:16
Poster
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
etaps-2019-Posters15:16 - 15:38
Poster
etaps-2019-Posters15:38 - 16:00
Poster
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore

Mon 8 Apr

etaps-2019-Posters
18:30 - 20:30: Posters - Main Poster Session at 1st Floor Reception Area (Posters)
Chair(s): Konrad SiekCzech Technical University in Prague
etaps-2019-Posters18:30 - 18:33
Poster
Jakob Piribauer, Christel BaierTU Dresden, Germany
etaps-2019-Posters18:33 - 18:37
Poster
Marco VassenaChalmers University of Technology, Deian StefanUniversity of California San Diego
etaps-2019-Posters18:37 - 18:40
Poster
Joshua DawesUniversity of Manchester and CERN, Giles RegerUniversity of Manchester, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
etaps-2019-Posters18:40 - 18:44
Poster
Assel AltayevaImperial College London, Nobuko YoshidaImperial College London
etaps-2019-Posters18:44 - 18:47
Poster
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
etaps-2019-Posters18:47 - 18:51
Poster
Nathan FultonMIT-IBM Watson AI Lab, André PlatzerCarnegie Mellon University
etaps-2019-Posters18:51 - 18:54
Poster
etaps-2019-Posters18:54 - 18:58
Poster
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
etaps-2019-Posters18:58 - 19:01
Poster
Rahul Gupta, Shubham Sharma, Subhajit RoyIIT Kanpur, India, Kuldeep S. MeelNational University of Singapore
etaps-2019-Posters19:01 - 19:05
Poster
Maria ChristakisMPI-SWS, Matthias HeizmannUniversity of Freiburg, Muhammad Numair MansurMax Planck Institute for Software Systems (MPI-SWS), Christian SchillingIST Austria, Valentin WüstholzConsenSys Diligence
etaps-2019-Posters19:05 - 19:08
Poster
etaps-2019-Posters19:08 - 19:12
Poster
Xuan BiStandard Chartered Bank, Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Tom SchrijversKU Leuven
etaps-2019-Posters19:12 - 19:15
Poster
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
etaps-2019-Posters19:15 - 19:19
Poster
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
etaps-2019-Posters19:19 - 19:22
Poster
etaps-2019-Posters19:22 - 19:26
Poster
etaps-2019-Posters19:26 - 19:30
Poster
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
etaps-2019-Posters19:30 - 19:33
Poster
Margus VeanesMicrosoft Research, Olli Saarikivi, Eric XuMicrosoft, USA, Tiki Wan, Arvind RaviMicrosoft Azure
etaps-2019-Posters19:33 - 19:37
Poster
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
etaps-2019-Posters19:37 - 19:40
Poster
Muhammad OsamaEindhoven University of Technology, Anton WijsEindhoven University of Technology
etaps-2019-Posters19:40 - 19:44
Poster
Benjamin BispingTechnische Universität Berlin, Uwe Nestmann
etaps-2019-Posters19:44 - 19:47
Poster
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
etaps-2019-Posters19:47 - 19:51
Poster
Étienne AndréLIPN, CNRS UMR 7030, Université Paris 13, Vincent BloemenUniversity of Twente, Laure PetrucciUniversité Paris 13, Jaco van de PolAarhus University
etaps-2019-Posters19:51 - 19:54
Poster
Pavel Andrianov, Heike WehrheimPaderborn University
etaps-2019-Posters19:54 - 19:58
Poster
Marco Bozzano, Harold Bruintjes, Alessandro CimattiFondazione Bruno Kessler, Joost-Pieter KatoenRWTH Aachen University, Thomas NollRWTH Aachen University, Stefano TonettaFondazione Bruno Kessler, Italy
etaps-2019-Posters19:58 - 20:01
Poster
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
etaps-2019-Posters20:01 - 20:05
Poster
Martin BlichaUSI Lugano, Switzerland, Antti Hyvärinen, Jan KofroňCharles University, Natasha SharyginaUSI Lugano, Switzerland
etaps-2019-Posters20:05 - 20:08
Poster
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
etaps-2019-Posters20:08 - 20:12
Poster
Lucas CordeiroUniversity of Oxford, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Oxford, UK
etaps-2019-Posters20:12 - 20:15
Poster
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
etaps-2019-Posters20:15 - 20:19
Poster
etaps-2019-Posters20:19 - 20:22
Poster
Ilina StoilkovskaVienna University of Technology , Igor KonnovInria Nancy, Josef WidderTU Wien, Florian ZulegerVienna University of Technology
etaps-2019-Posters20:22 - 20:26
Poster
etaps-2019-Posters20:26 - 20:30
Poster