Research
Events
IFL 2011
LogicBlox team member Geoffrey Washburn serves as a program committee member for 2011 Symposium on Implementation and Application of Functional Languages. Currently in its 23rd year, IFL is a forum for researchers to gather and discuss novel contributions in both the fundational as well as applicative aspects of functional languages. In addition to having participated in the selection of the IFL program, Geoff will also be attending IFL, to be held Oct. 2-5, 2011, at the University of Kansas.DBPL 2011
LogicBlox is pleased to sponser the 13th International Symposium on Database Programming Languages (DBPL), a workshop co-located with VLDB 2011. DBPL is an established venue for publishing new ideas at the intersection of Databases and Programming Languages -- two research areas that are at the heart of what we do here at LogicBlox. We look forward to a successful event, and we hope to see you in Seattle!CICLOPS 2011
LogicBlox team member Beata Sarna-Starosta, and academic collaborators Tom Schrijvers and Dario Campagna, will be presenting their latest work at CICLOPS 2011: International Colloquium on Implementation of Constraint and LOgic Programming Systems. In the following paper, Beata and coauthors explore a new optimization technique for Datalog, which exploits arithmetic (in)equalities:
EDOC 2011
LogicBlox team member Terry Halpin will be giving a
keynote talk at the Fifteenth IEEE International
EDOC Conference. EDOC is a annual event that
addresses technologies and engineering methods
targeted at solving problems in enterprise
computing.
Terry's keynote will discuss Object-Role Modeling
(ORM), highlighting its conceptual and visual
support for logic-based modeling. Terry will also
speak of how LogicBlox is making use of ORM to
support modeling for enterprise applications.
ISSTA 2011
Congratulations to LogicBlox team member, Kurt
Stirewalt, and his coauthors Matthew McGill and
Laura Dillon, on the acceptance of their paper to
ISSTA 2011:
Kurt and company will be presenting their work on
scalable test data generation that satisfy complex
constraints, and its application in aiding the
testing of LogicBlox applications.
EMMSAD 2011
LogicBlox team member Terry Halpin will be attending ESSMAD 2011: Exploring Modeling Methods for Systems Analysis and Design. Terry will be presenting his paper: In this paper, Terry discusses how different data modeling languages, from textual to visual, supports the structural aspects of modeling: entity/value distinction, exiystential facts, and etity reference schemes.
SAT/SMT Summer School 2011
Emina Torlak, a member of the LogicBlox team, will
be lecturing at the First International SAT/SMT
Summer School, to be held at MIT, Cambridge, MA.
Emina will be speaking about her work in developing Alloy/Kodkod, and their applications in model checking the Java memory model.
Open Source Quality Project Retreat, 2011
LogicBlox team member Emina Torlak will be attending the Open Source Quality Project retreat. Researchers attending the retreat will be discussing their latest work in developing techniques and tools to improve software quality. Emina will discuss her latest work at LogicBlox on large scale test data generation for OLAP models.Northern California Database Day 2011
Molham Aref, the CEO of LogicBlox, gave an invited talk at the inaugural NorCal Database Day, hosted at by the Computer Science Department of University of California, Davis. Molham spoke on the LogicBlox view on enterprise software development, where Datalog serves as a foundational language. The slides for this presentation is available hereSIGMOD 2011
We are excited to announce that LogicBlox will be attending SIGMOD 2011! LogicBlox team member Tuncay Tekle will be presenting the following research paper (in collaboration with Tuncay's thesis advisor Yanhong A. Liu):
- "More efficient Datalog queries: Subsumptive tabling beats magic sets"
PLDI 2011
In collaboration with researchers at University of Massachusetts, Amherst, LogicBlox will be represented at PLDI (ACM SIGPLAN Conference on Programming Languages Design and Implementation) 2011, by the following paper:- "Taming the Wildcards: Combining Definition- and Use-Site Variance"
POPL 2011
In collaboration with researchers at University of
Massachusetts, Amherst, and University of
Waterloo, LogicBlox will be represented at POPL
(Symposium on Principles of Programming Languages)
2011, by the following paper:
- "Pick Your Contexts Well: Understanding Object-Sensitivity"
