Margaret Martonosi

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 114

Top Venues

Publications

Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff
MuchiSim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems. ISPASS (2024)
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 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 (2024)
Wei Tang, Margaret Martonosi
Distributed Quantum Computing via Integrating Quantum and Classical Computing. Computer 57 (4) (2024)
Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff
Muchisim: A Simulation Framework for Design Exploration of Multi-Chip Manycore Systems. CoRR (2023)
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) (2023)
Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi
Massive Data-Centric Parallelism in the Chiplet Era. CoRR (2023)
Marcelo Orenes-Vera, Margaret Martonosi, David Wentzlaff
Using LLMs to Facilitate Formal Verification of RTL. CoRR (2023)
Marcelo Orenes-Vera, Esin Tureci, Margaret Martonosi, David Wentzlaff
DCRA: A Distributed Chiplet-based Reconfigurable Architecture for Irregular Applications. CoRR (2023)
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)
Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi
Tascade: Hardware Support for Atomic-free, Asynchronous and Efficient Reduction Trees. CoRR (2023)
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
, 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)
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)
Samuel Alexander Stein, Sara Sussman, Teague Tomesh, Charles Guinn, Esin Tureci, Sophia Fuhui Lin, Wei Tang, James 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 (2023)
Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi
Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications. HPCA (2023)
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)
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)
Aninda Manocha, Juan L. Aragón, Margaret Martonosi
Graphfire: Synergizing Fetch, Insertion, and Replacement Policies for Graph Analytics. IEEE Trans. Computers 72 (1) (2023)
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) (2022)
Wei Tang, Margaret Martonosi
ScaleQC: A Scalable Framework for Hybrid Computation on Quantum and Classical Processors. CoRR (2022)
Wei Tang, Margaret Martonosi
Cutting Quantum Circuits to Run on Quantum and Classical Platforms. CoRR (2022)
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)
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 (2022)
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)
Manish Parashar, Amy Friedlander, Erwin P. Gianchandani, Margaret Martonosi
Transforming science through cyberinfrastructure. Commun. ACM 65 (8) (2022)
Margaret Martonosi
Margaret Martonosi, National Science Foundation. USENIX Annual Technical Conference (2022)
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 (2022)
Marcelo Orenes-Vera, Esin Tureci, David Wentzlaff, Margaret Martonosi
Dalorex: A Data-Local Program Execution and Architecture for Memory-bound Applications. CoRR (2022)
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)
Lingling Lao, Prakash Murali, Margaret Martonosi, Dan Browne
Designing Calibration and Expressivity-Efficient Instruction Sets for Quantum Computing. ISCA (2021)
Wei Tang, Teague Tomesh, Martin Suchara, Jeffrey Larson, Margaret Martonosi
CutQC: using small Quantum computers for large Quantum circuit evaluations. ASPLOS (2021)
Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi
Logical abstractions for noisy variational Quantum algorithm simulation. ASPLOS (2021)
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)
Marcelo Orenes-Vera, Aninda Manocha, David Wentzlaff, Margaret Martonosi
AutoSVA: Democratizing Formal Verification of RTL Module Interactions. DAC (2021)
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and Testing GPU Workgroup Progress Models. CoRR (2021)
Yipeng Huang, Steven Holtzen, Todd D. Millstein, Guy Van den Broeck, Margaret Martonosi
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation. CoRR (2021)
Teague Tomesh, Margaret Martonosi
Quantum Codesign. IEEE Micro 41 (5) (2021)
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) (2021)
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)
Prakash Murali, Lingling Lao, Margaret Martonosi, Dan Browne
Designing calibration and expressivity-efficient instruction sets for quantum computing. CoRR (2021)
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) (2021)
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) (2021)
Marcelo Orenes-Vera, Aninda Manocha, David Wentzlaff, Margaret Martonosi
AutoSVA: Democratizing Formal Verification of RTL Module Interactions. CoRR (2021)
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) (2020)
Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi
Foundations of empirical memory consistency testing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
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)
Wei Tang, Teague Tomesh, Jeffrey Larson, Martin Suchara, Margaret Martonosi
CutQC: Using Small Quantum Computers for Large Quantum Circuit Evaluations. CoRR (2020)
Naorin Hossain, Caroline Trippel, Margaret Martonosi
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. CoRR (2020)
Prakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-Abhari
Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers. ASPLOS (2020)
Prakash Murali, Dripto M. Debroy, Kenneth R. Brown, Margaret Martonosi
Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers. ISCA (2020)
Naorin Hossain, Caroline Trippel, Margaret Martonosi
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests. ISCA (2020)
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 (2020)
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)
Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification. CoRR (2020)
Prakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-Abhari
Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers. CoRR (2020)
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)
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 (2020)
Themis Melissaris, Kelly A. Shaw, Margaret Martonosi
Optimizing IoT and Web Traffic Using Selective Edge Compression. CoRR (2020)
Henry A. Gabb, Andrew Lumsdaine, Margaret Martonosi, Arnold L. Rosenberg, Martina Barnas
EduPar-20 Invited Panel. IPDPS Workshops (2020)
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) (2020)
Themis Melissaris, Markos Markakis, Kelly A. Shaw, Margaret Martonosi
PerpLE: Improving the Speed and Effectiveness of Memory Consistency Testing. MICRO (2020)
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)
Prakash Murali, Ali Javadi-Abhari, Frederic T. Chong, Margaret Martonosi
Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems. CoRR (2019)
Margaret Martonosi, Martin Roetteler
Next Steps in Quantum Computing: Computer Science's Role. CoRR (2019)
Tae Jun Ham, Juan L. Aragón, Margaret Martonosi
Efficient Data Supply for Parallel Heterogeneous Architectures. ACM Trans. Archit. Code Optim. 16 (2) (2019)
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 (2019)
Yipeng Huang, Margaret Martonosi
Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs. CoRR (2019)
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)
Prakash Murali, Jonathan M. Baker, Ali Javadi-Abhari, Frederic T. Chong, Margaret Martonosi
Noise-Adaptive Compiler Mappings for Noisy Intermediate-Scale Quantum Computers. CoRR (2019)
Prakash Murali, Ali Javadi-Abhari, Frederic T. Chong, Margaret Martonosi
Formal constraint-based compilation for noisy intermediate-scale quantum systems. Microprocess. Microsystems 66 (2019)
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)
Themis Melissaris, Kelly A. Shaw, Margaret Martonosi
OKAPI: In Support of Application Correctness in Smart Home Environments. FMEC (2019)
Yipeng Huang, Margaret Martonosi
Statistical assertions for validating patterns and finding bugs in quantum programs. ISCA (2019)
Caroline Trippel, Daniel Lustig, Margaret Martonosi
Security Verification via Automatic Hardware-Aware Exploit Synthesis: The CheckMate Approach. IEEE Micro 39 (3) (2019)
Francine Berman, Rob A. Rutenbar, Brent Hailpern, Henrik Christensen, Susan 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) (2018)
Yipeng Huang, Margaret Martonosi
QDB: From Quantum Algorithms Towards Correct Quantum Programs. CoRR (2018)
Margaret Martonosi
Science, policy, and service. Commun. ACM 61 (5) (2018)
Caroline Trippel, Yatin A. Manerkar, Daniel Lustig, Michael Pellauer, Margaret Martonosi
Full-Stack Memory Model Verification with TriCheck. IEEE Micro 38 (3) (2018)
Yipeng Huang, Margaret Martonosi
QDB: From Quantum Algorithms Towards Correct Quantum Programs. PLATEAU@SPLASH (2018)
Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Aarti Gupta
PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications. MICRO (2018)
Caroline Trippel, Daniel Lustig, Margaret Martonosi
CheckMate: Automated Synthesis of Hardware Exploits and Security Litmus Tests. MICRO (2018)
Margaret Martonosi
2018 ACM SIGMOBILE Rockstar Award: Kyle Jamieson, Princeton University. GetMobile Mob. Comput. Commun. 22 (2) (2018)
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)
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)
Erik Russell, Julia Hirschberg, Margaret Martonosi
Broadening participation: CRA-W. ACM SIGCSE Bull. 50 (2) (2018)
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)
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 (2018)
Caroline Trippel, Daniel Lustig, Margaret Martonosi
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols. CoRR (2018)
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) (2017)
Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Michael Pellauer
RTLcheck: verifying the memory consistency of RTL designs. MICRO (2017)
Themis Melissaris, Kelly A. Shaw, Margaret Martonosi
Locomotive: Optimizing mobile web traffic using selective compression. WoWMoM (2017)
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) (2017)
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)
Frederic T. Chong, Diana Franklin, Margaret Martonosi
Programming languages and compiler design for realistic quantum hardware. Nat. 549 (7671) (2017)
Margaret Martonosi
2016 Maurice Wilkes Award Given to Timothy Sherwood. IEEE Micro 37 (2) (2017)
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)
Daniel Lustig, Geet Sethi, Abhishek Bhattacharjee, Margaret Martonosi
Transistency Models: Memory Ordering at the Hardware-OS Interface. IEEE Micro 37 (3) (2017)
Margaret Martonosi
Keynotes: Internet of Things: History and hype, technology and policy. MICRO (2016)
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 (2016)
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 (2016)
Daniel Lustig, Geet Sethi, Margaret Martonosi, Abhishek Bhattacharjee
COATCheck: Verifying Memory Ordering at the Hardware-OS Interface. ASPLOS (2016)

Margaret Martonosi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Margaret Martonosi