Publication
RRB Vector: A Practical General Purpose Immutable Sequence
Publications associées (33)
Scaling Language Features for Program Verification
Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...
EPFL2022Turning Relaxed Radix Balanced Vector from Theory into Practice for Scala Collections (Master Thesis)
The immutable Vector collection in the Scala library offers nearly constant-time random access reads thanks to its underlying wide tree data structure. Furthermore, it provides amortized constant time sequential read, update, append and prepend operations ...
2015Scaling Similarity Joins over Tree-Structured Data
Given a large collection of tree-structured objects (e.g., XML documents), the similarity join finds the pairs of objects that are similar to each other, based on a similarity threshold and a tree edit distance measure. The state-of-the-art similarity join ...
Assoc Computing Machinery2015On Lock-Free Work-stealing Iterators for Parallel Data Structures
Martin Odersky, Aleksandar Prokopec, Dmytro Petrashko
With the rise of multicores, there is a trend of supporting data-parallel collection operations in general purpose programming languages. These operations are highly parametric, incurring abstraction performance penalties. Furthermore, data-parallel operat ...
2014