15 citations · 49 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 1 cited
Actors without Borders: Amnesty for Imprisoned State
Elias Castegren, Tobias Wrigstad
In concurrent systems, some form of synchronisation is typically needed to achieve data-race freedom, which is important for correctness and safety. In actor-based systems, message…
cs.PL2017
Spencer: Interactive Heap Analysis for the Masses
Stephan Brandauer, Tobias Wrigstad
Programming language-design and run-time-implementation require detailed knowledge about the programs that users want to implement. Acquiring this knowledge is hard, and there is l…