Browsing by Author Martonosi, Margaret
Showing results 32 to 35 of 35
< previous
Publication Date | Article Title | Author(s) |
---|---|---|
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 |