Stories by matt_d

Orders of Infinity

Ozaki Scheme II: A GEMM-oriented emulation of FP matrix multiplication using INT

The Algebra of Patterns (Extended Version)

Bringing ISA semantics to Lean and Lean-MLIR – Léo Stefanesco [video]

Scalable Parallel Programming Languages Myths #1: Productivity and Performance

Pinpointing the Learning Obstacles of an Interactive Theorem Prover [pdf]

Packed Data Support in Haskell

RefinedRust: High-Assurance Verification of Rust Programs [video]

War on JITs: Software-based attacks and hybrid defenses for JIT compilers

AutoCorrode: Verification Infrastructure for Isabelle/HOL

Databases and Discovery in Arithmetic [video]

Multi-Grained Specs for Distributed System Model Checking and Verification

Pydrofoil: Accelerating Sail-based instruction set simulators

A Patchwork of Clang Patches

Pulse: Proof-oriented Programming with Concurrent Separation Logic in F* [video]

Distance-Based ISA for Efficient Register Management

Extended User Interrupts (xUI): Fast and Flexible Notification without Polling

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libs

Banked Memories for Soft SIMT Processors

1
2
3
4
5
6
7
8
9
10