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 Appointments & Affiliations
Professor of Electrical and Computer Engineering
·
2015 - Present
Electrical and Computer Engineering,
Pratt School of Engineering
Bass Fellow
·
2019 - Present
Electrical and Computer Engineering,
Pratt School of Engineering
Associate Chair of Education in the Department of Electrical and Computer Engineering
·
2024 - Present
Electrical and Computer Engineering,
Pratt School of Engineering
Professor in Computer Science
·
2019 - Present
Computer Science,
Trinity College of Arts & Sciences
Recent Publications
Message 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 CiteDetermining the Minimum Number of Virtual Networks for Different Coherence Protocols
Conference Proceedings International Symposium on Computer Architecture · January 1, 2024 We revisit the question of how many virtual networks (VNs) are required to provably avoid deadlock in a cache coherence protocol. The textbook way of reasoning about VNs says that the number of VNs depends on the longest chain of message dependencies in th ... 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, Training & Certifications
University of Wisconsin, Madison ·
2002
Ph.D.
University of Wisconsin, Madison ·
1998
M.S.
Duke University ·
1996
B.S.