Daniel J. Sorin
Professor of Electrical and Computer Engineering
Dr. Daniel Sorin is the W.H. Gardner Jr. professor of Electrical and Computer Engineering and of Computer Science. His research interests are primarily in computer architecture and dependability.
Current Appointments & Affiliations
- Professor of Electrical and Computer Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2015
- Addy Professor of Electrical and Computer Engineering in the Edmund T. Pratt, Jr. School of Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2017 - 2019
- Professor in the Department of Computer Science, Computer Science, Trinity College of Arts & Sciences 2015
Contact Information
- 209C Hudson Hall, Durham, NC 27708
- Box 90291, Durham, NC 27708-0291
-
sorin@ee.duke.edu
(919) 660-5439
-
http://www.ee.duke.edu/~sorin
- Background
-
Education, Training, & Certifications
- Ph.D., University of Wisconsin at Madison 2002
- M.S., University of Wisconsin at Madison 1998
- B.S., Duke University 1996
-
Duke Appointment History
- Associate Professor of Electrical and Computer Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2009 - 2015
- Associate Professor in the Department of Computer Science, Computer Science, Trinity College of Arts & Sciences 2010 - 2015
- Assistant Professor in the Department of Computer Science, Computer Science, Trinity College of Arts & Sciences 2002 - 2010
- Assistant Professor of Electrical and Computer Engineering, Electrical and Computer Engineering, Pratt School of Engineering 2002 - 2009
- Recognition
-
Awards & Honors
- Program Chair of HiPEAC 2017. HiPEAC. 2017
- Co-chair of selection committee for IEEE Micro's Top Picks 2016. IEEE Micro. 2016
- Associate Editor in Chief. Computer Architecture Letters. 2015
- IEEE Micro Top Pick. IEEE Micro. 2015
- Best Paper Award. 20th International Symposium on High Performance Computer Architecture. 2014
- IEEE Micro Top Pick. IEEE Micro. 2011
- Lois and John L. Imhoff Distinguished Teaching Award. Pratt School of Engineering. 2011
- ACM Senior Member. Association for Computing Machinery. 2009
- Eta Kappa Nu. Unknown. July 2008
- Intel Graduate Fellowship. Unknown. July 2008
- NSF Early CAREER Award. National Science Foundation. July 2008
- Outstanding Graduate Research Award. University of Wisconsin. July 2008
- Phi Beta Kappa. Unknown. July 2008
- Tau Beta Pi. Unknown. July 2008
- Top of 2004 - Nanocomputing Research. Technology Research News. July 2008
- Faculty Early Career Development (CAREER) Program. National Science Foundation. 2005
- Research
-
Selected Grants
- CIF:Small:High Performance Memories that Integrate Coding and Computer Architecture awarded by National Science Foundation 2017 - 2020
- SHF:Small:Designing Architectures to be Formally Verifiable awarded by National Science Foundation 2014 - 2018
- SHF:Small:Using Coding Theory to Optimize the Representation of Information in Computer Architecture awarded by National Science Foundation 2014 - 2018
- SHF:Small:Shared Memory Architectures and Microarchitectures for Heterogeneous General-Purpose Chips awarded by National Science Foundation 2012 - 2016
- SHF:Small:Commodity Processors with Mainframe Reliability awarded by National Science Foundation 2011 - 2015
- CCF: EAGER: FIESTA: A Sound Multi-Program Workload Methodology awarded by National Science Foundation 2012 - 2013
- CPA-CSA: Verification-Aware Microarchitecture awarded by National Science Foundation 2008 - 2012
- CAREER: Improving Multiprocessor Availability with Dynamic Verification and Autonomic Operation awarded by National Science Foundation 2005 - 2011
- Autonomic Computing via Dynamic Self-Repair of Hardware Faults awarded by National Aeronautics and Space Administration 2005 - 2008
- ITR: Nanoarchitecture: Balancing Regularity, Complexity, and Defect Tolerance using DNA for Nanoeletronic Integration awarded by National Science Foundation 2003 - 2007
- Architectural Support for Service Level Agreements awarded by National Science Foundation 2003 - 2007
- FaultFinder: Improving the Availabiltiy of Multiprocessor Servers awarded by National Science Foundation 2003 - 2006
- Publications & Artistic Works
-
Selected Publications
-
Conference Papers
- Mappouras, G, Vahid, A, Calderbank, R, Hower, DR, and Sorin, DJ. "Jenga: Efficient fault tolerance for stacked DRAM." November 22, 2017. Full Text
- Matthews, O, and Sorin, DJ. "Architecting hierarchical coherence protocols for push-button parametric verification." October 14, 2017. Full Text
- Matthews, O, Bingham, J, and Sorin, DJ. "Verifiable hierarchical protocols with network invariants on parametric systems." March 24, 2017. Full Text
- Murray, S, Floyd-Jones, W, Qi, Y, Konidaris, G, and Sorin, DJ. "The microarchitecture of a real-Time robot motion planning accelerator." December 14, 2016. Full Text
- Mappouras, G, Vahid, A, Calderbank, R, and Sorin, DJ. "Methuselah flash: Rewriting codes for extra long storage lifetime." September 29, 2016. Full Text
- Eslami, A, Velasco, A, Vahid, A, Mappouras, G, Calderbank, R, and Sorin, DJ. "Writing without disturb on phase change memories by integrating coding and layout design." October 5, 2015. Full Text
- Jacobvitz, AN, Hilton, AD, and Sorin, DJ. "Multi-program benchmark definition." January 1, 2015. Full Text Open Access Copy
- Nathan, R, Anthonio, B, Lu, SL, Naeimi, H, Sorin, DJ, Sun, X, Nathan, R, Anthonio, B, Lu, SL, Naeimi, H, Sorin, DJ, and Sun, X. "Recycled Error Bits: Energy-Efficient Architectural Support for Floating Point AccuracyRecycled Error Bits: Energy-Efficient Architectural Support for Floating Point Accuracy (PublishedPublished)." January 16, 2014. Full Text
- Matthews, O, Zhang, M, and Sorin, DJ. "Scalably verifiable dynamic power management." January 1, 2014. Full Text
- Nathan, R, and Sorin, DJ. "Nostradamus: Low-cost hardware-only error detection for processor cores." January 1, 2014. Full Text
- Zhang, M, Bingham, JD, Erickson, J, and Sorin, DJ. "PVCoherence: Designing flat coherence protocols for scalable verification." IEEE Computer Society, 2014. Full Text
- Badea, C, Iures, L, and Sorin, D. "The recycling of fly ash to obtain building materials." December 1, 2013. Full Text
- Catalin, B, Liana, I, Ionel, B, and Sorin, D. "Building materials realised with fly ash." December 1, 2012.
- Lefebvre, C, Lemouzy, P, Sorin, D, Roy, G, and Serbutoviez, S. "Building a roadmap for enhanced oil recovery prefeasibility study." December 1, 2012.
- Romanescu, BF, Lebeck, AR, and Sorin, DJ. "Specifying and dynamically verifying address translation-aware memory consistency." May 19, 2010. Full Text
- Romanescu, BF, Lebeck, AR, Sorin, DJ, and Bracy, A. "Unified Instruction/Translation/Data (UNITD) coherence: One protocol to rule them all." 2010. Open Access Copy
- Romanescu, BF, Lebeck, AR, and Sorin, DJ. "Specifying and dynamically verifying address translation-aware memory consistency." 2010. Full Text
- Zhang, M, Lebeck, AR, and Sorin, DJ. "Fractal Coherence: Scalably verifiable cache coherence." 2010. Full Text
- Yilmaz, M, Meixner, A, Ozev, S, and Sorin, DJ. "Lazy Error Detection for Microprocessor Functional Units." IEEE Computer Society, 2007. Full Text
- Patwardhan, JP, Lebeck, AR, and Sorin, DJ. "Communication breakdown: Analyzing CPU usage in commercial web workloads." 2004. Full Text
- Li, T, Lebeck, AR, and Sorin, DJ. "Quantifying instruction criticality for shared memory multiprocessors." 2003.
- Li, T, Lebeck, AR, and Sorin, DJ. "Quantifying instruction criticality for shared memory multiprocessors." 2003.
- Martin, MMK, Sorin, DJ, Hill, MD, and Wood, DA. "Bandwidth Adaptive Snooping." IEEE Computer Society, 2002. Full Text
-
Journal Articles
- Sorin, DJ. "Persistent Memory." Computer 50, no. 3 (March 2017): 12-12. Full Text
- Martin, M, and Sorin, D. "Top Picks from the 2015 Computer Architecture Conferences." IEEE Micro 36, no. 3 (May 1, 2016): 6-9. Full Text
- Zhang, M, Bingham, JD, Erickson, J, and Sorin, DJ. "PVCoherence: Designing Flat Coherence Protocols for Scalable Verification." IEEE Micro 35, no. 3 (May 2015): 84-91. Full Text
- Nathan, R, and Sorin, DJ. "Argus-G: Comprehensive, Low-Cost Error Detection for GPGPU Cores." IEEE Computer Architecture Letters 14, no. 1 (January 2015): 13-16. Full Text
- Nathan, R, and Sorin, DJ. "Nostradamus: Low-cost hardware-only error detection for processor cores." Proceedings -Design, Automation and Test in Europe, DATE (2014).
- Sorin, DJ, Matthews, O, and Zhang, M. "Architecting dynamic power management to be formally verifiable." Proceedings - Design Automation Conference (January 1, 2014). Full Text
- Hechtman, BA, and Sorin, DJ. "Evaluating cache coherent shared virtual memory for heterogeneous multicore chips." ISPASS 2013 - IEEE International Symposium on Performance Analysis of Systems and Software (2013): 118-119. Full Text
- Hechtman, BA, and Sorin, DJ. "Exploring memory consistency for massively-threaded throughput-oriented processors." Proceedings - International Symposium on Computer Architecture (2013): 201-212. Full Text
- Jacobvitz, AN, Calderbank, R, and Sorin, DJ. "Coset coding to extend the lifetime of memory." Proceedings - International Symposium on High-Performance Computer Architecture (2013): 222-233. Full Text
- Seetharam, K, Keh, LCT, Nathan, R, and Sorin, DJ. "Applying reduced precision arithmetic to detect errors in floating point multiplication." Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC (January 1, 2013): 232-235. Full Text
- Jacobvitz, AN, Calderbank, R, and Sorin, DJ. "Writing cosets of a convolutional code to increase the Lifetime of Flash memory." 2012 50th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2012 (2012): 308-318. Full Text
- Martin, MMK, Hill, MD, and Sorin, DJ. "Why on-chip cache coherence is here to stay." Communications of the ACM 55, no. 7 (2012): 78-89. Full Text
- Eibl, PJ, Meixner, A, and Sorin, DJ. "An FPGA-based experimental evaluation of microprocessor core error detection with Argus-2." Performance Evaluation Review 39, no. 1 SPEC. ISSUE (2011): 121-122. Full Text
- Gizopoulos, D, Psarakis, M, Adve, SV, Ramachandran, P, Hari, SKS, Sorin, D, Meixner, A, Biswas, A, and Vera, X. "Architectures for online error detection and recovery in multicore processors." Proceedings -Design, Automation and Test in Europe, DATE (2011): 533-538.
- Romanescu, B, Lebeck, A, and Sorin, DJ. "Address translation aware memory consistency." IEEE Micro 31, no. 1 (2011): 109-118. Full Text
- Sorin, DJ, Hill, MD, and Wood, DA. "A primer on memory consistency and cache coherence." Synthesis Lectures on Computer Architecture 16 (2011): 1-212. Full Text
- Zhang, M, Lebeck, A, and Sorin, D. "Fractal consistency: Architecting the memory system to facilitate verification." IEEE Computer Architecture Letters 9, no. 2 (2010): 61-64. Full Text Open Access Copy
- Eibl, PJ, Cook, AD, and Sorin, DJ. "Reduced precision checking for a floating point adder." Proceedings - IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (2009): 145-152. Full Text
- Lungu, A, Bose, P, Buyuktosunoglu, A, and Sorin, DJ. "Dynamic power gating with quality guarantees." Proceedings of the International Symposium on Low Power Electronics and Design (2009): 377-382. Full Text
- Lungu, A, Bose, P, Sorin, DJ, German, S, and Janssen, G. "Multicore power management: Ensuring robustness via early-stage formal verification." 2009 7th IEEE-ACM International Conference on Formal Methods and Models for Co-Design, MEMOCODE '09 (2009): 78-87. Full Text
- Meixner, A, and Sorin, DJ. "Dynamic verification of memory consistency in cache-coherent multithreaded computer architectures." IEEE Transactions on Dependable and Secure Computing 6, no. 1 (2009): 18-31. Full Text
- Zhang, M, Lungu, A, and Sorin, DJ. "Analyzing formal verification and testing efforts of different fault tolerance mechanisms." Proceedings - IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (2009): 277-285. Full Text
- Bower, FA, Sorin, DJ, and Cox, LP. "The impact of dynamically heterogeneous multicore processors on thread scheduling." IEEE Micro 28, no. 3 (2008): 17-25. Full Text
- Meixner, A, Bauer, ME, and Sorin, DJ. "Argus: Low-cost, comprehensive error detection in simple cores." IEEE Micro 28, no. 1 (2008): 52-59. Full Text
- Meixner, A, and Sorin, DJ. "Detouring: Translating software to circumvent hard faults in simple cores." Proceedings of the International Conference on Dependable Systems and Networks (2008): 80-89. Full Text
- Romanescu, BF, Bauer, ME, Ozev, S, and Sorin, DJ. "Reducing the impact of intra-core process variability with criticality-based resource allocation and prefetching." Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, CF'08 (2008): 129-138. Full Text
- Romanescu, BF, and Sorin, DJ. "Core cannibalization architecture: Improving lifetime chip performance for multicore processors in the presence of hard faults." Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT (2008): 43-51. Full Text
- Bower, FA, Sorin, DJ, and Ozev, S. "Online diagnosis of hard faults in microprocessors." TACO 4 (2007). Full Text
- Lungu, A, and Sorin, DJ. "Verification-aware microprocessor design." Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT (2007): 83-93. Full Text
- Meixner, A, Bauer, ME, and Sorin, DJ. "Argus: Low-cost, comprehensive error detection in simple cores." Proceedings of the Annual International Symposium on Microarchitecture, MICRO (2007): 210-222. Full Text
- Meixner, A, and Sorin, DJ. "Error detection using dynamic dataflow verification." Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT (2007): 104-115. Full Text
- Meixner, A, and Sorin, DJ. "Unified microprocessor core storage." 2007 Computing Frontiers, Conference Proceedings (2007): 23-34. Full Text
- Meixner, A, and Sorin, DJ. "Error detection via online checking of cache coherence with token coherence signatures." Proceedings - International Symposium on High-Performance Computer Architecture (2007): 145-156. Full Text
- Ozev, S, Sorin, DJ, and Yilmaz, M. "Low-cost run-time diagnosis of hard delay faults in the functional units of a microprocessor." 2007 IEEE International Conference on Computer Design, ICCD 2007 (2007): 317-324. Full Text
- Romanescu, BF, Bauer, ME, Sorin, DJ, and Ozev, S. "Reducing the impact of process variability with prefetching and criticality-based resource allocation." Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT (2007): 424--. Full Text
- Yilmaz, M, Hower, DR, Ozev, S, and Sorin, DJ. "Self-checking and self-diagnosing 32-bit microprocessor multiplier." Proceedings - International Test Conference (2007). Full Text
- Bower, FA, Hower, D, Yilmaz, M, Sorin, DJ, and Ozev, S. "Applying architectural vulnerability analysis to hard faults in the microprocessor." Performance Evaluation Review 34, no. 1 (2006): 375-376. Full Text
- Li, T, Lebeck, AR, and Sorin, DJ. "Spin detection hardware for improved management of multithreaded systems." IEEE Transactions on Parallel and Distributed Systems 17, no. 6 (2006): 508-521. Full Text
- Meixner, A, and Sorin, DJ. "Dynamic verification of memory consistency in cache-coherent multithreaded computer architectures." Proceedings of the International Conference on Dependable Systems and Networks 2006 (2006): 73-82. Full Text
- Patwardhan, JP, Dwyer, C, Lebeck, AR, and Sorin, DJ. "NANA: A nano-scale active network architecture." ACM Journal on Emerging Technologies in Computing Systems 2, no. 1 (2006): 1-30.
- Sadler, NN, and Sorin, DJ. "Choosing an error protection scheme for a microprocessor's L1 data cache." IEEE International Conference on Computer Design, ICCD 2006 (2006): 499-505. Full Text
- Bower, FA, Ozev, S, and Sorin, DJ. "Autonomic microprocessor execution via self-repairing arrays." IEEE Transactions on Dependable and Secure Computing 2, no. 4 (2005): 297-310. Full Text
- Bower, FA, Sorin, DJ, and Ozev, S. "A mechanism for online diagnosis of hard faults in microprocessors." Proceedings of the Annual International Symposium on Microarchitecture, MICRO (2005): 197-208. Full Text
- Carter, JR, Ozev, S, and Sorin, DJ. "Circuit-level modeling for concurrent testing of operational defects due to gate oxide breakdown." Proceedings -Design, Automation and Test in Europe, DATE '05 I (2005): 300-305. Full Text
- Dwyer, C, Lebeck, AR, and Sorin, DJ. "Self-assembled architectures and the temporal aspects of computing." Computer 38, no. 1 (2005): 56-64. Full Text
- Meixner, A, and Sorin, DJ. "Dynamic verification of sequential consistency." Proceedings - International Symposium on Computer Architecture (2005): 482-493. Full Text
- Bower, FA, Shealy, PG, Ozev, S, and Sorin, DJ. "Tolerating hard faults in microprocessor array structures." Proceedings of the International Conference on Dependable Systems and Networks (2004): 51-60.
- Dwyer, C, Cheung, M, and Sorin, DJ. "Semi-empirical SPICE models for carbon nanotube FET logic." 2004 4th IEEE Conference on Nanotechnology (2004): 386-388.
- Dwyer, C, Johri, V, Cheung, M, Patwardhan, J, Lebeck, A, and Sorin, D. "Design tools for a DNA-guided self-assembling carbon nanotube technology." Nanotechnology 15, no. 9 (2004): 1240-1245. Full Text
- Sorin, DJ, Martin, MMK, Hill, MD, and Wood, DA. "Using speculation to simplify multiprocessor design." Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM) 18 (2004): 1057-1066.
- Alameldeen, AR, Martin, MMK, Mauer, CJ, Moore, KE, Xu, M, Hill, MD, Wood, DA, and Sorin, DJ. "Simulating a $2M commercial server on a $2K PC." Computer 36, no. 2 (2003): 50-57+4. Full Text
- Martin, MMK, Harper, PJ, Sorin, DJ, Hill, MD, and Wood, DA. "Using destination-set prediction to improve the latency/bandwidth tradeoff in shared-memory multiprocessors." Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA (2003): 206-217.
- Sorin, DJ, Hill, MD, and Wood, DA. "Dynamic Verification of End-to-End Multiprocessor Invariants." Proceedings of the International Conference on Dependable Systems and Networks (2003): 281-290. Full Text
- Sorin, DJ, Lemon, JL, Eager, DL, and Vernon, MK. "Analytic evaluation of shared-memory architectures." IEEE Transactions on Parallel and Distributed Systems 14, no. 2 (2003): 166-180. Full Text
- Sorin, DJ, Martin, MMK, Hill, MD, and Wood, DA. "SafetyNet: Improving the availability of shared memory multiprocessors with global checkpoint/recovery." Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA (2002): 123-134.
- Sorin, DJ, Plakal, M, Condon, AE, Hill, MD, Martin, MMK, and Wood, DA. "Specifying and verifying a broadcast and a multicast snooping cache coherence protocol." IEEE Transactions on Parallel and Distributed Systems 13, no. 6 (2002): 556-578. Full Text
- Martin, MMK, Sorin, DJ, Cain, HW, Hill, MD, and Lipasti, MH. "Correctly implementing value prediction in microprocessors that support multithreading or multiprocessing." Proceedings of the Annual International Symposium on Microarchitecture (2001): 328-337. Full Text
- Eager, DL, Sorin, DJ, and Vernon, MK. "AMVA techniques for high service time variability." Performance Evaluation Review 28, no. 1 (2000): 217-228.
- Martin, MMK, Sorin, DJ, Ailamaki, A, Alameldeen, AR, Dickson, RM, Mauer, CJ, Moore, KE, Plakal, M, Hill, MD, and Wood, DA. "Timestamp snooping: An approach for extending SMPs." Operating Systems Review (ACM) 34, no. 5 (2000): 25-36.
- Martin, MMK, Sorin, DJ, Ailamaki, A, Alameldeen, AR, Dickson, RM, Mauer, CJ, Moore, KE, Plakal, M, Hill, MD, and Wood, DA. "Timestamp snooping: An approach for extending SMPs." SIGPLAN Notices (ACM Special Interest Group on Programming Languages) 35, no. 11 (2000): 25-36.
- Martin, MMK, Sorin, DJ, Ailamaki, A, Alameldeen, AR, Dickson, RM, Mauer, CJ, Moore, KE, Plakal, M, Hill, MD, and Wood, DA. "Timestamp snooping: An approach for extending SMPs." International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS (2000): 25-36.
- Bilir, EE, Dickson, RM, Hu, Y, Plakal, M, Sorin, DJ, Hill, MD, and Wood, DA. "Multicast snooping: A new coherence method using a multicast address network." Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA (1999): 294-304.
- Condon, AE, Hill, MD, Plakal, M, and Sorin, DJ. "Using Lamport clocks to reason about relaxed memory models." IEEE High-Performance Computer Architecture Symposium Proceedings (1999): 270-278.
- Hill, MD, Condon, AE, Plakal, M, and Sorin, DJ. "System-level specification framework for I/O architectures." Annual ACM Symposium on Parallel Algorithms and Architectures (1999): 138-147.
- Plakal, M, Sorin, DJ, Condon, AE, and Hill, MD. "Lamport clocks: verifying a directory cache-coherence protocol." Annual ACM Symposium on Parallel Algorithms and Architectures (1998): 67-76.
- Sorin, DJ, Pai, VS, Adve, SV, Vernon, MK, and Wood, DA. "Analytic evaluation of shared-memory systems with ILP processors." Conference Proceedings - Annual International Symposium on Computer Architecture, ISCA (1998): 380-391.
-
- Teaching & Mentoring
-
Recent Courses
Some information on this profile has been compiled automatically from Duke databases and external sources. (Our About page explains how this works.) If you see a problem with the information, please write to Scholars@Duke and let us know. We will reply promptly.
