research
∙
05/20/2023
Formal Verification of Chase-Lev Deque in Concurrent Separation Logic
Chase-Lev deque is a concurrent data structure designed for efficient lo...
share
research
∙
02/23/2022
Improving Scalability with GPU-Aware Asynchronous Tasks
Asynchronous tasks, when created with over-decomposition, enable automat...
research
∙
11/08/2021
Performance Evaluation of Python Parallel Programming Models: Charm4Py and mpi4py
Python is rapidly becoming the lingua franca of machine learning and sci...
research
∙
02/24/2021
