The ability to write reusable code is important for all programming languages. LogicBlox is keen to support research in...
Author Archive for: SSH
Automated Test Input Generation for Software That Consumes ORM Models

Abstract Software tools that analyze and generate code from ORM conceptual schemas are highly susceptible to feature interaction bugs....
Strictly Declarative Specification of Sophisticated Points-to Analyses

Congratulations to LogicBlox team member Martin Bravenboer and academic collaborator Yannis Smaragdakis on their recent publication in OOPSLA 2009....
Experience Report: Using Tools and Domain Expertise to Remediate Architectural Violations in the LogicBlox Software Base

LogicBlox team members Kurt Stirewalt, Spencer Rugaber, David Zook, and collaborator Hwa-You Hsu wrote about their experience modeling software...
In this ISSTA 2009 publication, LogicBlox team member Martin Bravenboer and academic collaborator Yannis Smaragdakis write about how Doop,...
One of the advantages of using LogiQL is the unification of programming model such that prescriptive rules of computation...