default search action
Margaret Martonosi
Person information
- affiliation: Princeton University, USA
- award (2023): ACM Frances E. Allen Award for Outstanding Mentoring
- award (2013): Anita Borg Institute Women of Vision Awards
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j67]Wei Tang, Margaret Martonosi:
Distributed Quantum Computing via Integrating Quantum and Classical Computing. Computer 57(4): 131-136 (2024) - [j66]Yuri Alexeev, Maximilian Amsler, Marco Antonio Barroca, Sanzio Bassini, Torey Battelle, Daan Camps, David Casanova, Young Jay Choi, Frederic T. Chong, Charles Chung, Christopher Codella, Antonio D. Córcoles, James Cruise, Alberto Di Meglio, Ivan Duran, Thomas Eckl, Sophia E. Economou, Stephan J. Eidenbenz, Bruce Elmegreen, Clyde Fare, Ismael Faro, Cristina Sanz Fernández, Rodrigo Neumann Barros Ferreira, Keisuke Fuji, Bryce Fuller, Laura Gagliardi, Giulia Galli, Jennifer R. Glick, Isacco Gobbi, Pranav Gokhale, Salvador de la Puente Gonzalez, Johannes Greiner, Bill Gropp, Michele Grossi, Emanuel Gull, Burns Healy, Matthew R. Hermes, Benchen Huang, Travis S. Humble, Nobuyasu Ito, Artur F. Izmaylov, Ali Javadi-Abhari, Douglas M. Jennewein, Shantenu Jha, Liang Jiang, Barbara Jones, Wibe Albert de Jong, Petar Jurcevic, William M. Kirby, Stefan Kister, Masahiro Kitagawa, Joel Klassen, Katherine Klymko, Kwangwon Koh, Masaaki Kondo, Doga Murat Kürkçüoglu, Krzysztof Kurowski, Teodoro Laino, Ryan Landfield, Matthew L. Leininger, Vicente Leyton-Ortega, Ang Li, Meifeng Lin, Junyu Liu, Nicolás Lorente, André Luckow, Simon Martiel, Francisco Martín-Fernández, Margaret Martonosi, Claire Marvinney, Arcesio Castañeda Medina, Dirk Merten, Antonio Mezzacapo, Kristel Michielsen, Abhishek Mitra, Tushar Mittal, Kyungsun Moon, Joel Moore, Sarah Mostame, Mario Motta, Young-Hye Na, Yunseong Nam, Prineha Narang, Yu-ya Ohnishi, Daniele Ottaviani, Matthew Otten, Scott Pakin, Vincent R. Pascuzzi, Edwin Pednault, Tomasz Piontek, Jed Pitera, Patrick Rall, Gokul Subramanian Ravi, Niall Robertson, Matteo A. C. Rossi, Piotr Rydlichowski, Hoon Ryu, Georgy Samsonidze, Mitsuhisa Sato, Nishant Saurabh, Vidushi Sharma, Kunal Sharma, Soyoung Shin, George Slessman, Mathias Steiner, Iskandar Sitdikov, In-Saeng Suh, Eric D. Switzer, Wei Tang, Joel Thompson, Synge Todo, Minh C. Tran, Dimitar Trenev, Christian Trott, Huan-Hsin Tseng, Norm M. Tubman, Esin Tureci, David García Valiñas, Sofia Vallecorsa, Christopher Wever, Konrad Wojciechowski, Xiaodi Wu, Shinjae Yoo, Nobuyuki Yoshioka, Victor Wen-zhe Yu, Seiji Yunoki, Sergiy Zhuk, Dmitry Zubarev:
Quantum-centric supercomputing for materials science: A perspective on challenges and future directions. Future Gener. Comput. Syst. 160: 666-710 (2024) - [c163]Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff:
MuchiSim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems. ISPASS 2024: 48-60 - 2023
- [j65]Naorin Hossain, Alper Buyuktosunoglu, John-David Wellman, Pradip Bose, Margaret Martonosi:
SoCurity: A Design Approach for Enhancing SoC Security. IEEE Comput. Archit. Lett. 22(2): 105-108 (2023) - [j64]Aninda Manocha, Juan L. Aragón, Margaret Martonosi:
Graphfire: Synergizing Fetch, Insertion, and Replacement Policies for Graph Analytics. IEEE Trans. Computers 72(1): 291-304 (2023) - [c162]Fei Gao, Ting-Jung Chang, Ang Li, Marcelo Orenes-Vera, Davide Giri, Paul J. Jackson, August Ning, Georgios Tziantzioulis, Joseph Zuckerman, Jinzheng Tu, Kaifeng Xu, Grigory Chirkov, Gabriele Tombesi, Jonathan Balkind, Margaret Martonosi, Luca P. Carloni, David Wentzlaff:
DECADES: A 67mm2, 1.46TOPS, 55 Giga Cache-Coherent 64-bit RISC-V Instructions per second, Heterogeneous Manycore SoC with 109 Tiles including Accelerators, Intelligent Storage, and eFPGA in 12nm FinFET. CICC 2023: 1-2 - [c161]Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi:
Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications. HPCA 2023: 718-730 - [c160]Samuel Alexander Stein, Sara Sussman, Teague Tomesh, Charles Guinn, Esin Tureci, Sophia Fuhui Lin, Wei Tang, James A. Ang, Srivatsan Chakram, Ang Li, Margaret Martonosi, Fred Chong, Andrew A. Houck, Isaac L. Chuang, Michael Austin DeMarco:
HetArch: Heterogeneous Microarchitectures for Superconducting Quantum Systems. MICRO 2023: 539-554 - [c159]Marcelo Orenes-Vera, Hyunsung Yun, Nils Wistoff, Gernot Heiser, Luca Benini, David Wentzlaff, Margaret Martonosi:
AutoCC: Automatic Discovery of Covert Channels in Time-Shared Hardware. MICRO 2023: 871-885 - [c158]Aninda Manocha, Zi Yan, Esin Tureci, Juan L. Aragón, David W. Nellans, Margaret Martonosi:
Architectural Support for Optimizing Huge Page Selection Within the OS. MICRO 2023: 1213-1226 - [c157]Teague Tomesh, Zain H. Saleem, Michael A. Perlin, Pranav Gokhale, Martin Suchara, Margaret Martonosi:
Divide and Conquer for Combinatorial Optimization and Distributed Quantum Computation. QCE 2023: 1-12 - [i33]Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi:
Massive Data-Centric Parallelism in the Chiplet Era. CoRR abs/2304.09389 (2023) - [i32]Samuel Alexander Stein, Sara Sussman, Teague Tomesh, Charles Guinn, Esin Tureci, Sophia Fuhui Lin, Wei Tang, James A. Ang, Srivatsan Chakram, Ang Li, Margaret Martonosi, Frederic T. Chong, Andrew A. Houck, Isaac L. Chuang, Michael Austin DeMarco:
Microarchitectures for Heterogeneous Superconducting Quantum Computers. CoRR abs/2305.03243 (2023) - [i31]Marcelo Orenes-Vera, Margaret Martonosi, David Wentzlaff:
Using LLMs to Facilitate Formal Verification of RTL. CoRR abs/2309.09437 (2023) - [i30]Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff:
DCRA: A Distributed Chiplet-based Reconfigurable Architecture for Irregular Applications. CoRR abs/2311.15443 (2023) - [i29]Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi:
Tascade: Hardware Support for Atomic-free, Asynchronous and Efficient Reduction Trees. CoRR abs/2311.15810 (2023) - [i28]Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff:
Muchisim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems. CoRR abs/2312.10244 (2023) - 2022
- [j63]Prakash Murali, Dripto M. Debroy, Kenneth R. Brown, Margaret Martonosi:
Toward systematic architectural design of near-term trapped ion quantum computers. Commun. ACM 65(3): 101-109 (2022) - [j62]Manish Parashar, Amy Friedlander, Erwin P. Gianchandani, Margaret Martonosi:
Transforming science through cyberinfrastructure. Commun. ACM 65(8): 30-32 (2022) - [c156]Teague Tomesh, Pranav Gokhale, Victory Omole, Gokul Subramanian Ravi, Kaitlin N. Smith, Joshua Viszlai, Xin-Chuan Wu, Nikos Hardavellas, Margaret Martonosi, Frederic T. Chong:
SupermarQ: A Scalable Quantum Benchmark Suite. HPCA 2022: 587-603 - [c155]Aninda Manocha, Zi Yan, Esin Tureci, Juan L. Aragón, David W. Nellans, Margaret Martonosi:
The Implications of Page Size Management on Graph Analytics. IISWC 2022: 199-214 - [c154]Marcelo Orenes-Vera, Aninda Manocha, Jonathan Balkind, Fei Gao, Juan L. Aragón, David Wentzlaff, Margaret Martonosi:
Tiny but mighty: designing and realizing scalable latency tolerance for manycore SoCs. ISCA 2022: 817-830 - [c153]Margaret Martonosi:
Margaret Martonosi, National Science Foundation. USENIX ATC 2022 - [d1]Aninda Manocha, Zi Yan, Esin Tureci, Juan Luis Aragón, David W. Nellans, Margaret Martonosi:
The Implications of Page Size Management on Graph Analytics. Zenodo, 2022 - [i27]Teague Tomesh, Pranav Gokhale, Victory Omole, Gokul Subramanian Ravi, Kaitlin N. Smith, Joshua Viszlai, Xin-Chuan Wu, Nikos Hardavellas, Margaret Martonosi, Frederic T. Chong:
SupermarQ: A Scalable Quantum Benchmark Suite. CoRR abs/2202.11045 (2022) - [i26]Teague Tomesh, Kaiwen Gui, Pranav Gokhale, Yunong Shi, Frederic T. Chong, Margaret Martonosi, Martin Suchara:
Optimized Quantum Program Execution Ordering to Mitigate Errors in Simulations of Quantum Systems. CoRR abs/2203.12713 (2022) - [i25]Wei Tang, Margaret Martonosi:
Cutting Quantum Circuits to Run on Quantum and Classical Platforms. CoRR abs/2205.05836 (2022) - [i24]Wei Tang, Margaret Martonosi:
ScaleQC: A Scalable Framework for Hybrid Computation on Quantum and Classical Processors. CoRR abs/2207.00933 (2022) - [i23]Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi:
Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications. CoRR abs/2207.13219 (2022) - 2021
- [j61]Teague Tomesh, Margaret Martonosi:
Quantum Codesign. IEEE Micro 41(5): 33-40 (2021) - [j60]Anindya Banerjee, Sankar Basu, Erik Brunvand, Pinaki Mazumder, Rance Cleaveland, Gurdip Singh, Margaret Martonosi, Fernanda Pembleton:
Navigating the Seismic Shift of Post-Moore Computer Systems Design. IEEE Micro 41(6): 162-167 (2021) - [j59]Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson:
Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [j58]Aninda Manocha, Tyler Sorensen, Esin Tureci, Opeoluwa Matthews, Juan L. Aragón, Margaret Martonosi:
GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures. ACM Trans. Archit. Code Optim. 18(4): 53:1-53:26 (2021) - [c152]Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi:
Logical abstractions for noisy variational Quantum algorithm simulation. ASPLOS 2021: 456-472 - [c151]Wei Tang, Teague Tomesh, Martin Suchara, Jeffrey Larson, Margaret Martonosi:
CutQC: using small Quantum computers for large Quantum circuit evaluations. ASPLOS 2021: 473-486 - [c150]Marcelo Orenes-Vera, Aninda Manocha, David Wentzlaff, Margaret Martonosi:
AutoSVA: Democratizing Formal Verification of RTL Module Interactions. DAC 2021: 535-540 - [c149]Teague Tomesh, Kaiwen Gui, Pranav Gokhale, Yunong Shi, Frederic T. Chong, Margaret Martonosi, Martin Suchara:
Optimized Quantum Program Execution Ordering to Mitigate Errors in Simulations of Quantum Systems. ICRC 2021: 1-13 - [c148]Lingling Lao, Prakash Murali, Margaret Martonosi, Dan E. Browne:
Designing Calibration and Expressivity-Efficient Instruction Sets for Quantum Computing. ISCA 2021: 846-859 - [c147]Guy E. Blelloch, William J. Dally, Margaret Martonosi, Uzi Vishkin, Katherine A. Yelick:
SPAA'21 Panel Paper: Architecture-Friendly Algorithms versus Algorithm-Friendly Architectures. SPAA 2021: 1-7 - [i22]Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi:
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation. CoRR abs/2103.17226 (2021) - [i21]Marcelo Orenes-Vera, Aninda Manocha, David Wentzlaff, Margaret Martonosi:
AutoSVA: Democratizing Formal Verification of RTL Module Interactions. CoRR abs/2104.04003 (2021) - [i20]Prakash Murali, Lingling Lao, Margaret Martonosi, Dan E. Browne:
Designing calibration and expressivity-efficient instruction sets for quantum computing. CoRR abs/2106.15490 (2021) - [i19]Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson:
Specifying and Testing GPU Workgroup Progress Models. CoRR abs/2109.06132 (2021) - 2020
- [j57]Prakash Murali, Norbert Matthias Linke, Margaret Martonosi, Ali JavadiAbhari, Nhung Hong Nguyen, Cinthia Huerta Alderete:
Architecting Noisy Intermediate-Scale Quantum Computers: A Real-System Study. IEEE Micro 40(3): 73-80 (2020) - [j56]Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi:
Foundations of empirical memory consistency testing. Proc. ACM Program. Lang. 4(OOPSLA): 226:1-226:29 (2020) - [j55]Yunong Shi, Pranav Gokhale, Prakash Murali, Jonathan M. Baker, Casey Duckering, Yongshan Ding, Natalie C. Brown, Christopher Chamberland, Ali Javadi-Abhari, Andrew W. Cross, David I. Schuster, Kenneth R. Brown, Margaret Martonosi, Frederic T. Chong:
Resource-Efficient Quantum Computing by Breaking Abstractions. Proc. IEEE 108(8): 1353-1370 (2020) - [c146]Prakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-Abhari:
Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers. ASPLOS 2020: 1001-1016 - [c145]Tyler Sorensen, Aninda Manocha, Esin Tureci, Marcelo Orenes-Vera, Juan L. Aragón, Margaret Martonosi:
A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration. ICCAD 2020: 97:1-97:9 - [c144]Henry A. Gabb, Andrew Lumsdaine, Margaret Martonosi, Arnold L. Rosenberg, Martina Barnas:
EduPar-20 Invited Panel. IPDPS Workshops 2020: 251 - [c143]Prakash Murali, Dripto M. Debroy, Kenneth R. Brown, Margaret Martonosi:
Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers. ISCA 2020: 529-542 - [c142]Yongshan Ding, Xin-Chuan Wu, Adam Holmes, Ash Wiseth, Diana Franklin, Margaret Martonosi, Frederic T. Chong:
SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation. ISCA 2020: 570-583 - [c141]Naorin Hossain, Caroline Trippel, Margaret Martonosi:
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. ISCA 2020: 874-887 - [c140]Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi:
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. ISPASS 2020: 136-148 - [c139]Themis Melissaris, Markos Markakis, Kelly A. Shaw, Margaret Martonosi:
PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing. MICRO 2020: 329-341 - [c138]Pranav Gokhale, Olivia Angiuli, Yongshan Ding, Kaiwen Gui, Teague Tomesh, Martin Suchara, Margaret Martonosi, Frederic T. Chong:
Optimization of Simultaneous Measurement for Variational Quantum Eigensolver Applications. QCE 2020: 379-390 - [i18]Prakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-Abhari:
Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers. CoRR abs/2001.02826 (2020) - [i17]Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi:
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification. CoRR abs/2003.04892 (2020) - [i16]Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi:
The MosaicSim Simulator (Full Technical Report). CoRR abs/2004.07415 (2020) - [i15]Naorin Hossain, Caroline Trippel, Margaret Martonosi:
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. CoRR abs/2008.03578 (2020) - [i14]Yunong Shi, Pranav Gokhale, Prakash Murali, Jonathan M. Baker, Casey Duckering, Yongshan Ding, Natalie C. Brown, Christopher Chamberland, Ali Javadi-Abhari, Andrew W. Cross, David I. Schuster, Kenneth R. Brown, Margaret Martonosi, Frederic T. Chong:
Resource-Efficient Quantum Computing by Breaking Abstractions. CoRR abs/2011.00028 (2020) - [i13]Wei Tang, Teague Tomesh, Jeffrey Larson, Martin Suchara, Margaret Martonosi:
CutQC: Using Small Quantum Computers for Large Quantum Circuit Evaluations. CoRR abs/2012.02333 (2020) - [i12]Themis Melissaris, Kelly A. Shaw, Margaret Martonosi:
Optimizing IoT and Web Traffic Using Selective Edge Compression. CoRR abs/2012.14968 (2020)
2010 – 2019
- 2019
- [j54]Prakash Murali, Ali Javadi-Abhari, Frederic T. Chong, Margaret Martonosi:
Formal constraint-based compilation for noisy intermediate-scale quantum systems. Microprocess. Microsystems 66: 102-112 (2019) - [j53]Adam Holmes, Yongshan Ding, Ali Javadi-Abhari, Diana Franklin, Margaret Martonosi, Frederic T. Chong:
Resource optimized quantum architectures for surface code implementations of magic-state distillation. Microprocess. Microsystems 67: 56-70 (2019) - [j52]Caroline Trippel, Daniel Lustig, Margaret Martonosi:
Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach. IEEE Micro 39(3): 84-93 (2019) - [j51]Tae Jun Ham, Juan L. Aragón, Margaret Martonosi:
Efficient Data Supply for Parallel Heterogeneous Architectures. ACM Trans. Archit. Code Optim. 16(2): 9:1-9:23 (2019) - [c137]Prakash Murali, Jonathan M. Baker, Ali Javadi-Abhari, Frederic T. Chong, Margaret Martonosi:
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers. ASPLOS 2019: 1015-1029 - [c136]Themis Melissaris, Kelly A. Shaw, Margaret Martonosi:
OKAPI: In Support of Application Correctness in Smart Home Environments. FMEC 2019: 173-180 - [c135]Prakash Murali, Norbert Matthias Linke, Margaret Martonosi, Ali Javadi-Abhari, Nhung Hong Nguyen, Cinthia Huerta Alderete:
Full-stack, real-system quantum computer studies: architectural comparisons and design insights. ISCA 2019: 527-540 - [c134]Yipeng Huang, Margaret Martonosi:
Statistical assertions for validating patterns and finding bugs in quantum programs. ISCA 2019: 541-553 - [i11]Prakash Murali, Jonathan M. Baker, Ali Javadi-Abhari, Frederic T. Chong, Margaret Martonosi:
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers. CoRR abs/1901.11054 (2019) - [i10]Prakash Murali, Ali Javadi-Abhari, Frederic T. Chong, Margaret Martonosi:
Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems. CoRR abs/1903.03276 (2019) - [i9]Margaret Martonosi, Martin Roetteler:
Next Steps in Quantum Computing: Computer Science's Role. CoRR abs/1903.10541 (2019) - [i8]Yipeng Huang, Margaret Martonosi:
Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs. CoRR abs/1905.09721 (2019) - 2018
- [j50]Francine Berman, Rob A. Rutenbar, Brent Hailpern, Henrik I. Christensen, Susan B. Davidson, Deborah Estrin, Michael J. Franklin, Margaret Martonosi, Padma Raghavan, Victoria Stodden, Alexander S. Szalay:
Realizing the potential of data science. Commun. ACM 61(4): 67-72 (2018) - [j49]Margaret Martonosi:
Science, policy, and service. Commun. ACM 61(5): 46-48 (2018) - [j48]Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi:
Full-Stack Memory Model Verification with TriCheck. IEEE Micro 38(3): 58-68 (2018) - [j47]Erik Russell, Julia Hirschberg, Margaret Martonosi:
Broadening participation: CRA-W. ACM SIGCSE Bull. 50(2): 12 (2018) - [j46]Margaret Martonosi:
2018 ACM SIGMOBILE Rockstar Award: Kyle Jamieson, Princeton University. GetMobile Mob. Comput. Commun. 22(2): 15 (2018) - [c133]Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Martonosi, Sharad Malik:
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification. FMCAD 2018: 1-10 - [c132]Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Aarti Gupta:
PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications. MICRO 2018: 788-801 - [c131]Yongshan Ding, Adam Holmes, Ali Javadi-Abhari, Diana Franklin, Margaret Martonosi, Frederic T. Chong:
Magic-State Functional Units: Mapping and Scheduling Multi-Level Distillation Circuits for Fault-Tolerant Quantum Architectures. MICRO 2018: 828-840 - [c130]Caroline Trippel, Daniel Lustig, Margaret Martonosi:
CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests. MICRO 2018: 947-960 - [c129]Yipeng Huang, Margaret Martonosi:
QDB: From Quantum Algorithms Towards Correct Quantum Programs. PLATEAU@SPLASH 2018: 4:1-4:14 - [c128]Margaret Martonosi:
New Metrics and Models for a Post-ISA Era: Managing Complexity and Scaling Performance in Heterogeneous Parallelism and Internet-of-Things. SIGMETRICS (Abstracts) 2018: 20 - [i7]Caroline Trippel, Daniel Lustig, Margaret Martonosi:
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols. CoRR abs/1802.03802 (2018) - [i6]Yongshan Ding, Adam Holmes, Ali JavadiAbhari, Diana Franklin, Margaret Martonosi, Frederic T. Chong:
Magic-State Functional Units: Mapping and Scheduling Multi-Level Distillation Circuits for Fault-Tolerant Quantum Architectures. CoRR abs/1809.01302 (2018) - [i5]Yipeng Huang, Margaret Martonosi:
QDB: From Quantum Algorithms Towards Correct Quantum Programs. CoRR abs/1811.05447 (2018) - 2017
- [j45]Pareesa Ameneh Golnari, Yavuz Yetim, Margaret Martonosi, Yakir Vizel, Sharad Malik:
PPU: A Control Error-Tolerant Processor for Streaming Applications with Formal Guarantees. ACM J. Emerg. Technol. Comput. Syst. 13(3): 43:1-43:29 (2017) - [j44]Margaret Martonosi:
2016 Maurice Wilkes Award Given to Timothy Sherwood. IEEE Micro 37(2): 104-105 (2017) - [j43]Daniel Lustig, Geet Sethi, Abhishek Bhattacharjee, Margaret Martonosi:
Transistency Models: Memory Ordering at the Hardware-OS Interface. IEEE Micro 37(3): 88-97 (2017) - [j42]Frederic T. Chong, Diana Franklin, Margaret Martonosi:
Programming languages and compiler design for realistic quantum hardware. Nat. 549(7671): 180-187 (2017) - [j41]Tae Jun Ham, Juan L. Aragón, Margaret Martonosi:
Decoupling Data Supply from Computation for Latency-Tolerant Communication in Heterogeneous Architectures. ACM Trans. Archit. Code Optim. 14(2): 16:1-16:27 (2017) - [c127]Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi:
TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. ASPLOS 2017: 119-133 - [c126]Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Michael Pellauer:
RTLcheck: verifying the memory consistency of RTL designs. MICRO 2017: 463-476 - [c125]Ali JavadiAbhari, Pranav Gokhale, Adam Holmes, Diana Franklin, Kenneth R. Brown, Margaret Martonosi, Frederic T. Chong:
Optimized surface code communication in superconducting quantum computers. MICRO 2017: 692-705 - [c124]Themis Melissaris, Kelly A. Shaw, Margaret Martonosi:
Locomotive: Optimizing mobile web traffic using selective compression. WoWMoM 2017: 1-4 - 2016
- [j40]Margaret Martonosi:
MOBILE SENSING: Retrospectives and Trends. GetMobile Mob. Comput. Commun. 20(1): 14-19 (2016) - [c123]Daniel Lustig, Geet Sethi, Margaret Martonosi, Abhishek Bhattacharjee:
COATCheck: Verifying Memory Ordering at the Hardware-OS Interface. ASPLOS 2016: 233-247 - [c122]Margaret Martonosi:
Keynotes: Internet of Things: History and hype, technology and policy. MICRO 2016: 1-2 - [c121]Tae Jun Ham, Lisa Wu, Narayanan Sundaram, Nadathur Satish, Margaret Martonosi:
Graphicionado: A high-performance and energy-efficient accelerator for graph analytics. MICRO 2016: 56:1-56:13 - [i4]Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi:
Exploring the Trisection of Software, Hardware, and ISA in Memory Model Design. CoRR abs/1608.07547 (2016) - [i3]Mark D. Hill, Sarita V. Adve, Luis Ceze, Mary Jane Irwin, David R. Kaeli, Margaret Martonosi, Josep Torrellas, Thomas F. Wenisch, David A. Wood, Katherine A. Yelick:
21st Century Computer Architecture. CoRR abs/1609.06756 (2016) - [i2]Yatin A. Manerkar, Caroline Trippel, Daniel Lustig, Michael Pellauer, Margaret Martonosi:
Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings. CoRR abs/1611.01507 (2016) - 2015
- [j39]Daniel Lustig, Michael Pellauer, Margaret Martonosi:
Verifying Correct Microarchitectural Enforcement of Memory Consistency Models. IEEE Micro 35(3): 72-82 (2015) - [j38]Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi:
ScaffCC: Scalable compilation and analysis of quantum programs. Parallel Comput. 45: 2-17 (2015) - [j37]