15 citations · 49 across the 13 of their papers we have counts for
4 papers · 1 filter
Towards Gradual Checking of Reference Capabilities
Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble +1
Concurrent and parallel programming is difficult due to the presence of memory side-effects, which may introduce data races. Type qualifiers, such as reference capabilities, can re…
Mastery Learning-Like Teaching with Achievements
Tobias Wrigstad, Elias Castegren
This paper describes the design of a second-year, 20 ECTS credit course on imperative and object-oriented programming. The key design rhetoric is encouraging students to assume res…
Reference Capabilities for Safe Parallel Array Programming
Beatrice à kerblom, Elias Castegren, Tobias Wrigstad
The array is a fundamental data structure that provides an efficient way to store and retrieve non-sparse data contiguous in memory. Arrays are important for the performance of man…
Safely Abstracting Memory Layouts
Juliana Franco, Alexandros Tasos, Sophia Drossopoulou +2
Modern architectures require applications to make effective use of caches to achieve high performance and hide memory latency. This in turn requires careful consideration of placem…