Projects per year
Fingerprint
Dive into the research topics where Margaret Rose Martonosi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
CPS: Small: Collaborative Research: Towards Secure, Privacy-Preserving, Verifiable Cyberphysical Systems
NSF - National Science Foundation
10/1/17 → 9/30/20
Project: Research project
-
XPS: EXPL: CCA: Verification and Optimization Tools for Heterogeneous Memory Consistency Models
NSF - National Science Foundation
9/1/15 → 8/31/19
Project: Research project
-
CPS: Medium: Collaborative Research: Efficient Mapping and Management of Applications onto Cyber-Physical Systems
NSF - National Science Foundation
9/1/11 → 8/31/16
Project: Research project
Research output
-
AutoSVA: Democratizing Formal Verification of RTL Module Interactions
Orenes-Vera, M., Manocha, A., Wentzlaff, D. & Martonosi, M. R., Dec 5 2021, 2021 58th ACM/IEEE Design Automation Conference, DAC 2021. Institute of Electrical and Electronics Engineers Inc., p. 535-540 6 p. (Proceedings - Design Automation Conference; vol. 2021-December).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
CutQC: Using small Quantum computers for large Quantum circuit evaluations
Tang, W., Tomesh, T., Suchara, M., Larson, J. & Martonosi, M., Apr 19 2021, Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021. Association for Computing Machinery, p. 473-486 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Designing calibration and expressivity-efficient instruction sets for quantum computing
Lao, L., Murali, P., Martonosi, M. & Browne, D., Jun 2021, Proceedings - 2021 ACM/IEEE 48th Annual International Symposium on Computer Architecture, ISCA 2021. Institute of Electrical and Electronics Engineers Inc., p. 846-859 14 p. (Proceedings - International Symposium on Computer Architecture; vol. 2021-June).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures
Manocha, A., Sorensen, T., Tureci, E., Matthews, O., Aragón, J. L. & Martonosi, M., Dec 2021, In: ACM Transactions on Architecture and Code Optimization. 18, 4, 3469846.Research output: Contribution to journal › Article › peer-review
Open Access -
Logical abstractions for noisy variational Quantum algorithm simulation
Huang, Y., Holtzen, S., Millstein, T., Van Den Broeck, G. & Martonosi, M., Apr 19 2021, Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021. Association for Computing Machinery, p. 456-472 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution