<--- Back to Details
First PageDocument Content
Evaluation strategy / Functional languages / Functional programming / Lambda calculus / Lazy evaluation / Glasgow Haskell Compiler / Speculative execution / Thunk / Stream / Software engineering / Computing / Declarative programming
Date: 2003-10-06 03:13:27
Evaluation strategy
Functional languages
Functional programming
Lambda calculus
Lazy evaluation
Glasgow Haskell Compiler
Speculative execution
Thunk
Stream
Software engineering
Computing
Declarative programming

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 190,09 KB

Share Document on Facebook

Similar Documents

Computer hardware / Computing / Technology / Computer security / Side-channel attacks / X86 architecture / Intel / Meltdown / Spectre / Wind River Systems / Advanced Micro Devices / Internet of things

FROM THE EDITOR Spectre, the Deep Firmware Threat Born before silicon-level security was deemed necessary, speculative execution is now something

DocID: 1xTgt - View Document

SgxPectre Attacks: Stealing Intel Secrets from SGX Enclaves via Speculative Execution arXiv:1802.09085v3 [cs.CR] 3 JunGuoxing Chen, Sanchuan Chen, Yuan Xiao, Yinqian Zhang, Zhiqiang Lin, Ten H. Lai

DocID: 1vf6q - View Document

Computer hardware / Computer architecture / Computer security / X86 architecture / Side-channel attacks / Computing / Spectre / Meltdown / CPU cache / Out-of-order execution / Speculative Store Bypass

Spectre and Meltdown: Data leaks during speculative execution Speaker: Jann Horn (Google Project Zero) Paul Kocher (independent) Daniel Genkin (University of Pennsylvania and

DocID: 1us8U - View Document

Computer architecture / Computing / Computer hardware / Central processing unit / X86 architecture / Computer security / Side-channel attacks / Microprocessors / Spectre / CPU cache / Meltdown / Microarchitecture

Spectre Attacks: Exploiting Speculative Execution 3 Paul Kocher1 , Jann Horn2 , Anders Fogh3 , Daniel Genkin4 , Daniel Gruss5 , Werner Haas6 , Mike Hamburg7 , Moritz Lipp5 ,

DocID: 1u7Wz - View Document

Intel Analysis of Speculative Execution Side Channels White Paper Revision 1.0 January 2018

DocID: 1tObq - View Document