Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Sat 11 Jul 2020 16:29 - 16:35 at Goguryeo - A29-Code Analysis and Verification Chair(s): Elena Sherman

This paper introduces a new idea for enhancing constraint solvers and decision procedures that are backend engines for many analysis and synthesis techniques that are powerful but have high complexity. Our insight is that in many application scenarios the engines are run repeatedly against input formulas that encode problems that are related but of increasing complexity, and domain-specific knowledge can help mitigate the increase in complexity. Moreover, even for one formula the engine may perform multiple expensive tasks with commonalities that can be estimated and exploited likewise. We believe these relationships lay a foundation for making the engines more effective and their applications more scalable. We illustrate the viability of our idea by applying it in the context of a well-known constraint solver for imperative constraints that has been used for automated testing and quantitative analysis, and discuss how the idea generalizes to more general purpose methods.

Sat 11 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

16:05 - 17:05: Paper Presentations - A29-Code Analysis and Verification at Goguryeo
Chair(s): Elena ShermanBoise State University
icse-2020-papers16:05 - 16:17
Manuel BenzUniversity of Paderborn, Erik Krogh KristensenGitHub, Linghui LuoPaderborn University, Germany, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Andreas ZellerCISPA Helmholtz Center for Information Security
Media Attached File Attached
icse-2020-papers16:17 - 16:29
Martin KelloggUniversity of Washington, Seattle, Manli RanUniversity of California, Riverside, Manu SridharanUniversity of California Riverside, Martin SchäfAmazon Web Services, USA, Michael D. ErnstUniversity of Washington, USA
icse-2020-New-Ideas-and-Emerging-Results16:29 - 16:35
Alyas AlmaawiThe University of Texas at Austin, Nima DiniUniversity of Texas at Austin, Cagdas YelenThe University of Texas at Austin, Milos GligoricThe University of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin, USA
icse-2020-papers16:35 - 16:47
Maxime LamotheConcordia University, Weiyi ShangConcordia University
icse-2020-papers16:47 - 16:59
Xiaoxue RenZhejiang University, Zhenchang XingAustralia National University, Jiamou SunAustralian National University, Xin XiaMonash University, Jianling SunZhejiang University