The LogicBlox system aims to reduce the complexity of software development for modern
applications which enhance and automate decision-making and enable their users to evolve …

This paper proposes a technique for automatically learning semantic malware signatures for
Android from very few samples of a malware family. The key idea underlying our technique …

Due to the growing need to process large graph and network datasets created by modern
applications, recent years have witnessed a surging interest in developing big graph …

 Abstract—Google, Amazon, Facebook and Twitter gained enormous advantages from big
data methodologies and techniques. There are certain unanswered questions regarding the …

This chapter is a survey of the history and the main concepts of Datalog. We begin with an
introduction to the language and its use for database definition and querying. We then look …

Data trees, typically encoded in JSON, are ubiquitous in data-driven applications. This
ubiquity makes urgent the development of novel techniques for querying heterogeneous …

We propose a novel foundational framework for why-not explanations, that is, explanations
for why a tuple is missing from a query result. Our why-not explanations leverage concepts …

Large-scale knowledge graphs (KGs) are widely used in industry and academia, and
provide excellent use-cases for ontologies. We find, however, that popular ontology …

This paper presents the first Datalog evaluation engine for executing graph analytics over
BSP-style graph processing engines. Building on recent advances in Datalog that support …

Multi-core and highly connected architectures have become ubiquitous, and this has
brought renewed interest in language-based approaches to the exploitation of parallelism …