Showing results 14 to 33 of 35
< previous
next >
Publication Date | Article Title | Author(s) |
2013 | Human mobility characterization from cellular network data | Becker, Richard; Cáceres, Ramón; Hanson, Karrie; Isaacman, Sibren; Loh, Ji M; et al |
2011 | Leveraging Smartphone Cameras for Collaborative Road Advisories | Koukoumidis, Emmanouil; Martonosi, Margaret; Peh, Li-Shiuan |
2021 | Logical abstractions for noisy variational Quantum algorithm simulation | Huang, Yipeng; Holtzen, Steven; Millstein, Todd; Van den Broeck, Guy; Martonosi, Margaret |
12-Dec-2018 | Magic-state functional units: Mapping and scheduling multi-level distillation circuits for fault-Tolerant quantum architectures | Ding, Y; Holmes, A; Javadi-Abhari, A; Franklin, D; Martonosi, Margaret; et al |
2020 | MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems | Matthews, Opeoluwa; Manocha, Aninda; Giri, Davide; Orenes-Vera, Marcelo; Tureci, Esin; et al |
Apr-2019 | Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers | Murali, Prakash; Baker, Jonathan M; Javadi-Abhari, Ali; Chong, Frederic T; Martonosi, Margaret |
2019 | OKAPI: In Support of Application Correctness in Smart Home Environments | Melissaris, Themis; Shaw, Kelly; Martonosi, Margaret |
2020 | Optimization of Simultaneous Measurement for Variational Quantum Eigensolver Applications | Gokhale, Pranav; Angiuli, Olivia; Ding, Yongshan; Gui, Kaiwen; Tomesh, Teague; et al |
2020 | PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing | Melissaris, Themis; Markakis, Markos; Shaw, Kelly; Martonosi, Margaret |
2014 | PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models | Lustig, Daniel; Pellauer, Michael; Martonosi, Margaret |
2018 | PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications | Manerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti |
2019 | QDB: From Quantum Algorithms Towards Correct Quantum Programs | Huang, Yipeng; Martonosi, Margaret |
Jun-2019 | Resource optimized quantum architectures for surface code implementations of magic-state distillation | Holmes, Adam; Ding, Yongshan; Javadi-Abhari, Ali; Franklin, Diana; Martonosi, Margaret; et al |
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 |