mattpd - Network

Making OCaml Safe for Performance Engineeringhttps://www.youtube.com/watch?v=g3qd4zpm1LAChris Casinghino

Making OCaml Safe for Performance Engineering
https://www.youtube.com/watch?v=g3qd4zpm1LA
Chris Casinghino

Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable...

Ratte: Fuzzing for Miscompilations in Multi-Level Compilers Using Composable Semantics
https://www.doc.ic.ac.uk/~afd/papers/2025/ASPLOS-Ratte.pdf
https://doi.org/10.5281/zenodo.14768650
Pingshi Yu, Nicolas Wu, and Alastair F. Donaldson
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2025

Calculate Throughput with LLVM's Scheduling Modelhttps://myhsu.xyz/llvm-sched-interval-throughput/by @mshockwave#LLVM

Calculate Throughput with LLVM's Scheduling Model
https://myhsu.xyz/llvm-sched-interval-throughput/
by @mshockwave
#LLVM

A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applicationshttps://dl.acm.org/doi/10.1145/3696443.3708951Lukas...

A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications
https://dl.acm.org/doi/10.1145/3696443.3708951
Lukas Trümper, Philipp Schaad, Berke Ates, Alexandru Calotoiu, Marcin Copik, Torsten Hoefler
23rd ACM/IEEE International Symposium on Code Generation and Optimization (CGO) 2025

A Mechanically Verified Garbage Collector for...

A Mechanically Verified Garbage Collector for OCaml
https://kcsrk.info/papers/verifiedgc_feb_25.pdf
https://github.com/prismlab/verified_ocaml_gc
Sheera Shamsu, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan, KC Sivaramakrishnan (@kayceesrk)
Journal of Automated Reasoning, 2025

"A Philosophy of Software Design" vs. "Clean Code"https://github.com/johnousterhout/aposd-vs-clean-codeA discussion...

"A Philosophy of Software Design" vs. "Clean Code"
https://github.com/johnousterhout/aposd-vs-clean-code
A discussion between John Ousterhout and Robert Martin

How I implement SSA formhttps://gist.github.com/pizlonator/cf1e72b8600b1437dda8153ea3fdb963by Filip Jerzy Pizło

How I implement SSA form
https://gist.github.com/pizlonator/cf1e72b8600b1437dda8153ea3fdb963
by Filip Jerzy Pizło

Disassembling a binary: linear sweep and recursive traversalhttps://nicolo.dev/en/blog/disassembling-binary-linear-recursive/by @nicolodev

Disassembling a binary: linear sweep and recursive traversal
https://nicolo.dev/en/blog/disassembling-binary-linear-recursive/
by @nicolodev

Analyzing and Exploiting Branch Mispredictions in Microcodehttps://arxiv.org/abs/2501.12890

Analyzing and Exploiting Branch Mispredictions in Microcode
https://arxiv.org/abs/2501.12890

ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2025 Proceedingshttps://dl.acm.org/toc/pacmpl/2025/9/POPL@poplconf

ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2025 Proceedings
https://dl.acm.org/toc/pacmpl/2025/9/POPL
@poplconf

Extensible Query Optimizers in Practicehttps://www.microsoft.com/en-us/research/publication/extensible-query-optimizers-in-practice/Bailu...

Extensible Query Optimizers in Practice
https://www.microsoft.com/en-us/research/publication/extensible-query-optimizers-in-practice/
Bailu Ding, Vivek Narasayya, Surajit Chaudhuri
Foundations and Trends in Databases (2024) Vol. 14, No. 3-4

Finding Missed Code Size Optimizations in Compilers using LLMshttps://arxiv.org/abs/2501.00655Davide Italiano, Chris CumminsInternational...

Finding Missed Code Size Optimizations in Compilers using LLMs
https://arxiv.org/abs/2501.00655
Davide Italiano, Chris Cummins
International Conference on Compiler Construction (CC) 2025

Advent Of Computing Episode 148: Is BLISS Ignorance?https://adventofcomputing.libsyn.com/episode-148-is-bliss-ignorance> In 1970 a little...

Advent Of Computing Episode 148: Is BLISS Ignorance?

https://adventofcomputing.libsyn.com/episode-148-is-bliss-ignorance

> In 1970 a little language called BLISS emerged from Carnegie Mellon University. It was a systems language, meant for operating systems and compilers. It was designed, in part, as a response to Dijkstra's famous Go To Considered Harmful paper. It had no data types. It used the most bizzare form of the pointer I've ever seen. And it was a direct competitor to C. Sound interesting, yet?

Strong Components and Weak Componentshttps://www.youtube.com/watch?v=au26uZfuxVYhttps://online.stanford.edu/donald-e-knuth-lectures2024...

Strong Components and Weak Components
https://www.youtube.com/watch?v=au26uZfuxVY
https://online.stanford.edu/donald-e-knuth-lectures
2024 Annual Christmas Lecture
Don Knuth

"Performance Analysis and Tuning on Modern CPUs"https://github.com/dendibakh/perf-book/releases/tag/2.0_releaseSecond Edition...

"Performance Analysis and Tuning on Modern CPUs"
https://github.com/dendibakh/perf-book/releases/tag/2.0_release
Second Edition (2024) Denis Bakhvalov

The Denotational Semantics of SSAJad Ghalayini & Neel Krishnaswamihttps://arxiv.org/abs/2411.09347Building An Inductive Representation...

The Denotational Semantics of SSA
Jad Ghalayini & Neel Krishnaswami
https://arxiv.org/abs/2411.09347
Building An Inductive Representation of SSA
https://tekne.dev/blog/building-inductive-ssa
https://github.com/isotope-project/ssa-densem

C++ Switch Statements Under the Hood in LLVMhttps://www.youtube.com/watch?v=nfy51jenN3MHans Wennborg (@hansw2000)StockholmCpp 0x32November...

C++ Switch Statements Under the Hood in LLVM
https://www.youtube.com/watch?v=nfy51jenN3M
Hans Wennborg (@hansw2000)
StockholmCpp 0x32
November 2024

The hidden superpowers of linear types: how linear types control the future and prevent bugsImplementing linear/non-destructible types in...

The hidden superpowers of linear types: how linear types control the future and prevent bugs
Implementing linear/non-destructible types in Mojo
https://www.youtube.com/watch?v=Ab8WQ1wwhV8
Evan Ovadia
Modular Community Meeting
November 2024

Exo 2: Growing a Scheduling Languagehttps://arxiv.org/abs/2411.07211https://github.com/exo-lang/exoYuka Ikarashi, Kevin Qian, Samir Droubi,...

Exo 2: Growing a Scheduling Language
https://arxiv.org/abs/2411.07211
https://github.com/exo-lang/exo
Yuka Ikarashi, Kevin Qian, Samir Droubi, Alex Reinking, Gilbert Bernstein, Jonathan Ragan-Kelley
ASPLOS 2025

Memory Bandwidth and System Balance in HPC Systems: 2024 Updatehttps://www.youtube.com/watch?v=c7IrAxJvSOIJohn D. McCalpin, Research...

Memory Bandwidth and System Balance in HPC Systems: 2024 Update
https://www.youtube.com/watch?v=c7IrAxJvSOI
John D. McCalpin, Research Scientist, Texas Advanced Computing Center