A Programming Model for Semi-implicit Parallelization of Static Analyses
Parallelization of static analyses is necessary to scale to real-world programs, but it is a complex and difficult task and, therefore, often only done manually for selected high-profile analyses. In this paper, we propose a programming model for semi-implicit parallelization of static analyses which is inspired by reactive programming. Reusing the domain-expert knowledge on how to parallelize analyses encoded in the programming framework, developers do not need to think about parallelization and concurrency issues on their own. The programming model supports stateful computations, only requires monotonic computations over lattices, and is independent of specific analyses. Our evaluation shows the applicability of the programming model to different analyses and the importance of user-selected scheduling strategies. We implemented an IFDS solver that was able to outperform a state-of-the-art, specialized parallel IFDS solver both in absolute performance and scalability.
Wed 22 Jul Times are displayed in time zone: Tijuana, Baja California change
12:10 - 13:10: STATIC ANALYSIS AND SEARCH-BASED TESTINGTechnical Papers at Zoom Chair(s): Daniel KroeningUniversity of Oxford Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | |||
12:10 - 12:30 Talk | How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection Technical Papers DOI Media Attached | ||
12:30 - 12:50 Talk | A Programming Model for Semi-implicit Parallelization of Static Analyses Technical Papers Dominik HelmTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Jan Thomas Kölzer, Philipp HallerKTH Royal Institute of Technology, Michael EichbergTU Darmstadt, Germany, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt DOI | ||
12:50 - 13:10 Talk | Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing Technical Papers Yun LinNational University of Singapore, Jun SunSingapore Management University, Gordon FraserUniversity of Passau, Ziheng Xiu, Ting LiuXi'an Jiaotong University, Jin Song DongNational University of Singapore DOI Pre-print Media Attached |