2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2025
Probabilistic Inference for Datalog with Correlated Inputs
Jingbo Wang, Shashin Halalingaiah, Weiyi Chen +2
Probabilistic extensions of logic programming languages, such as ProbLog, integrate logical reasoning with probabilistic inference to evaluate probabilities of output relations; ho…
cs.PL2024★ 2 cited
The ART of Sharing Points-to Analysis (Extended Abstract)
Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier +1
Data-flow analyses like points-to analysis can vastly improve the precision of other analyses, and help perform powerful code optimizations. However, whole-program points-to analys…