Introduction to Competitive Programming in Haskell

Relational Abstractions Based on Labeled Union-Find

A Guided Tour of Polarity and Focusing

"How slow is the tracing interpreter of PyPy's meta-tracing JIT?"

JIT Code Generation with AsmJit [video]

Type Theory and Themes in Philosophical Logic

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]

Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation

Modern Minimal Perfect Hashing: A Survey

How to Make the Most Out of SIMD on AArch64?

[RFC] MLIR Dialect for WebAssembly

An SMT Formalization of Mixed-Precision Matrix Multiplication

From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs

Autocomp: LLM-Driven Code Optimization for Tensor Accelerators

GPU Memory Consistency: Specs, Testing, and Opportunities for Perf Tooling

Potential and Limitation of High-Frequency Cores and Caches (2024)

GDBMiner: Mining Precise Input Grammars on Almost Any System

Spegion: Implicit and Non-Lexical Regions with Sized Allocations

Linearity and Uniqueness

INTERCAL Rides Again – Restoring a Lost Compiler

Understanding Memory Management, Part 6: Basic Garbage Collection

Uniqueness for Behavioural Types

TPDE: A Fast Adaptable Compiler Back-End Framework

The missing guide to Dataflow Analysis in MLIR

Current Continuation E2: Satnam Singh (Groq) [video]

Games on ARM64: Introduction to FEX EMU, a fast usermode x86-64 emulator [video]

Bidirectional typing with unification for higher-rank polymorphism

DWARF as a Shared Reverse Engineering Format

Finite-Choice Logic Programming (POPL 2025) [video]

Data-Driven Loop Fusion

Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context

Workload-Aware Cloud Efficiency:A Large-Scale Empirical Study of Cloud Workloads

Against Curry-Howard Mysticism

Maximal Simplification of Polyhedral Reductions (POPL 2025) [video]

Prime Path Coverage in the GNU Compiler Collection

Oodle 2.9.14 and Intel 13th/14th gen CPUs

Current Continuation E1: Ranjit Jhala (UCSD) [video]

Algebraic Type Theory, Part 1: Martin-Löf Algebras

Memory-Centric Computing: Solving Computing's Memory Problem

Programming Models for Correct and Modular Distributed Systems

FCCM 2025

Global Hash Tables Strike Back! An Analysis of Parallel GROUP BY Aggregation

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

Comparing Parallel Functional Array Languages: Programming and Performance

Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI

Amortized Analysis as a Cost-Aware Abstraction Function

Chapter 2: Serializability Theory (1987 Concurrency Control Book)

SoK: Challenges and Paths Toward Memory Safety for eBPF [pdf]

Rod Burstall: In Memoriam

Using obscure graph theory to solve programming languages problems

What you want to know (but dare to ask) about Conjunctive Query Processing

2025 EuroLLVM Developers' Meeting

Reverse-Engineering the Address Translation Caches [pdf]

A whippet waypoint / Nofl: A Precise Immix

What Works (and Doesn't) Selling Formal Methods

6502 Illegal Opcodes in the Siemens PC 100 Assembly Manual (1980)

Writing a preloadable malloc in Rust, using MMTk

From Haskell to a New Structured Combinator Processor

Reverse Engineering DVFS Mechanisms [pdf]

Programming Language Design and Implementation (PLDI) 2025: Accepted Papers

An Interactive Debugger for Rust Trait Errors

Orders of Infinity

Ozaki Scheme II: A GEMM-oriented emulation of FP matrix multiplication using INT

The Algebra of Patterns (Extended Version)

Bring­ing ISA se­man­tics to Lean and Lean-MLIR – Léo Stefanesco [video]

Scalable Parallel Programming Languages Myths #1: Productivity and Performance

Pinpointing the Learning Obstacles of an Interactive Theorem Prover [pdf]

Packed Data Support in Haskell

RefinedRust: High-Assurance Verification of Rust Programs [video]

War on JITs: Software-based attacks and hybrid defenses for JIT compilers

AutoCorrode: Verification Infrastructure for Isabelle/HOL

Databases and Discovery in Arithmetic [video]

Multi-Grained Specs for Distributed System Model Checking and Verification

Pydrofoil: Accelerating Sail-based instruction set simulators

A Patchwork of Clang Patches

Pulse: Proof-oriented Programming with Concurrent Separation Logic in F* [video]

Distance-Based ISA for Efficient Register Management

Extended User Interrupts (xUI): Fast and Flexible Notification without Polling

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libs

Banked Memories for Soft SIMT Processors

Analyzing Modern NVIDIA GPU cores

Ratte: Fuzzing Multi-Level Compilers Using Composable Semantics [pdf]

The Cost of Garbage Collection for State Machine Replication

Formalising CXL Cache Coherence [pdf]

Calculate Throughput with LLVM's Scheduling Model

MIT Programming Languages Review Workshop 2025: Registration Open

tmp.0ut Volume 4

The Calculated Typer

Relocation Generation in Assemblers

Scanning HTML at Gigabytes per Second on Arm Processors

Arm M-Profile Assembly Tricks

Compiling C++ with the Clang API

SQL Engines Excel at the Execution of Imperative Programs [pdf]

The Case for DBMS Live Patching [pdf]

Substructural Parametricity

Spineless Traversal for Layout Invalidation