Stories by matt_d

Joining Logic, Relational, and Functional Programming

Understanding modern UEFI-based platform boot

Opportunities and Challenges of Machine Learning Accelerators in Production

How (not) to test graphics algorithms

A dive into RI5CY core internals

Malloc Geiger

Increasing Your Research Impact

Design and Evolution of C-Reduce (Part 2)

Pro TBB: C++ Parallel Programming with Threading Building Blocks

How to Draw Block Diagrams

The SuperH-3, part 4: Basic arithmetic

What Does It Mean for a Program Analysis to Be Sound?

The SuperH-3, Part 2: Addressing Modes – The Old New Thing

The Apollo Guidance Computer – VCF West 2019

The Immintrin Debug Library – Simplified Debugging of Complex x86 Vector Code

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

82
83
84
85
86
87
88
89
90
91