Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution Revision 1.0 (August 14, 2018) Ofir Weisse3 , Jo Van Bulck1 , Marina Minkin2 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens

Source URL: foreshadowattack.eu

• Computer architecture
• Computing
• Computer hardware
• Computer memory
• Memory management
• Virtual memory
• X86 architecture
• Computer security
• Meltdown
• Translation lookaside buffer
• CPU cache
• Software Guard Extensions

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock

Source URL: homes.cs.washington.edu

• Software engineering
• Computer programming
• Computing
• Method
• Object-oriented programming
• Data types
• High-level programming languages
• Dynamic dispatch
• Polymorphism
• Virtual method table
• Method overriding
• Objective-C

Architectural Semantics for Practical Transactional Memory

Source URL: www.austenmcdonald.com

• Transaction processing
• Computing
• Data management
• Data
• Concurrency control
• Nested transaction
• Database transaction
• Software transactional memory
• Atomicity
• Transactional memory
• Isolation
• Linearizability

Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo

Source URL: arxiv.org

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: unsat.cs.washington.edu

• Mathematical logic
• Model theory
• Metalogic
• Mathematics
• First-order logic
• Relational algebra
• FO
• Structure
• Relational
• Interpretation
• Computation tree logic

PDF Document

Source URL: business.toshiba-memory.com

PDF Document

Source URL: business.toshiba-memory.com

PDF Document

Source URL: business.toshiba-memory.com

PDF Document

Source URL: www.memory-clinic-bern.ch