DBScholar

Back to papers

Context-Sensitive Program Analysis as Database Queries

Summary: Maps context-sensitive program analysis to a deductive-database framework: program facts stored as relations and analyses written in Datalog, compiled by bddbddb into optimized BDD programs to compactly represent ~10^14 contexts. Shows many heap/alias analyses can be expressed succinctly (PQL front-end) and executed efficiently to find real web-application security holes. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1335
Venue
PODS
Year
2005
Pagerank
6.6472658e-05
Overall Rank
4,520 | 68.99%
DOI
10.1145/1065167.1065169

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{lam_pods05,
        address = {New York, NY, USA},
        series = {{PODS} '05},
        title = {{Context-Sensitive Program Analysis as Database Queries}},
        url = {https://dl.acm.org/doi/10.1145/1065167.1065169},
        doi = {10.1145/1065167.1065169},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Lam, Monica S. and Whaley, John and Livshits, V. Benjamin and Martin, Michael C. and Avots, Dzintars and Carbin, Michael and Unkel, Christopher},
        year = {2005}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank Citing Paper Year Venue Pagerank
1,985 Querying Business Processes 2006 VLDB 9.353709e-05
3,097 Evita Raced: Metacompilation for Declarative Networks 2008 VLDB 7.7619658e-05
7,079 Adding Magic to an Optimising Datalog Compiler 2008 SIGMOD 5.7090732e-05
7,390 Querying and Monitoring Distributed Business Processes 2008 VLDB 5.626643e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Previous Page 1 / 1 Next

Semantically Similar Papers