49 citations · 64 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
Degrees of Separation: A Flexible Type System for Data Race Prevention
Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky
Data races are a notorious problem in parallel programming. There has been great research interest in type systems that statically prevent data races. Despite the progress in the s…
Formalizing Box Inference for Capture Calculus
Yichen Xu, Martin Odersky
Capture calculus has recently been proposed as a solution to effect checking, achieved by tracking the captured references of terms in the types. Boxes, along with the box and unbo…