matt_d 的提交内容

Compile-Time Analysis of Compiler Frameworks for Query Compilation

Zen 5's 2-ahead branch predictor: how a 30 year old idea allows for new tricks

Lean4Lean: Formalizing the type theory of Lean – Mario Carneiro [video]

Verilog Programs Are Pure Expressions

Cloud-Native DBs and Unikernels: Reimagining OS Abstractions for Modern Hardware [pdf]

An Overview of the Fortran Standard: Fortran 2023 and Beyond [video]

Type-safe Nanopasses: How to write a safe and modern compiler front-end [video]

Programming Language Design and Implementation (PLDI) 2024 Videos

Exploring FPGA designs for MX and beyond

Modal Effect Types

Mini-JVM: Educational Implementation of a Simplified Java Virtual Machine (JVM)

Mining JIT traces for missing optimizations with Z3

Living the Loopless Life: Techniques for Removing Explicit Loops and Recursion [video]

Pragmatics of Formally Verified yet Efficient Static Analysis and Compilers

Notes on Computational Learning Theory

Finding Simple Rewrite Rules for the JIT with Z3

Calculating Compilers Effectively [pdf]

Boosting Compiler Testing by Injecting Real-World Code

Arm Scalable Matrix Extension (SME) Introduction: Part 2

Towards Unified Analysis of GPU Consistency [pdf]

Whispering Pixels: Exploiting Uninitialized Register Accesses in Modern GPUs

Twenty Five Years of Warehouse-Scale Computing

ISLAB: Immutable Memory Management Metadata for Commodity OS Kernels [pdf]

Verifying Peephole Rewriting in SSA Compiler IRs

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

STRIDE: Simple Type Recognition In Decompiled Executables

Mind the Gap: Data Movement&Operational Intensity Bounds for Tensor Algorithms [pdf]

Understanding GPU Memory Corruption at Extreme Scale: The Summit Case Study

Trip report: Summer ISO C++ standards meeting (St Louis, MO, USA)