Margaret Martonosi

1. MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
   2018/02/11 by Caroline Trippel, Daniel Lustig, Trippel, Caroline +3 · 8 voices · 5 citations
   Computer Science · Engineering · #Security and Verification in Computing #Radiation Effects in Electronics #Semiconductor materials and devices
2. Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum\n Computers
   2019/01/30 by Prakash Murali, Jonathan M. Baker, Murali, Prakash +7 · 27 citations
   Computer Science · #Quantum Computing Algorithms and Architecture #Parallel Computing and Optimization Techniques #Quantum Information and Cryptography
3. SupermarQ: A Scalable Quantum Benchmark Suite
   2022/02/22 by Teague Tomesh, Pranav Gokhale, Tomesh, Teague +17 · 18 citations
   Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Physical sciences #Hardware Architecture (cs.AR) #Neural Networks and Reservoir Computing #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)
4. Minimizing State Preparations in Variational Quantum Eigensolver by Partitioning into Commuting Families
   2019/07/31 by Pranav Gokhale, Olivia Angiuli, Gokhale, Pranav +13 · 8 citations
   Computer Science · #FOS: Physical sciences #Neural Networks and Reservoir Computing #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
5. 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
6. Full-Stack, Real-System Quantum Computer Studies: Architectural Comparisons and Design Insights
   2019/05/27 by Prakash Murali, Norbert M. Linke, Murali, Prakash +9 · 4 citations
   Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications
7. Using LLMs to Facilitate Formal Verification of RTL
   2023/09/18 by Marcelo Orenes-Vera, Orenes-Vera, Marcelo, Margaret Martonosi +3 · 5 citations
   Computer Science · Engineering · #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Model-Driven Software Engineering Techniques
8. Muchisim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems
   2023/12/15 by Marcelo Orenes-Vera, Orenes-Vera, Marcelo, Esin Türeci +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)
9. TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA
   2016/08/26 by Caroline Trippel, Yatin A. Manerkar, Daniel Lustig +2 · 1 voice
   #cs.AR
10. 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
11. Optimizing IoT and Web Traffic Using Selective Edge Compression
    2020/12/29 by Themistoklis Melissaris, Kelly Shaw, Melissaris, Themis +3 · 1 citation
    Computer Science · Engineering · #Advanced Data Storage Technologies #Caching and Content Delivery #FOS: Computer and information sciences #Green IT and Sustainability #Networking and Internet Architecture (cs.NI) #Performance (cs.PF)