Tyler’s research interests are in developing and understanding models for testing and safely developing GPU applications which contain irregular computations. In particular, he examines issues related to the GPU relaxed memory model and execution model. He received his MSc from University of Utah in 2014 and worked as an intern for the Nvidia compiler team during the summers of 2013 and 2014.

His personal page is here.

Group Publications

  • Portable Inter-workgroup Barrier Synchronisation for GPUs

    Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric

    31st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'16)

  • Exposing Errors Related to Weak Memory in GPU Applications

    Tyler Sorensen, Alastair F. Donaldson

    37th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'16)

  • The Hitchhiker's Guide to Cross-Platform OpenCL Application Development

    Tyler Sorensen, Alastair F. Donaldson

    4th International Workshop on OpenCL (IWOCL'16)

  • GPU Concurrency: Weak Behaviours and Programming Assumptions

    Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson

    20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'15)