The ART of Sharing Points-to Analysis (Extended Abstract). - Shashin Halalingaiah; Vijay Sundaresan; Daryl Maier; V. Krishna Nandivada (CoRR, 2024)

The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently. - Shashin Halalingaiah; Vijay Sundaresan; Daryl Maier; V. Krishna Nandivada (Proc. ACM Program. Lang., 2024)

Probabilistic Inference for Datalog with Correlated Inputs. - Jingbo Wang; Shashin Halalingaiah; Weiyi Chen; Chao Wang; Isil Dillig (CoRR, 2025)