Stories by matt_d

What’s New in C in 2023?

UBFuzz: Finding Bugs in Sanitizer Implementations [pdf]

The Linear Algebra Mapping Problem and how programming languages solve it [video]

smtgcc: An experimental implementation of translation validation for GCC

Function Composition in Programming Languages [video]

When Function Inlining Meets WebAssembly: Counterintuitive Impact on Performance [pdf]

Programming Language Semantics: It’s Easy As 1,2,3 [pdf]

Diagnostic Improvements in Clang 17

Pepin: Probabilistic Approximate Volume Counter

Validating JIT Compilers via Compilation Space Exploration [pdf]

CAL Timesharing System: Before computers were personal

OOPSLA 2023: Accepted Papers

A Grounded Conceptual Model for Ownership Types in Rust

Arm’s Neoverse V2

An Introduction to Interpreters and JIT Compilation

MLIR – Using Traits

FPGA-Based Deep Learning Inference Accelerators: Where Are We Standing?

Stretching the Glasgow Haskell Compiler: Nourishing GHC w/ Domain-Driven Design

ICFP (International Conference on Functional Programming) 2023 Proceedings

Types versus sets (and what about categories?) (2022)

27
28
29
30
31
32
33
34
35
36