Architecting Dynamic Power Management to be Formally Verifiable. - Daniel J. Sorin; Opeoluwa Matthews; Meng Zhang 017 (DAC, 2014)

Scalably verifiable dynamic power management. - Opeoluwa Matthews; Meng Zhang 017; Daniel J. Sorin (HPCA, 2014)

Verifiable hierarchical protocols with network invariants on parametric systems. - Opeoluwa Matthews; Jesse D. Bingham; Daniel J. Sorin (FMCAD, 2016)

Architecting hierarchical coherence protocols for push-button parametric verification. - Opeoluwa Matthews; Daniel J. Sorin (MICRO, 2017)

A Formal Framework for Designing Verifiable Protocols. - Opeoluwa Matthews (2017)

Low-Overhead Microarchitectural Patching for Multicore Memory Subsystems. - Doowon Lee; Opeoluwa Matthews; Valeria Bertacco (ICCD, 2018)

Heterogeneous Memory Subsystem for Natural Graph Analytics. - Abraham Addisie; Hiwot Kassa; Opeoluwa Matthews; Valeria Bertacco (IISWC, 2018)

MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. - Opeoluwa Matthews; Aninda Manocha; Davide Giri; Marcelo Orenes-Vera; Esin Tureci; Tyler Sorensen 001; Tae Jun Ham; Juan L. Aragón; Luca P. Carloni; Margaret Martonosi (ISPASS, 2020)

The MosaicSim Simulator (Full Technical Report). - Opeoluwa Matthews; Aninda Manocha; Davide Giri; Marcelo Orenes-Vera; Esin Tureci; Tyler Sorensen 001; Tae Jun Ham; Juan L. Aragón; Luca P. Carloni; Margaret Martonosi (CoRR, 2020)

GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures. - Aninda Manocha; Tyler Sorensen 001; Esin Tureci; Opeoluwa Matthews; Juan L. Aragón; Margaret Martonosi (ACM Trans. Archit. Code Optim., 2021)