3 citations · 3 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.DB2023
Adaptive Recursive Query Optimization
Anna Herlihy, Guillaume Martres, Anastasia Ailamaki +1
Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, are increasingly reliant on recursive queries for data analys…
cs.PL2023
Type-Preserving Compilation of Class-Based Languages
Guillaume Martres
The Dependent Object Type (DOT) calculus was designed to put Scala on a sound basis, but while DOT relies on structural subtyping, Scala is a fundamentally class-based language. Th…