CC 2026
Sat 31 January - Sun 1 February 2026 Sydney, Australia
co-located with HPCA/CGO/PPoPP/CC 2026
Sun 1 Feb 2026 12:18 - 12:45 at Coogee - Analysis Chair(s): Ajitha Rajan

May happen in Parallel (MHP) analysis is one of the most foundational analysis in the context of programs written in parallel languages like Java. The current known techniques for doing MHP analysis of Java applications suffer from two main challenges: (i) scalability to real world large applications, (ii) precision in the presence of complex programs. In this manuscript, we address these two issues with a goal to make MHP analysis for Java applications a practical option. We propose a new MHP analysis scheme called GRIP-MHP. It includes techniques to reduce time taken for performing MHP analysis significantly; it does so by using novel schemes to reduce the size of the input graph (representing the original application). GRIP-MHP also addresses many drawbacks in existing techniques, thereby improving the applicability and precision of MHP analysis for real-world Java applications. We implemented GRIP-MHP in the Soot compiler framework. our experiments show that GRIP-MHP runs successfully in reasonable time on all the tested benchmarks in DaCapo and Renaissance benchmarks (geomean 31.96$\times$ improvement, over prior work). We find that GRIP-MHP also leads to improvements in precision of the analysis results (geomean, 1.88$\times$ improvement, over prior work).

Sun 1 Feb

Displayed time zone: Hobart change

11:00 - 12:45
AnalysisMain Conference at Coogee
Chair(s): Ajitha Rajan The University of Edinburgh
11:00
26m
Talk
HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance
Main Conference
Khushboo Chitre IIIT Delhi, Piyus Kedia IIIT Delhi, Rahul Purandare University of Nebraska-Lincoln
11:26
26m
Talk
Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR
Main Conference
Niccolò Nicolosi Politecnico di Milano, Gabriele Magnani Politecnico di Milano, Emilio Corigliano Politecnico di Milano, Davide Baroffio Politecnico di Milano, Federico Reghenzani Politecnico di Milano, Giovanni Agosta Politecnico di Milano, Italy
11:52
26m
Talk
Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis
Main Conference
Ramya Kasaraneni IIT Madras, V Krishna Nandivada IIT Madras
12:18
26m
Talk
Practical MHP Analysis for Java
Main Conference
Samuel Moses IIT Madras, V Krishna Nandivada IIT Madras