Stories by matt_d

Rethinking Arithmetic for Deep Neural Networks

Testing Dataflow Analyses for Precision and Soundness

PLanQC 2020 – Programming Languages for Quantum Computing – POPL 2020

Use AVX512 Galois field affine transformation for bit shuffling

C++ coroutines: Initial implementation pushed to master

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?

81
82
83
84
85
86
87
88
89
90