Stories by matt_d

Binary Relations: Three new associative container classes

Reusing Just-in-Time Compiled Code (OOPSLA 2023) [video]

Borrow Checking Hylo [video]

elfconv: AOT compiler from AArch64 ELF binary to LLVM bitcode targeting Wasm

Tutorial on generalized algebraic data types (GADTs)

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

30
31
32
33
34
35
36
37
38
39