8 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
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…