| Heterogeneous memory subsystem for natural graph analytics A Addisie, H Kassa, O Matthews, V Bertacco 2018 IEEE International Symposium on Workload Characterization (IISWC), 134-145, 2018 | 38 | 2018 |
| MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ... | 16 | 2020 |
| Verifiable hierarchical protocols with network invariants on parametric systems O Matthews, J Bingham, DJ Sorin 2016 Formal Methods in Computer-Aided Design (FMCAD), 101-108, 2016 | 13 | 2016 |
| Graphattack: Optimizing data supply for graph applications on in-order multicore architectures A Manocha, T Sorensen, E Tureci, O Matthews, JL Aragón, M Martonosi ACM Transactions on Architecture and Code Optimization (TACO) 18 (4), 1-26, 2021 | 11 | 2021 |
| Analysis of Microbump Overheads for 2.5 D Disintegrated Design P Ehrett, V Goyal, O Matthews, R Das, T Austin, V Bertacco | 11 | 2017 |
| Scalably verifiable dynamic power management O Matthews, M Zhang, DJ Sorin 2014 IEEE 20th International Symposium on High Performance Computer …, 2014 | 9 | 2014 |
| Low-overhead microarchitectural patching for multicore memory subsystems D Lee, O Matthews, V Bertacco 2018 IEEE 36th International Conference on Computer Design (ICCD), 17-25, 2018 | 7 | 2018 |
| Architecting hierarchical coherence protocols for push-button parametric verification O Matthews, DJ Sorin Proceedings of the 50th Annual IEEE/ACM International Symposium on …, 2017 | 6 | 2017 |
| Architecting dynamic power management to be formally verifiable DJ Sorin, O Matthews, M Zhang Proceedings of the 51st Annual Design Automation Conference, 1-3, 2014 | 6 | 2014 |
| The MosaicSim Simulator (Full Technical Report) O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ... arXiv preprint arXiv:2004.07415, 2020 | 1 | 2020 |
| SWAN: Hardware Trojan Security With Ambiguous Netlists T Linscott, V Bertaco, T Austin, O Matthews | | 2018 |
| A Formal Framework for Designing Verifiable Protocols O Matthews Duke University, 2017 | | 2017 |
Daniel J. SorinProfessor of ECE and Computer Science, Duke UniversityVerified email at ee.duke.edu
