1 citations · 3 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Native Implementation of Mutable Value Semantics
Dimitri Racordon, Denys Shabalin, Daniel Zheng +2
Unrestricted mutation of shared state is a source of many well-known problems. The predominant safe solutions are pure functional programming, which bans mutation outright, and flo…
cs.PL2021
Fuel: A Compiler Framework for Safe Memory Management
Dimitri Racordon, Aurélien Coet, Didier Buchs
Flow-sensitive type systems offer an elegant way to ensure memory-safety in programming languages. Unfortunately, their adoption in new or existing languages is often hindered by a…