Overview
Dr. Daniel Sorin is a professor of Electrical and Computer Engineering at Duke University. His research interests are primarily in computer architecture and dependability.
Current Duke Appointments & Affiliations
Professor of Electrical and Computer Engineering
·
2015 - Present
Pierre R. Lamond Department of Electrical and Computer Engineering,
Pratt School of Engineering
Bass Fellow
·
2019 - Present
Pierre R. Lamond Department of Electrical and Computer Engineering,
Pratt School of Engineering
Associate Chair of Education in the Department of Electrical and Computer Engineering
·
2024 - Present
Pierre R. Lamond Department of Electrical and Computer Engineering,
Pratt School of Engineering
Professor in Computer Science
·
2019 - Present
Computer Science,
Trinity College of Arts & Sciences
Recent Scholarly Works
A Formally Verified Foundation for Compositional Heterogeneous Coherence
Journal article Proceedings of the ACM on Programming Languages · June 1, 2026 Modern processors integrate heterogeneous devices to expose unified shared memory. Yet, the de-facto design pattern used to compose their disparate coherence protocols lacks a formal foundation. This leaves the door open for subtle consistency bugs, in a c ... Full text CiteMessage from the Program Chairs
Journal article Proceedings International Symposium on Computer Architecture · June 21, 2025 Full text CiteEfficient Deadlock Avoidance by Considering Stalling, Message Dependencies, and Topology
Journal article IEEE Computer Architecture Letters · January 1, 2025 Traditional schemes for avoiding deadlocks compose techniques for both protocol deadlocks (virtual networks) and network deadlocks (virtual channels). Recent work has shown how to use fewer virtual networks by analyzing protocol stalls instead of just cons ... Full text CiteRecent Grants
Collaborative Research: FMitF: Track I:Specifying, Synthesizing, and Verifying Heterogeneous Coherence Protocols
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2025 - 2028SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2021 - 2026SHF:Small:Automatic Generation of Cache Coherent Memory Systems for Multicore Processors
ResearchPrincipal Investigator · Awarded by National Science Foundation · 2020 - 2024View All Grants
Education
University of Wisconsin, Madison ·
2002
Ph.D.
University of Wisconsin, Madison ·
1998
M.S.
Duke University ·
1996
B.S.