research
∙
11/09/2022
Fast and Scalable Channels in Kotlin Coroutines
Asynchronous programming has gained significant popularity over the last...
share
research
∙
11/22/2021
A Formally-Verified Framework for Fair Synchronization in Kotlin Coroutines
Writing concurrent code that is both correct and efficient is notoriousl...
research
∙
09/02/2021
Multi-Queues Can Be State-of-the-Art Priority Schedulers
Designing and implementing efficient parallel priority schedulers is an ...
research
∙
05/17/2021
A Scalable Concurrent Algorithm for Dynamic Connectivity
Dynamic Connectivity is a fundamental algorithmic graph problem, motivat...
research
∙
04/30/2021
Memory-Optimality for Non-Blocking Containers
A bounded container maintains a collection of elements that can be inser...
research
∙
03/20/2020
Efficiency Guarantees for Parallel Incremental Algorithms under Relaxed Schedulers
Several classic problems in graph processing and computational geometry ...
research
∙
11/14/2019