Stories by matt_d

Where's the Race Condition? “works on AArch64, how can it fail on x86_64?”

CGO 2022 Keynote: Compiler 2.0 – Saman Amarasinghe (MIT)

The Data-Oriented Design Process for Game Development

Monadic Compiler Calculation [pdf]

Proceedings of the ACM on Programming Languages: Volume 6, OOPSLA (Round 1)

The Prolog Adventure by Alain Colmerauer (the Creator of Prolog)

Practising Programming

Secure Compilation – Report from Dagstuhl Seminar [pdf]

Cross-Language Attacks

Deconstructing Programs for Compiler Fuzzing

Simple Simulations for System Builders

A Flexible Type System for Fearless Concurrency

PDL: A High-Level Hardware Design Language for Pipelined Processors

Accelerate – High-Performance Computing in Haskell (Seminar, Gabriele Keller)

Understanding and Exploiting Optimal Function Inlining [pdf]

Finding Missed Optimizations Through the Lens of Dead Code Elimination [pdf]

Verifying Dynamic Trait Objects in Rust [pdf]

Functional Programming on Top of SQL Engines

TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models

The Trusted Computing Base of the CompCert Verified Compiler

51
52
53
54
55
56
57
58
59
60