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 20 to 32 of 32 < previous 
Publication DateArticle TitleAuthor(s)
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