Author of the publication

MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols.

, , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Architectural and Operating System Support for Virtual Memory, and . Synthesis Lectures on Computer Architecture Morgan & Claypool Publishers, (2017)Parsimony: Enabling SIMD/Vector Programming in Standard Compiler Flows., , , , and . CGO, page 186-198. ACM, (2023)FinePack: Transparently Improving the Efficiency of Fine-Grained Transfers in Multi-GPU Systems., , , , and . HPCA, page 516-529. IEEE, (2023)COATCheck: Verifying Memory Ordering at the Hardware-OS Interface., , , and . ASPLOS, page 233-247. ACM, (2016)Transistency Models: Memory Ordering at the Hardware-OS Interface., , , and . IEEE Micro, 37 (3): 88-97 (2017)A Formal Analysis of the NVIDIA PTX Memory Consistency Model., , and . ASPLOS, page 257-270. ACM, (2019)HMG: Extending Cache Coherence Protocols Across Modern Hierarchical Multi-GPU Systems., , , , , and . HPCA, page 582-595. IEEE, (2020)Mixed-proxy extensions for the NVIDIA PTX memory consistency model: industrial product., , and . ISCA, page 1058-1070. ACM, (2022)Shared last-level TLBs for chip multiprocessors., , and . HPCA, page 62-63. IEEE Computer Society, (2011)Nimble Page Management for Tiered Memory Systems., , , and . ASPLOS, page 331-345. ACM, (2019)