SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Thu 1 Dec 2022 01:00 - 01:15 at Virtual Airmeet Room - Session 3 Chair(s): Atsushi Igarashi

We present SHARP, an incremental context-sensitive pointer analysis algorithm that scales to real-world large complex Java programs and can also be efficiently parallelized. To our knowledge, SHARP is the first algorithm to tackle context-sensitivity in the state-of-the-art incremental pointer analysis (with regards to code modifications including both statement additions and deletions), which applies to both k-CFA and k-obj. To achieve it, SHARP tackles several technical challenges: soundness, redundant computations, and parallelism to improve scalability without losing precision. We conduct an extensive empirical evaluation of SHARP on large and popular Java projects and their code commits, showing impressive performance improvement: our incremental algorithm only requires on average 31 seconds to handle a real-world code commit for k-CFA and k-obj, which has comparable performance to the state-of-the-art incremental context-insensitive pointer analysis. Our parallelization further improves the performance and enables SHARP to finish within 18 seconds per code commit on average on an eight-core machine.

Thu 1 Dec

Displayed time zone: Auckland, Wellington change

01:00 - 02:30
Session 3V-OOPSLA at Virtual Airmeet Room
Chair(s): Atsushi Igarashi Kyoto University
01:00
15m
Research paper
SHARP: fast incremental context-sensitive pointer analysis for JavaPre-recorded
V-OOPSLA
Bozhen Liu Texas A&M University, USA, Jeff Huang Texas A&M University
DOI
01:15
15m
Talk
Reasoning about Distributed Reconfigurable Systems
V-OOPSLA
Emma Ahrens RWTH Aachen University, Marius Bozga CNRS; Université Grenoble Alpes, Radu Iosif CNRS; Université Grenoble Alpes, Joost-Pieter Katoen RWTH Aachen University
DOI
01:30
15m
Talk
Type-Directed Synthesis of Visualizations from Natural Language Queries
V-OOPSLA
Jocelyn (Qiaochu) Chen University of Texas at Austin, Shankara Pailoor University of Texas at Austin, Celeste Barnaby University of Texas at Austin, Abby Criswell University of Texas at Austin, Chenglong Wang Microsoft Research, Greg Durrett University of Texas at Austin, Işıl Dillig University of Texas at Austin
DOI
01:45
15m
Talk
Model Checking for a Multi-Execution Memory Model
V-OOPSLA
Evgenii Moiseenko JetBrains Research, Michalis Kokologiannakis MPI-SWS, Viktor Vafeiadis MPI-SWS
DOI
02:00
30m
Live Q&A
Q&A for Session 3
V-OOPSLA