Browsing by Author Martonosi, Margaret
Showing results 27 to 35 of 35
< previous
| Publication Date | Article Title | Author(s) |
| 2020 | A simulator and compiler framework for agile hardware-software co-design evaluation and exploration | Sorensen, Tyler; Manocha, Aninda; Tureci, Esin; Orenes-Vera, Marcelo; Aragon, Juan L; et al |
| Mar-2020 | Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers | Murali, Prakash; McKay, David C; Martonosi, Margaret; Javadi-Abhari, Ali |
| 2020 | SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation | Ding, Yongshan; Wu, Xin-Chuan; Holmes, Adam; Wiseth, Ash; Franklin, Diana; et al |
| 2013 | Starchart: Hardware and software optimization using recursive partitioning regression trees | Jia, Wenhao; Shaw, Kelly A; Martonosi, Margaret |
| 2012 | Stargazer: Automated regression-based GPU design space exploration | Jia, Wenhao; Shaw, Kelly A; Martonosi, Margaret |
| Jun-2019 | Statistical assertions for validating patterns and finding bugs in quantum programs | Huang, Yipeng; Martonosi, Margaret |
| 2020 | TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests | Hossain, Naorin; Trippel, Caroline; Martonosi, Margaret |
| 28-May-2020 | An updated LLVM-based quantum research compiler with further OpenQASM support | Litteken, Andrew; Fan, Yung-Ching; Singh, Devina; Martonosi, Margaret; Chong, Frederic T. |
| 2015 | Verifying Correct Microarchitectural Enforcement of Memory Consistency Models | Lustig, D; Pellauer, M; Martonosi, Margaret |
