8 citations · 12 across the 3 of their papers we have counts for
1 paper · 2 filters
Prodromos Gerakios, Nikolaos Papaspyrou, Konstantinos Sagonas
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data race…