| Using llms to facilitate formal verification of rtl M Orenes-Vera, M Martonosi, D Wentzlaff arXiv preprint arXiv:2309.09437, 2023 | 35* | 2023 |
| Tiny but mighty: designing and realizing scalable latency tolerance for manycore SoCs M Orenes-Vera, A Manocha, J Balkind, F Gao, JL Aragón, D Wentzlaff, ... Proceedings of the 49th Annual International Symposium on Computer …, 2022 | 31 | 2022 |
| Dalorex: A data-local program execution and architecture for memory-bound applications M Orenes-Vera, E Tureci, D Wentzlaff, M Martonosi 2023 IEEE International Symposium on High-Performance Computer Architecture …, 2023 | 26 | 2023 |
| Autosva: Democratizing formal verification of rtl module interactions M Orenes-Vera, A Manocha, D Wentzlaff, M Martonosi 2021 58th ACM/IEEE Design Automation Conference (DAC), 535-540, 2021 | 23 | 2021 |
| MosaicSim: A lightweight, modular simulator for heterogeneous systems O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ... 2020 IEEE International Symposium on Performance Analysis of Systems and …, 2020 | 21 | 2020 |
| Cohort: Software-oriented acceleration for heterogeneous socs T Wei, N Turtayeva, M Orenes-Vera, O Lonkar, J Balkind Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 18 | 2023 |
| DECADES: A 67mm2, 1.46TOPS, 55 Giga Cache-Coherent 64-bit RISC-V Instructions per second, Heterogeneous Manycore SoC with 109 Tiles including … F Gao, TJ Chang, A Li, M Orenes-Vera, D Giri, PJ Jackson, A Ning, ... 2023 IEEE Custom Integrated Circuits Conference (CICC), 1-2, 2023 | 14 | 2023 |
| Wafer-scale fast fourier transforms M Orenes-Vera, I Sharapov, R Schreiber, M Jacquelin, P Vandermersch, ... Proceedings of the 37th International Conference on Supercomputing, 180-191, 2023 | 12 | 2023 |
| Muchisim: A simulation framework for design exploration of multi-chip manycore systems M Orenes-Vera, E Tureci, M Martonosi, D Wentzlaff 2024 IEEE International Symposium on Performance Analysis of Systems and …, 2024 | 9 | 2024 |
| A simulator and compiler framework for agile hardware-software co-design evaluation and exploration T Sorensen, A Manocha, E Tureci, M Orenes-Vera, JL Aragón, ... Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 9 | 2020 |
| Massive data-centric parallelism in the chiplet era M Orenes-Vera, E Tureci, D Wentzlaff, M Martonosi arXiv preprint arXiv:2304.09389, 2023 | 8 | 2023 |
| AutoCC: Automatic discovery of covert channels in time-shared hardware M Orenes-Vera, H Yun, N Wistoff, G Heiser, L Benini, D Wentzlaff, ... Proceedings of the 56th Annual IEEE/ACM International Symposium on …, 2023 | 6 | 2023 |
| CIFER: A Cache-Coherent 12-nm 16-mm 2 SoC With Four 64-Bit RISC-V Application Cores, 18 32-Bit RISC-V Compute Cores, and a 1541 LUT6/mm 2 Synthesizable eFPGA A Li, TJ Chang, F Gao, T Ta, G Tziantzioulis, Y Ou, M Wang, J Tu, K Xu, ... IEEE Solid-State Circuits Letters 6, 229-232, 2023 | 5 | 2023 |
| CIFER: A 12nm, 16mm2, 22-Core SoC with a 1541 LUT6/mm2 1.92 MOPS/LUT, Fully Synthesizable, CacheCoherent, Embedded FPGA TJ Chang, A Li, F Gao, T Ta, G Tziantzioulis, Y Ou, M Wang, J Tu, K Xu, ... 2023 IEEE Custom Integrated Circuits Conference (CICC), 1-2, 2023 | 4 | 2023 |
| RECITE: A framework for user trajectory analysis in cultural sites M Orenes-Vera, F Terroso-Saenz, M Valdes-Vela Journal of Ambient Intelligence and Smart Environments 13 (5), 389-409, 2021 | 4 | 2021 |
| DCRA: A distributed chiplet-based reconfigurable architecture for irregular applications M Orenes-Vera, E Tureci, M Martonosi, D Wentzlaff arXiv preprint arXiv:2311.15443, 2023 | 3 | 2023 |
| Tascade: Hardware support for atomic-free, asynchronous and efficient reduction trees M Orenes-Vera, E Tureci, D Wentzlaff, M Martonosi arXiv preprint arXiv:2311.15810, 2023 | 2 | 2023 |
| The mosaicsim simulator (full technical report) O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ... arXiv preprint arXiv:2004.07415, 2020 | 2 | 2020 |
| Navigating Heterogeneity and Scalability in Modern Chip Design M Orenes-Vera Princeton University, 2024 | | 2024 |
| Data Processing Systems A Garcia-Guirado, M Orenes-Vera US Patent US11169806B1, 2021 | | 2021 |
Margaret MartonosiProfessor of Computer Science, Princeton UniversityPreverjeni e-poštni naslov na princeton.edu
