As GPU availability has increased and programming support has matured, a...
This is a report on the PLDI 2020 conference, for which I was General Ch...
Multi-core architectures can be leveraged to allow independent processes...
There is growing interest in accelerating irregular data-parallel algori...
We develop a practical solution to the problem of automatic verification...