Stories by matt_d

Thread Local Storage

Leveraging Compiler IR for Multi- and Cross-Language Verification

Building Program Reasoning Tools Using LLVM and Z3 – POPL 2020 Tutorial

Gathering Intel on Intel AVX-512 Transitions

Project Verona: Research programming language for concurrent ownership

Intel’s port 7 AGU blunder

DDSP: Differentiable Digital Signal Processing

The Typed Racket Optimizer vs. Transient

On the Correct Measurement of Application Memory Bandwidth and Access Latency

Programmatically interpretable reinforcement learning

ABSynthe: Automatic Blackbox Side-Channel Synthesis on Commodity Microarch [pdf]

Testing Database Engines via Pivoted Query Synthesis

Learning miasm: Part 2: Analyzing instructions

Bit-Twiddling: Addition with Unknown Bits

Is parallel programming hard, and, if so, what can you do about it?

LLHD: Low Level Hardware Description

Testing Dataflow Analyses for Precision and Soundness

Making Fast Incremental Compiler for Codebase

Scalene: a high-performance, high-precision CPU and memory profiler for Python

YewPar: Skeletons for Exact Combinatorial Search: a new parallel C++ tree search [pdf]

69
70
71
72
73
74
75
76
77
78