Opeoluwa (Luwa) Matthews
Opeoluwa (Luwa) Matthews
Verified email at apple.com
Cited by
Cited by
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
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
Scalably verifiable dynamic power management
O Matthews, M Zhang, DJ Sorin
2014 IEEE 20th International Symposium on High Performance Computer …, 2014
Analysis of Microbump Overheads for 2.5 D Disintegrated Design
P Ehrett, V Goyal, O Matthews, R Das, T Austin, V Bertacco
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
Architecting hierarchical coherence protocols for push-button parametric verification
O Matthews, DJ Sorin
Proceedings of the 50th Annual IEEE/ACM International Symposium on …, 2017
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
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems
O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ...
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
SWAN: Hardware Trojan Security With Ambiguous Netlists
T Linscott, V Bertaco, T Austin, O Matthews
A Formal Framework for Designing Verifiable Protocols
O Matthews
Duke University, 2017
The system can't perform the operation now. Try again later.
Articles 1–11