Skip to main content

Browsing by Author Martonosi, Margaret

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 15 to 32 of 32 < previous 
Publication DateArticle TitleAuthor(s)
12-Dec-2018Magic-state functional units: Mapping and scheduling multi-level distillation circuits for fault-Tolerant quantum architecturesDing, Y; Holmes, A; Javadi-Abhari, A; Franklin, D; Martonosi, Margaret; et al
2020MosaicSim: A Lightweight, Modular Simulator for Heterogeneous SystemsMatthews, Opeoluwa; Manocha, Aninda; Giri, Davide; Orenes-Vera, Marcelo; Tureci, Esin; et al
Apr-2019Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum ComputersMurali, Prakash; Baker, Jonathan M; Javadi-Abhari, Ali; Chong, Frederic T; Martonosi, Margaret
2019OKAPI: In Support of Application Correctness in Smart Home EnvironmentsMelissaris, Themis; Shaw, Kelly; Martonosi, Margaret
2020Optimization of Simultaneous Measurement for Variational Quantum Eigensolver ApplicationsGokhale, Pranav; Angiuli, Olivia; Ding, Yongshan; Gui, Kaiwen; Tomesh, Teague; et al
2020PerpLE: Improving the Speed and Effectiveness of Memory Consistency TestingMelissaris, Themis; Markakis, Markos; Shaw, Kelly; Martonosi, Margaret
2014PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency ModelsLustig, Daniel; Pellauer, Michael; Martonosi, Margaret
2018PipeProof: Automated Memory Consistency Proofs for Microarchitectural SpecificationsManerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti
2019QDB: From Quantum Algorithms Towards Correct Quantum ProgramsHuang, Yipeng; Martonosi, Margaret
Jun-2019Resource optimized quantum architectures for surface code implementations of magic-state distillationHolmes, Adam; Ding, Yongshan; Javadi-Abhari, Ali; Franklin, Diana; Martonosi, Margaret; et al
2020A simulator and compiler framework for agile hardware-software co-design evaluation and explorationSorensen, Tyler; Manocha, Aninda; Tureci, Esin; Orenes-Vera, Marcelo; Aragon, Juan L; et al
Mar-2020Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum ComputersMurali, Prakash; McKay, David C; Martonosi, Margaret; Javadi-Abhari, Ali
2020SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective UncomputationDing, Yongshan; Wu, Xin-Chuan; Holmes, Adam; Wiseth, Ash; Franklin, Diana; et al
2013Starchart: Hardware and software optimization using recursive partitioning regression treesJia, Wenhao; Shaw, Kelly A; Martonosi, Margaret
2012Stargazer: Automated regression-based GPU design space explorationJia, Wenhao; Shaw, Kelly A; Martonosi, Margaret
Jun-2019Statistical assertions for validating patterns and finding bugs in quantum programsHuang, Yipeng; Martonosi, Margaret
2020TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus TestsHossain, Naorin; Trippel, Caroline; Martonosi, Margaret
2015Verifying Correct Microarchitectural Enforcement of Memory Consistency ModelsLustig, D; Pellauer, M; Martonosi, Margaret