Congratulations to LogicBlox team member Martin Bravenboer and academic collaborator Yannis Smaragdakis on their recent publication in OOPSLA 2009. In this work, Martin and Yannis describes Doop, a strictly declarative points-to analyses framework for Java. Doop is entirely implemented on top of the LogicBlox database, and uses LogiQL as the language for describing analyses. The Doop framework builds on the idea of specifying pointer analysis algorithms declaratively, using Datalog. It carries the declarative approach further than past work by describing the full end-to-end analysis in Datalog and optimizing aggressively using a novel technique that takes into account Datalog incremental evaluation.
Strictly Declarative Specification of Sophisticated Points-to Analyses
-
Querying Data Provenance
Shan Shan Huang, , Publications, 0
Data provenance has important applications in databases, from optimization, to verifying trustworthiness of answers, to helping programmers with debugging....
-
Algebraic Structures for Capturing the Provenance of SPARQL Queries
Shan Shan Huang, , Publications, 0
Congratulations to LogicBlox team member Grigoris Karvounarakis on his recent publication in ICDT 2013: 16thInternational Conference on Database Theory....
-
Semiring-Annotated Data: Queries and Provenance
Shan Shan Huang, , Publications, 0
The provenance of data — how, through which relations and operations a piece of data arrived in a query’s...
-
More Efficient Datalog Queries: Subsumptive Tabling Beats Magic Sets
Shan Shan Huang, , Publications, 0
Congratulations to LogicBlox team member Tuncay Tekle and academic collaborator Yanhong (Annie) Liu on the acceptance of their paper...
-
SecureBlox: Customizable Secure Distributed Data Processing
Shan Shan Huang, , Publications, 0
The application of Datalog to the area of security, both in analysis and in the specification of rules, has...
-
Automated Test Input Generation for Software That Consumes ORM Models
Shan Shan Huang, , Publications, 0
Abstract Software tools that analyze and generate code from ORM conceptual schemas are highly susceptible to feature interaction bugs....
-
Win-move is Coordination Free… Sometimes
Shan Shan Huang, , Publications, 0
Coordination barriers are a major source of inefficiency in distributed query evaluation. Identifying queries that can be evaluated in...
-
Exception Analysis and Points-to Analysis: Better Together
Shan Shan Huang, , Publications, 0
In this ISSTA 2009 publication, LogicBlox team member Martin Bravenboer and academic collaborator Yannis Smaragdakis write about how Doop,...