~lobsters | Bookmarks (10)
-
More Fixpoints! (Functional Pearl)
Haskell’s laziness allows the programmer to solve some problems naturally and declaratively via recursive equations. Unfortunately,...
-
Co-Developing Programs and Their Proof of Correctness
Credit: Balein / Shutterstock Twenty years ago, Sir Tony Hoare proposed a grand challenge to the...
-
How to Design an ISA - ACM Queue
January 11, 2024Volume 21, issue 6 PDF The popularity of RISC-V has led many to try...
-
Dear Diary - ACM Queue
Kode Vicious - @kode_vicious November 29, 2023Volume 21, issue 5 PDF Kode Vicious On keeping a...
-
Phantom: Exploiting Decoder-detectable Mispredictions
1 INTRODUCTION Security research at the intersection of software and hardware has surfaced a concerning amount...
-
Clockhands: Rename-free Instruction Set Architecture for Out-of-order Processors
7 EVALUATION 7.1 Methodology Table 2: The parameters of the processors used in the simulation. 4-fetch...