Stories by matt_d

SoK: Prudent Evaluation Practices for Fuzzing [pdf]

PyTorch 2 Faster ML Dynamic Python Bytecode Transformation and Graph Compilation [pdf]

Discussing "Isabelle/HOL: A Proof Assistant for Higher-Order Logic"

Profiling Programming Language Learning

Stale Profile Matching

Upstreaming ClangIR: an MLIR based C/C++ dialect for Clang

TurboTV: Translation Validation for TurboFan JIT Compiler in the V8 Engine

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interop Down to WebAssembly

Writing a Debugger from Scratch – DbgRs Part 7 – Disassembly

SEER: Super-Optimization Explorer for HLS using E-graph Rewriting [pdf]

Exploring Object File Formats

Representing Data Collections in an SSA Form [pdf]

A Statically and Dynamically Scalable Soft GPGPU

High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]

RISC-V Vector Programming in C with Intrinsics

Closing word at Zürich Colloquium (1968)

PCode2C: Steps Towards Translation Validation with Ghidra and CBMC

CEK and Control Operators

Profiling Programming Language Learning

The Examplar Project: A Summary

22
23
24
25
26
27
28
29
30
31