16 citations · 28 across the 6 of their papers we have counts for
7 papers
DPNL: A DPLL-based Algorithm for Probabilistic Neurosymbolic Learning
Thomas Jean-Michel Valentin, Pierre Genev{è}s, Luisa Sophie Werner +3
Probabilistic Neurosymbolic Learning (PNL) combines neural predictions with symbolic reasoning, enabling end-to-end learning from final-output supervision without labels for interm…
Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
Richard Casetta, Nils Gesbert, Pierre Genevès
Modern web applications combine persistent state updates, concurrent interactions, and unreliable communication with external services. Failures such as timeouts can occur after pa…
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…
Schema-Based Query Optimisation for Graph Databases
Chandan Sharma, Pierre Genevès, Nils Gesbert +1
Recursive graph queries are increasingly popular for extracting information from interconnected data found in various domains such as social networks, life sciences, and business a…
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…
Session Types as Generic Process Types
Simon J. Gay, Nils Gesbert, António Ravara
Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for…
Modular session types for objects
Simon J. Gay, Nils Gesbert, António Ravara +1
Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on…