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)
Incoming Non-self Citations Over Time
Authors
- 1. Monica S. Lam
- 2. John Whaley
- 3. V. Benjamin Livshits
- 4. Michael C. Martin
- 5. Dzintars Avots
- 6. Michael Carbin
- 7. Christopher Unkel
Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,371 | Querying Business Processes | 2006 | VLDB | 0.00012335393 |
| 3,075 | Evita Raced: Metacompilation for Declarative Networks | 2008 | VLDB | 7.6078165e-05 |
| 6,842 | Querying and Monitoring Distributed Business Processes | 2008 | VLDB | 4.904836e-05 |
| 6,955 | Adding Magic to an Optimising Datalog Compiler | 2008 | SIGMOD | 4.8812945e-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.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 16 | MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract) | 1986 | PODS | 0.00099936325 |
| 1,122 | Bottom-Up Beats Top-Down For Datalog | 1989 | PODS | 0.00013837099 |
| 3,607 | Implementation of the CORAL Deductive Database System | 1993 | SIGMOD | 6.9244732e-05 |
| 7,085 | Space Optimization in the Bottom-Up Evaluation of Logic Programs | 1991 | SIGMOD | 4.8325254e-05 |
| 7,086 | Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs | 1990 | VLDB | 4.8325254e-05 |
Previous
Page 1 / 1
Next