Stories by matt_d

Scaling Exact Inference for Discrete Probabilistic Programs

PaSh: Light-Touch Data-Parallel Shell Processing

Type Theory Forall: Bringing Programming Languages Research Outside Academia

Interactive C++ for Data Science

Sound C Code Decompilation for a Subset of x86-64 Binaries [pdf]

jitboy: A Game Boy emulator with dynamic recompilation (JIT) for x86-64

Statistical Approaches for Performance Analysis

Unwinding a Bug – How C++ Exceptions Work

Automated discovery of machine learning optimizations

Advanced Compilers: Self-Guided Online Course

LLVM-DIVA – Debug Information Visual Analyzer

An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels

A Modern Primer on Processing in Memory

10 Years of Dart

Neural Reverse Engineering of Stripped Binaries Using Augmented CFGs

CoroBase: Database engine using C++20 coroutines to hide cache misses

Who Is Debugging the Debuggers? Exposing Debug Bugs in Optimized Binaries

Modeling and Analyzing Evaluation Cost of CUDA Kernels (POPL 2021) [pdf]

Intel Looks Ahead to Stacked Nano-Ribbon Transistors, Anti-Ferroelectric eDRAM

RASPsim: Cycle-accurate x86-64 simulator based on PTLsim

62
63
64
65
66
67
68
69
70
71