Aninda Manocha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2020–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | MICRO | Architectural Support for Optimizing Huge Page Selection Within the OS. | Aninda Manocha, Zi Yan, Esin Tureci, Juan L. Aragn, David W. Nellans, Margaret Martonosi |
| 2022 | ISCA | Tiny but mighty: designing and realizing scalable latency tolerance for manycore SoCs. | Marcelo Orenes-Vera, Aninda Manocha, Jonathan Balkind, Fei Gao, Juan L. Aragn, David Wentzlaff, Margaret Martonosi |
| 2021 | DAC | AutoSVA: Democratizing Formal Verification of RTL Module Interactions. | Marcelo Orenes-Vera, Aninda Manocha, David Wentzlaff, Margaret Martonosi |
| 2020 | DATE | Prospector: Synthesizing Efficient Accelerators via Statistical Learning. | Atefeh Mehrabi, Aninda Manocha, Benjamin C. Lee, Daniel J. Sorin |
| 2020 | ICCAD | A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration. | Tyler Sorensen, Aninda Manocha, Esin Tureci, Marcelo Orenes-Vera, Juan L. Aragn, Margaret Martonosi |
| 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 |