CMU 15-799: Special Topics in Databases: Query Optimization (Spring 2025)

Rethinking the Producer-Consumer Relationship in Modern DRAM-Based Systems

CMU Database Query Optimization #01 – SQL Optimization Background [video]

Uncovering Real GPU NoC Characteristics: Implications on Interconnect Arch.

Understanding and improving Clang -ftime-report

Principles of Programming Languages (POPL) 2025 Proceedings

The Best of Abstract Interpretations

Extensible Query Optimizers in Practice

Stanford Lecture – Strong Components and Weak Components, Dr. Donald Knuth 2024 [video]

Finding Missed Code Size Optimizations in Compilers Using LLMs

Musings on Tracing in PyPy

Property-Based Testing for the People

This Year in LLVM (2024)

Advent of Computing: Episode 148 - Is BLISS Ignorance?

Pattern Matching in AI Compilers and Its Formalization (Extended Version)

30 Years, from Compilation Student to Decompilation Pioneer – Cristina Cifuentes [video]

Lightstorm: Minimalistic Ruby Compiler

MultiQueue-Based FPGA Routing: Relaxed A* Priority Ordering-Improved Parallelism [pdf]

State of Clang as a C and C++ Compiler – Aaron Ballman, 2024 LLVM Dev Meeting [video]

Programming and reasoning about actors that share state

The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining [pdf]

Strong Components and Weak Components: 2024 Annual Christmas Lecture, Don Knuth [video]

2024 LLVM Developers' Meeting Videos

"Communicating Chorrectly with a Choreography" is out

From Gates to Pixels: Making Your Own Graphics Hardware [video]

The Hoare Cube

"Performance Analysis and Tuning on Modern CPUs": Second Edition Released

What Goes Around Comes Around... And Around... - Andy Pavlo, Dijkstra Award 2024

Bicameral, Not Homoiconic

The Denotational Semantics of SSA

Counterexamples in Safe Rust

Tacit Talk Episode 8: Tacit Definition (1991)

C++ Switch Statements Under the Hood in LLVM – Hans Wennborg [video]

Reverse engineering Microsoft BASIC [video]

Introduction to SASS and GPU Microarchitecture – GPU Mode Lecture 37 [video]

ACM SIGPLAN International Conference on Functional Programming ICFP 2024 Videos

Type Theory Forall: What Is Type Theory and What Properties We Should Care About

Exploring parsing APIs: what to generate, and how

Hardware Trends Impacting Floating-Point Computations in Scientific Applications

Evaluating Human Factors Beyond Lines of Code

Oral History of Nolan Bushnell [video]

DBSP: Automatic Incremental View Maintenance for Rich Query Languages

Towards Sound `unsafe` Rust – Rust Formal Methods Interest Group [video]

Software Security Analysis in 2030 and Beyond: A Research Roadmap [pdf]

Creating Your Own Programming Language – Laurence Tratt [video]

Story-time: C++, bounds checking, performance, and compilers

How linear types control the future and prevent bugs [video]

Exo 2: Growing a Scheduling Language

Memory Bandwidth and System Balance in HPC Systems: 2024 Update [video]

The Art of Deconstraining: A guide to convex optimization in PyTorch

Data Race Freedom à la Mode [pdf]

Modern CPUs Assign Registers to Speed Up Your Code - Matt Godbolt [video]

Hello SME! Generating Fast Matrix Multiplication Kernels Using the SME

RISC-V Vector Extension overview

Hitchhiker's Guide to Programming and Optimizing CXL-Based Heterogeneous Systems

ACM ByteCast Episode 57: Xavier Leroy

PyTorch 2 Faster ML Dynamic Python Bytecode Transformation and Graph Compilation [video]

Safe and efficient C++ interoperability via non-escapable types and lifetimes

MLIR Project Charter and Restructuring Survey

Big Specification: Specification, Proof, and Testing at Scale 2024

Automated reasoning often makes systems more efficient and easier to maintain

Function Effect Analysis – Clang 20.0.0

A Dogged Pursuit for Satisfaction–Ryan Williams (MIT CSAIL) [video]

Static Basic Block Versioning

[RFC] MLIR Project Charter and Restructuring

Scalable self-improvement for compiler optimization

Revisiting Reliability in Large-Scale Machine Learning Research Clusters

Scheduling Languages: A Past, Present, and Future Taxonomy

Sorting for Rendering

Refinement Type Refutations

Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation

Unboxing Virgil ADTs for Fun and Profit

Taking a Closer Look:An Outlier-Driven Approach to Compilation-Time Optimization

Efficient GEMM Kernel Designs with Pipelining

Memory Safety without Lifetime Parameters

efency: An efficient electric-fence malloc debugger for the 21st century

Tensor programming for databases, with first class dimensions

A Case for First-Class Environments

Can logic programming be liberated from predicates and backtracking? [pdf]

When is causal broadcast not enough for causal memory?

A Discussion with Sebastian Hack – Compiler/PL Meetup @ UIUC [video]

BinSym: Symbolic execution for RISC-V machine code based on LibRISCV ISA model

Software Complexity, Path Complexity, and Branch Selectivity [video]

Shared Virtual Memory: Its Design and Performance Implications for Applications

Where Does Database Research Go from Here?

Fast and accurate approximation algorithms for computing floating point sqrt

The Conditional Syntax

Patterns of Data Flow in Words

Take-aways from using Deduce in the classroom

Using the C Bounded Model Checker as a TLA+

C2y Standard: 71st WG14 Meeting Report

Scaling Laws of Optimization

Generic Arity: Definition-Checked Variadics in Carbon [video]

Optional Strict Memory Safety for Swift

Introduction to the λ-Calculus

Advent of Computing: Episode 140 – Assembling Code

A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code

Bendable non-silicon RISC-V microprocessor