Dec 7, 2020: Preventing Concurrency Bugs from Causing Harm, Automatically
Oct 24, 2013: Tanks: Multiple Reader, Single Writer Actors
And another paper that’s going to be presented by Joeri is our work on Tanks, a variation of communicating event loops (à la E or AmbientTalk). Tanks add synchronous and consistent read access to the event loop model.