research
∙
02/12/2020
Recursed is not Recursive: A Jarring Result
Recursed is a 2D puzzle platform video game featuring treasure chests th...
share
research
∙
01/24/2019
Infinite All-Layers Simple Foldability
We study the problem of deciding whether a crease pattern can be folded ...
research
∙
08/13/2018
Relaxed Schedulers Can Efficiently Parallelize Iterative Algorithms
There has been significant progress in understanding the parallelism inh...
research
∙
04/26/2018
Who witnesses The Witness? Finding witnesses in The Witness is hard and sometimes impossible
We analyze the computational complexity of the many types of pencil-and-...
research
∙
04/03/2018
Distributionally Linearizable Data Structures
Relaxed concurrent data structures have become increasingly popular, due...
research
∙
03/03/2018