Login / Signup
Aninda Manocha
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 12
Top Topics
Lightweight
Top Venues
CoRR
ACM Trans. Archit. Code Optim.
MICRO
ISPASS
</>
Publications
</>
Aninda Manocha
,
Zi Yan
,
Esin Tureci
,
Juan L. Aragón
,
David W. Nellans
,
Margaret Martonosi
Architectural Support for Optimizing Huge Page Selection Within the OS.
MICRO
(2023)
Aninda Manocha
,
Juan L. Aragón
,
Margaret Martonosi
Graphfire: Synergizing Fetch, Insertion, and Replacement Policies for Graph Analytics.
IEEE Trans. Computers
72 (1) (2023)
Aninda Manocha
,
Zi Yan
,
Esin Tureci
,
Juan L. Aragón
,
David W. Nellans
,
Margaret Martonosi
The Implications of Page Size Management on Graph Analytics.
IISWC
(2022)
Marcelo Orenes-Vera
,
Aninda Manocha
,
Jonathan Balkind
,
Fei Gao
,
Juan L. Aragón
,
David Wentzlaff
,
Margaret Martonosi
Tiny but mighty: designing and realizing scalable latency tolerance for manycore SoCs.
ISCA
(2022)
Atefeh Mehrabi
,
Aninda Manocha
,
Benjamin C. Lee
,
Daniel J. Sorin
Bayesian Optimization for Efficient Accelerator Synthesis.
ACM Trans. Archit. Code Optim.
18 (1) (2021)
Marcelo Orenes-Vera
,
Aninda Manocha
,
David Wentzlaff
,
Margaret Martonosi
AutoSVA: Democratizing Formal Verification of RTL Module Interactions.
DAC
(2021)
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)
Marcelo Orenes-Vera
,
Aninda Manocha
,
David Wentzlaff
,
Margaret Martonosi
AutoSVA: Democratizing Formal Verification of RTL Module Interactions.
CoRR
(2021)
Tyler Sorensen
,
Aninda Manocha
,
Esin Tureci
,
Marcelo Orenes-Vera
,
Juan L. Aragón
,
Margaret Martonosi
A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration.
ICCAD
(2020)
Atefeh Mehrabi
,
Aninda Manocha
,
Benjamin C. Lee
,
Daniel J. Sorin
Prospector: Synthesizing Efficient Accelerators via Statistical Learning.
DATE
(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
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)