Opeoluwa Matthews

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 7

Top Topics

Power Management

Ibm Zenterprise

Affine Invariant

Memory Subsystem

Top Venues

Publications

Aninda Manocha, Tyler Sorensen, Esin Tureci, Opeoluwa Matthews, Juan L. Aragón, Margaret Martonosi
GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures. ACM Trans. Archit. Code Optim. 18 (4) (2021)
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
The MosaicSim Simulator (Full Technical Report). CoRR (2020)
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
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. ISPASS (2020)
Abraham Addisie, Hiwot Kassa, Opeoluwa Matthews, Valeria Bertacco
Heterogeneous Memory Subsystem for Natural Graph Analytics. IISWC (2018)
Doowon Lee, Opeoluwa Matthews, Valeria Bertacco
Low-Overhead Microarchitectural Patching for Multicore Memory Subsystems. ICCD (2018)
Opeoluwa Matthews, Daniel J. Sorin
Architecting hierarchical coherence protocols for push-button parametric verification. MICRO (2017)
Opeoluwa Matthews, Jesse D. Bingham, Daniel J. Sorin
Verifiable hierarchical protocols with network invariants on parametric systems. FMCAD (2016)
Opeoluwa Matthews, Meng Zhang, Daniel J. Sorin
Scalably verifiable dynamic power management. HPCA (2014)
Daniel J. Sorin, Opeoluwa Matthews, Meng Zhang
Architecting Dynamic Power Management to be Formally Verifiable. DAC (2014)