Lucas F. Salvador

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Software Testing

Statistical Model

Prior Knowledge

Top Venues

Proc. ACM Program. Lang.

Publications

Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and Testing GPU Workgroup Progress Models. CoRR (2021)
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)