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 | 41 | 2018 |
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ... | 21 | 2020 |
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 | 14 | 2021 |
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 | 14 | 2016 |
Analysis of Microbump Overheads for 2.5 D Disintegrated Design P Ehrett, V Goyal, O Matthews, R Das, T Austin, V Bertacco | 12 | 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 | 8 | 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 | 7 | 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 | 2 | 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 |