research
∙
06/23/2021
Native Implementation of Mutable Value Semantics
Unrestricted mutation of shared state is a source of many well-known pro...
share
research
∙
06/23/2021
Fuel: A Compiler Framework for Safe Memory Management
Flow-sensitive type systems offer an elegant way to ensure memory-safety...
research
∙
07/25/2019
Explicit and Controllable Assignment Semantics
Despite the plethora of powerful software to spot bugs, identify perform...
research
∙
12/19/2018
Coroutines with Higher Order Functions
Coroutines are non-preemptive concurrent subroutines that, unlike preemp...
research
∙
08/17/2017