11 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.PL2021★ 11 cited
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen, Lucas F. Salvador, Harmit Raval +4
As GPU availability has increased and programming support has matured, a wider variety of applications are being ported to these platforms. Many parallel applications contain fine-…
cs.SE2020★ 6 cited
Modeling the Raft Distributed Consensus Protocol in LNT
Hugues Evrard
Consensus protocols are crucial for reliable distributed systems as they let them cope with network and server failures. For decades, most consensus protocols have been designed as…
cs.PL2017★ 2 cited
Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version)
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
There is growing interest in accelerating irregular data-parallel algorithms on GPUs. These algorithms are typically blocking, so they require fair scheduling. But GPU programming…