Stories by matt_d

SysXCHG: Refining Privilege with Adaptive System Call Filters

Qualifying System F<:

MicroHs: A Small Haskell Compiler – Lennart Augustsson [video]

Towards a Language for Defining Reusable Programming Language Components [pdf]

A correct-by-construction conversion from lambda calculus to combinatory logic

Little Tricky Logic: Misconceptions in the Understanding of LTL

tmp.0ut Volume 3

A Taxonomy of C Decompiler Fidelity Issues

Automatic Parallelism Management [pdf]

Wasm SpecTec: Engineering a Formal Language Standard

Principles for Automated and Reproducible Benchmarking

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production

FuzzyFlow: Leveraging Dataflow to Find and Squash Program Optimization Bugs

MLIR – A Global Optimization and Dataflow Analysis

2023 LLVM Developers' Meeting Trip Report

Operating Systems for Far Out Memories

Trends in Deep Learning Hardware: Bill Dally (NVIDIA) [video]

Fortran optimisation and parallelisation: domain specific MLIR abstractions

Trip report: Autumn ISO C++ standards meeting (Kona, HI, USA)

Essentials of Compilation – RacketCon 2023 – Jeremy Siek [video]

18
19
20
21
22
23
24
25
26
27