Opeoluwa Matthews
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2014–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISPASS | 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. Aragn, Luca P. Carloni, Margaret Martonosi |
| 2018 | ICCD | Low-Overhead Microarchitectural Patching for Multicore Memory Subsystems. | Doowon Lee, Opeoluwa Matthews, Valeria Bertacco |
| 2017 | MICRO | Architecting hierarchical coherence protocols for push-button parametric verification. | Opeoluwa Matthews, Daniel J. Sorin |
| 2016 | FMCAD | Verifiable hierarchical protocols with network invariants on parametric systems. | Opeoluwa Matthews, Jesse D. Bingham, Daniel J. Sorin |
| 2014 | DAC | Architecting Dynamic Power Management to be Formally Verifiable. | Daniel J. Sorin, Opeoluwa Matthews, Meng Zhang |
| 2014 | HPCA | Scalably verifiable dynamic power management. | Opeoluwa Matthews, Meng Zhang, Daniel J. Sorin |