Marcelo Orenes-Vera

1. Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications
   2022/07/26 by Marcelo Orenes-Vera, Esin Tureci, Esin Türeci +2 · 1 voice · 2 citations
   Computer Science · #Caching and Content Delivery #Cloud Computing and Resource Management #Parallel Computing and Optimization Techniques #cs.AR #cs.DC
2. Using LLMs to Facilitate Formal Verification of RTL
   2023/09/18 by Marcelo Orenes-Vera, Margaret Martonosi, Orenes-Vera, Marcelo +3 · 7 citations
   Computer Science · Engineering · #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Model-Driven Software Engineering Techniques
3. Muchisim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems
   2023/12/15 by Marcelo Orenes-Vera, Esin Türeci, Orenes-Vera, Marcelo +5 · 3 citations
   Computer Science · #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Interconnection Networks and Systems #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
4. DCRA: A Distributed Chiplet-based Reconfigurable Architecture for Irregular Applications
   2023/11/26 by Marcelo Orenes-Vera, Orenes-Vera, Marcelo, Esin Türeci +5 · 2 citations
   Computer Science · Engineering · #Interconnection Networks and Systems #Advanced Memory and Neural Computing #Embedded Systems Design Techniques