Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Sorin
conf.researchr.org general profile
HPCA/CGO/PPoPP/CC 2026 profile
PLDI 2026 profile
Registered user since Thu 9 Apr 2026
Name:
Daniel Sorin
Affiliation:
Duke University
Contributions
2026
PLDI
Author of A Formally Verified Foundation for Compositional Heterogeneous Coherence within the PLDI Research Papers-track
HPCA
Committee Member in Program Committee
Share
x
Wed 21 Oct 11:01