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
-
Scalable Test Data Generation from Multi-dimensional Models
Shan Shan Huang, , Publications, 0
Congratulations to Emina Torlak, researcher at University of California, Berkeley and former LogicBlox team member, on the acceptance of...
-
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...
-
Pick Your Contexts Well: Understanding Object-Sensitivity
Shan Shan Huang, , Publications, 0
Using Datalog for program analysis has garnered a lot of interest in the academic community in recent years. In...
-
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...
-
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....
-
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...
-
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,...
-
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...