Stories by matt_d

Building Multiport Memories with Block RAMs

How to get consistent results when benchmarking on Linux?

ICFP (International Conference on Functional Programming) 2019 Proceedings

Just how long does a formal proof take to finish?

Towards Size Types in Futhark

Publication Trends at ISCA (International Symposium on Computer Architecture)

Practical Byte-Granular Memory Blacklisting Using Califorms

Looking inside a 1970s PROM chip that stores data in microscopic fuses

Nifty Features of the ARM Architecture

CSRTale #13: Formal verification of strong eventual consistency

Writing efficient free variable traversals – The Glasgow Haskell Compiler

IETF 105: Technology Deep Dive: How Network Interface Cards (NICs) Work Today

Combinatorial Register Allocation and Instruction Scheduling

NDA: Preventing Speculative Execution Attacks at Their Source [pdf]

Trip C++ Standards Meeting in Cologne, July 2019

Dynamic Languages and Parallelism: How to Go from Broken/Slow to Safe&Efficient?

Saving the World from Spreadsheets [video]

2019-07 Cologne ISO C++ Committee Trip Report: The C++20 Eagle has Landed

Pointer Tagging for Memory Safety

A Golden Age of Hardware Description Languages

91
92
93
94
95
96
97
98
99
100