49 citations · 64 across the 5 of their papers we have counts for
8 papers
Language-Integrated Recursive Queries (Full Version)
Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki +1
Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, rely on fixed-point computations. The introduction of recursi…
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…
Scoped Capabilities for Polymorphic Effects
Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee +2
Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables cap…
Tracking Captured Variables in Types
Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee +2
Type systems usually characterize the shape of values but not their free variables. However, there are many desirable safety properties one could guarantee if one could track how r…
Cache-Aware Lock-Free Concurrent Hash Tries
Aleksandar Prokopec, Phil Bagwell, Martin Odersky
This report describes an implementation of a non-blocking concurrent shared-memory hash trie based on single-word compare-and-swap instructions. Insert, lookup and remove operation…
Building-Blocks for Performance Oriented DSLs
Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee +4
Domain-specific languages raise the level of abstraction in software development. While it is evident that programmers can more easily reason about very high-level programs, the sa…