Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tyler Sorensen
conf.researchr.org general profile
PLDI 2025 profile
PLDI 2026 profile
Not registered as user
Name:
Tyler Sorensen
Country:
United States
Affiliation:
Microsoft Research
Contributions
2026
PLDI
Author of Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic within the PLDI Research Papers-track
2025
ARRAY
Author of Kuiper: verified and efficient GPU programming within the ARRAY 2025-track
Share
x
Thu 12 Nov 02:48