matt_d

Posts

• 2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
  by matt_don 6/21/2025, 7:51 AMwith 0 comments
• Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award)
  by matt_don 6/21/2025, 5:10 AMwith 0 comments
• The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (PEPM 2025) [video]
  by matt_don 6/21/2025, 4:52 AMwith 1 comments
• Compiling LLMs into a MegaKernel: A path to low-latency inference
  by matt_don 6/19/2025, 7:20 PMwith 76 comments
• Usability Barriers for Liquid Types
  by matt_don 6/19/2025, 9:34 AMwith 0 comments
• Exploring the Theory and Practice of Concurrency in the ECS Pattern [pdf]
  by matt_don 6/19/2025, 9:23 AMwith 0 comments
• Elaboration with Error Recovery
  by matt_don 6/18/2025, 5:46 AMwith 0 comments
• Sound Static Data Race Verification for C: Is the Race Lost?
  by matt_don 6/17/2025, 6:02 AMwith 0 comments
• Monads are not like burritos
  by matt_don 6/16/2025, 9:17 PMwith 0 comments
• Inside torch.compile Guards: How They Work, What They Cost, and Ways to Optimize
  by matt_don 6/16/2025, 8:59 PMwith 0 comments
• phkmalloc
  by matt_don 6/16/2025, 8:35 PMwith 0 comments
• Advent of Computing: Episode 159 – The Intel 286: A Legacy Trap
  by matt_don 6/16/2025, 4:11 AMwith 0 comments
• Introduction to Competitive Programming in Haskell
  by matt_don 6/15/2025, 6:43 AMwith 0 comments
• Relational Abstractions Based on Labeled Union-Find
  by matt_don 6/13/2025, 10:10 PMwith 0 comments
• A Guided Tour of Polarity and Focusing
  by matt_don 6/13/2025, 5:53 AMwith 0 comments
• "How slow is the tracing interpreter of PyPy's meta-tracing JIT?"
  by matt_don 6/12/2025, 7:26 AMwith 0 comments
• JIT Code Generation with AsmJit [video]
  by matt_don 6/12/2025, 3:22 AMwith 0 comments
• Type Theory and Themes in Philosophical Logic
  by matt_don 6/11/2025, 5:48 AMwith 0 comments
• EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf]
  by matt_don 6/10/2025, 10:19 PMwith 1 comments
• Inspecting Compiler Optimizations on Mixed Boolean Arithmetic Obfuscation
  by matt_don 6/10/2025, 9:52 PMwith 0 comments
• Modern Minimal Perfect Hashing: A Survey
  by matt_don 6/10/2025, 9:46 PMwith 32 comments
• How to Make the Most Out of SIMD on AArch64?
  by matt_don 6/10/2025, 7:31 PMwith 2 comments
• [RFC] MLIR Dialect for WebAssembly
  by matt_don 6/9/2025, 9:16 PMwith 0 comments
• An SMT Formalization of Mixed-Precision Matrix Multiplication
  by matt_don 6/8/2025, 6:19 AMwith 0 comments
• From Boolean logic to bitmath and SIMD: transitive closure of tiny graphs
  by matt_don 6/7/2025, 6:33 AMwith 0 comments
• Autocomp: LLM-Driven Code Optimization for Tensor Accelerators
  by matt_don 6/6/2025, 11:35 PMwith 0 comments
• GPU Memory Consistency: Specs, Testing, and Opportunities for Perf Tooling
  by matt_don 6/6/2025, 10:49 PMwith 0 comments
• Potential and Limitation of High-Frequency Cores and Caches (2024)
  by matt_don 6/5/2025, 11:19 PMwith 12 comments