Marcelo Orenes-Vera

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 21

Top Topics

Technical Report

Reconfigurable Architecture

Formal Verification

Top Venues

Publications

Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff
MuchiSim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems. ISPASS (2024)
Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff
Muchisim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems. CoRR (2023)
Marcelo Orenes-Vera, Ilya Sharapov, Robert Schreiber, Mathias Jacquelin, Philippe Vandermersch, Sharan Chetlur
Wafer-Scale Fast Fourier Transforms. ICS (2023)
Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi
Massive Data-Centric Parallelism in the Chiplet Era. CoRR (2023)
Marcelo Orenes-Vera, Margaret Martonosi, David Wentzlaff
Using LLMs to Facilitate Formal Verification of RTL. CoRR (2023)
Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff
DCRA: A Distributed Chiplet-based Reconfigurable Architecture for Irregular Applications. CoRR (2023)
Ting-Jung Chang, Ang Li, Fei Gao, Tuan Ta, Georgios Tziantzioulis, Yanghui Ou, Moyang Wang, Jinzheng Tu, Kaifeng Xu, Paul J. Jackson, August Ning, Grigory Chirkov, Marcelo Orenes-Vera, Shady Agwa, Xiaoyu Yan, Eric Tang, Jonathan Balkind, Christopher Batten, David Wentzlaff
1.92 MOPS/LUT, Fully Synthesizable, CacheCoherent, Embedded FPGA. CICC (2023)
Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi
Tascade: Hardware Support for Atomic-free, Asynchronous and Efficient Reduction Trees. CoRR (2023)
Fei Gao, Ting-Jung Chang, Ang Li, Marcelo Orenes-Vera, Davide Giri, Paul J. Jackson, August Ning, Georgios Tziantzioulis, Joseph Zuckerman, Jinzheng Tu, Kaifeng Xu, Grigory Chirkov, Gabriele Tombesi, Jonathan Balkind, Margaret Martonosi, Luca P. Carloni, David Wentzlaff
, 1.46TOPS, 55 Giga Cache-Coherent 64-bit RISC-V Instructions per second, Heterogeneous Manycore SoC with 109 Tiles including Accelerators, Intelligent Storage, and eFPGA in 12nm FinFET. CICC (2023)
Marcelo Orenes-Vera, Hyunsung Yun, Nils Wistoff, Gernot Heiser, Luca Benini, David Wentzlaff, Margaret Martonosi
AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware. MICRO (2023)
Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi
Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications. HPCA (2023)
Tianrui Wei, Nazerke Turtayeva, Marcelo Orenes-Vera, Omkar Lonkar, Jonathan Balkind
Cohort: Software-Oriented Acceleration for Heterogeneous SoCs. ASPLOS (3) (2023)
Marcelo Orenes-Vera, Ilya Sharapov, Robert Schreiber, Mathias Jacquelin, Philippe Vandermersch, Sharan Chetlur
Wafer-Scale Fast Fourier Transforms. CoRR (2022)
Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi
Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications. CoRR (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)
Marcelo Orenes-Vera, Aninda Manocha, David Wentzlaff, Margaret Martonosi
AutoSVA: Democratizing Formal Verification of RTL Module Interactions. DAC (2021)
Marcelo Orenes-Vera, Fernando Terroso-Saenz, Mercedes Valdés-Vela
RECITE: A framework for user trajectory analysis in cultural sites. J. Ambient Intell. Smart Environ. 13 (5) (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)
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)