A Systematic Approach to Probabilistic Pointer Analysis
Abstract elided by the publisher.
Related papers
- Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences OOPSLA 2025
- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests TACAS 2021
- Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis OOPSLA 2025
- Abstraction refinement guided by a learnt probabilistic model POPL 2016
- Pointer Analysis for Database-Backed Applications PLDI 2025
- Quantitative separation logic: a logic for reasoning about probabilistic pointer programs POPL 2019
- Compiler support for speculative multithreading architecture with probabilistic points-to analysis PPoPP 2003
- Reasoning about Grover's quantum search algorithm using probabilistic wp TOPLAS 1999