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
-
Morphing: Structurally Shaping a Class by Reflecting on Others
Shan Shan Huang, , Publications, 0
The ability to write reusable code is important for all programming languages. LogicBlox is keen to support research in...
-
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....
-
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...
-
LogicBlox, Platform and Language: a Tutorial
Shan Shan Huang, , Publications, 0
Datalog is the mathematical foundation to LogiQL, the LogicBlox query language. We here take a keen interest in fostering...
-
Approximating Constraint Propagation in Datalog
Shan Shan Huang, , Publications, 0
LogicBlox academic collaborators Tom Schrijvers, Dario Campagna, and Beata Sarna-Starosta discuss a new technique of exploiting Datalog with aggregates...
-
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...
-
Simulation of Database-valued Markov Chains Using SimSQL
Shan Shan Huang, , Publications, 0
Congratulations to LogicBlox team member Zografoula Vagena on her recent publication in SIGMOD 2013, the premier international conference in...
-
Design and Implementation of the LogicBlox System
Shan Shan Huang, , Publications, 0
An overview of the design considerations, novel implementation techniques, and applications of the LogicBlox system has been published in...