Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Tue 25 May 2021 14:45 - 15:15 at Poster Room - Posters 1 Chair(s): Federica Sarro

Given a formula F, the problem of uniform sampling seeks to sample solutions of F uniformly at random. Uniform sampling is a fundamental problem with a wide variety of applications. The computational intractability of uniform sampling has led to the development of several samplers that are heuristics and are not accompanied by theoretical analysis of their distribution. Recently, Chakraborty and Meel (2019) designed the first scalable sampling tester, Barbarik, based on a grey-box sampling technique for testing if the distribution, according to which the given sampler is sampling, is close to the uniform or far from uniform. The availability of Barbarik has the potential to spur the development of samplers and testing techniques such that developers can design sampling methods that can be accepted by Barbarik even though these samplers may not be amenable to a detailed mathematical analysis.

In this paper, we present the realization of this aforementioned promise. Based on the flexibility offered by CryptoMiniSat, we design a sampler CMSGen that promise the achievement of sweet-spot of the quality of distributions and runtime performance. In particular, CMSGen achieves significant runtime performance improvement over the existing samplers. The existence of CMSGen leads us to observe the need for a tester to return quantitative answers to determine the quality of underlying samplers instead of a merely quantitative answer of Accept or Reject. To this end, we design a computational hardness-based tester ScalBarbarik that provides a more nuanced analysis of the quality of a sampler.

Tue 25 May

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

14:45 - 15:15
Posters 1Posters at Poster Room
Chair(s): Federica Sarro University College London

Each poster makes a 2-minute presentation (displayed in the Poster room). At the end of each presentation, a breakout room will be created for each poster. Attendees will be able to join and discuss with the authors.

14:45
30m
Poster
Designing Tester and Sampler in TandemPoster
Posters
Mate Soos Hobbyist, Priyanka Golia Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore, Sourav Chakraborty Indian Statistical Institute (ISI) , Kolkata, India, Kuldeep S. Meel National University of Singapore
Media Attached
14:45
30m
Poster
Team-oriented Consistency Checking of Heterogeneous Engineering ArtifactsPoster
Posters
Michael Alexander Tröls Johannes Kepler University, Linz, Atif Mashkoor Johannes Kepler University Linz, Alexander Egyed Johannes Kepler University
Pre-print Media Attached
14:45
30m
Poster
RPT: Effective and Efficient Retrieval of Program Translations from Big CodePoster
Posters
Binger Chen Technische Universität Berlin, Ziawasch Abedjan Leibniz Universität Hannover
Pre-print Media Attached