Stories by matt_d

Hardware Acceleration of Functional and Declarative Languages HAFDAL 2024 Talks

What we learned from C++ atomics and memory model standardization [video]

Verified high-level synthesis – now with hyperblocks

Functional ownership through fractional uniqueness

Some Reflections on Writing Unix Daemons

SECOMP: Formally Secure Compilation of Compartmentalized C Programs

The graphical theory of monads [pdf]

Retrospective Thoughts on BitC

Fast Template-Based Code Generation for MLIR

CC 2024: ACM SIGPLAN International Conference on Compiler Construction

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

40 41 42 43 44 45 46 47 48 49