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 25 to 35 of 35 < previous 
Publication DateArticle TitleAuthor(s)
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
28-May-2020An updated LLVM-based quantum research compiler with further OpenQASM supportLitteken, Andrew; Fan, Yung-Ching; Singh, Devina; Martonosi, Margaret; Chong, Frederic T.
2015Verifying Correct Microarchitectural Enforcement of Memory Consistency ModelsLustig, D; Pellauer, M; Martonosi, Margaret