11 citations · 11 across the 1 of their papers we have counts for
3 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…
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…