Opeoluwa Matthews

According to our database, Opeoluwa Matthews authored at least 10 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures.

Aninda Manocha, Tyler Sorensen, Esin Tureci, Opeoluwa Matthews, Juan L. Aragón, Margaret Martonosi

ACM Trans. Archit. Code Optim., 2021

2020

The MosaicSim Simulator (Full Technical Report).

Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi

CoRR, 2020

MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems.

Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2020

2018

Heterogeneous Memory Subsystem for Natural Graph Analytics.

Abraham Addisie, Hiwot Kassa, Opeoluwa Matthews, Valeria Bertacco

Proceedings of the 2018 IEEE International Symposium on Workload Characterization, 2018

Low-Overhead Microarchitectural Patching for Multicore Memory Subsystems.

Doowon Lee, Opeoluwa Matthews, Valeria Bertacco

Proceedings of the 36th IEEE International Conference on Computer Design, 2018

2017

A Formal Framework for Designing Verifiable Protocols.

Opeoluwa Matthews

PhD thesis, 2017

Architecting hierarchical coherence protocols for push-button parametric verification.

Opeoluwa Matthews, Daniel J. Sorin

Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture, 2017

2016

Verifiable hierarchical protocols with network invariants on parametric systems.

Opeoluwa Matthews, Jesse D. Bingham, Daniel J. Sorin

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2014

Scalably verifiable dynamic power management.

Opeoluwa Matthews, Meng Zhang, Daniel J. Sorin

Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, 2014

Architecting Dynamic Power Management to be Formally Verifiable.

Daniel J. Sorin, Opeoluwa Matthews, Meng Zhang

Proceedings of the 51st Annual Design Automation Conference 2014, 2014