5 papers
Optimizing Relational Queries over Array-Valued Data in Columnar Systems
Maroua Zeblah, Etienne Couritas, Sarah Chlyah +3
Modern analytical workloads increasingly combine relational data with array-valued attributes. While columnar database systems efficiently process such workloads, their ability to…
On Scaling Neurosymbolic Programming through Guided Logical Inference
Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès +1
Probabilistic neurosymbolic learning seeks to integrate neural networks with symbolic programming. Many state-of-the-art systems rely on a reduction to the Probabilistic Weighted M…
Efficient Iterative Programs with Distributed Data Collections
Sarah Chlyah, Nils Gesbert, Pierre Geneves +1
Big data programming frameworks have become increasingly important for the development of applications for which performance and scalability are critical. In those complex framewor…
XML Static Analyzer User Manual
Pierre Geneves, Nabil Layaida
This document describes how to use the XML static analyzer in practice. It provides informal documentation for using the XML reasoning solver implementation. The solver allows auto…
Ensuring Query Compatibility with Evolving XML Schemas
Pierre Genevès, Nabil Layaïda, Vincent Quint
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validit…