Browsing by Author Martonosi, Margaret
Showing results 1 to 20 of 35
next >
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers | Murali, Prakash; Debroy, Dripto M; Brown, Kenneth R; Martonosi, Margaret |
| Dec-2021 | AutoSVA: Democratizing Formal Verification of RTL Module Interactions | Orenes-Vera, Marcelo; Manocha, Aninda; Wentzlaff, David; Martonosi, Margaret |
| 2014 | Characterizing the performance effect of trials and rotations in applications that use Quantum Phase Estimation | Patil, Shruti; JavadiAbhari, Ali; Chiang, Chen-Fu; Heckey, Jeff; Martonosi, Margaret; et al |
| 2018 | CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests | Trippel, Caroline; Lustig, Daniel; Martonosi, Margaret |
| 2021 | CutQC: using small Quantum computers for large Quantum circuit evaluations | Tang, Wei; Tomesh, Teague; Suchara, Martin; Larson, Jeffrey; Martonosi, Margaret |
| 2021 | Designing Calibration and Expressivity-Efficient Instruction Sets for Quantum Computing | Lao, Lingling; Murali, Prakash; Martonosi, Margaret; Browne, Dan |
| 2013 | DP-WHERE: Differentially private modeling of human mobility | Mir, Darakhshan J; Isaacman, Sibren; Caceres, Ramón; Martonosi, Margaret; Wright, Rebecca N |
| 2015 | Dynamic adaptive techniques for learning application delay tolerance for mobile data offloading | Yetim, Ozlem B; Martonosi, Margaret |
| Apr-2019 | Efficient Data Supply for Parallel Heterogeneous Architectures | Ham, Tae J; Aragón, Juan L; Martonosi, Margaret |
| 2012 | EPROF: An energy/performance/reliability optimization framework for streaming applications | Yetim, Yavuz; Malik, Sharad; Martonosi, Margaret |
| Apr-2019 | Formal constraint-based compilation for noisy intermediate-scale quantum systems | Murali, Prakash; Javadi-Abhari, Ali; Chong, Frederic T; Martonosi, Margaret |
| 2020 | Foundations of empirical memory consistency testing | Kirkham, Jake; Sorensen, Tyler; Tureci, Esin; Martonosi, Margaret |
| Jun-2019 | Full-stack, real-system quantum computer studies: architectural comparisons and design insights | Murali, Prakash; Linke, Norbert M; Martonosi, Margaret; Javadi-Abhari, Ali; Nguyen, Nhung H; et al |
| 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 |