research
∙
04/07/2023
Responsive Parallelism with Synchronization
Many concurrent programs assign priorities to threads to improve respons...
share
research
∙
04/29/2022
DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism
A number of problems in parallel computing require reasoning about the d...
research
∙
04/19/2022
Quartz: Superoptimization of Quantum Circuits (Extended Version)
Existing quantum compilers optimize quantum circuits by applying circuit...
research
∙
05/14/2021
Efficient Parallel Self-Adjusting Computation
Self-adjusting computation is an approach for automatically producing dy...
research
∙
10/15/2020
Program Equivalence for Assisted Grading of Functional Programs (Extended Version)
In courses that involve programming assignments, giving meaningful feedb...
research
∙
04/06/2020
Responsive Parallelism with Futures and State
Motivated by the increasing shift to multicore computers, recent work ha...
research
∙
02/12/2020
Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees
Dynamic algorithms capable of supporting batches of updates are increasi...
research
∙
03/21/2019
Parallel Batch-Dynamic Graph Connectivity
With the rapid growth of graph datasets over the past decade, a new kind...
research
∙
07/10/2018
Competitive Parallelism: Getting Your Priorities Right
Multi-threaded programs have traditionally fallen into one of two domain...
research
∙
06/13/2012
