back
user profile

matt_d

21,160karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
5 pts
SPIR-V on ROCm: A Portable IR for AMD GPUs(rocm.blogs.amd.com)
27d ago·2 comments
1 pts
GEMM Performance Measurement Methodology Guidelines(docs.nvidia.com)
27d ago·discuss
1 pts
Faster Algorithms for Structured Matrix Multiplication via Flip Graph Search(dl.acm.org)
27d ago·discuss
3 pts
AI for Systems is "AGI-Complete"(dl.acm.org)
28d ago·discuss
1 pts
Controlling Reasoning Effort in LLMs(magazine.sebastianraschka.com)
29d ago·discuss
4 pts
Making TLA+ and x86 Kiss via Z3Py(philipzucker.com)
1mo ago·discuss
3 pts
Irreducible Loops(maskray.me)
1mo ago·discuss
10 pts
Fleet: Hierarchical Task-Based Abstraction for Megakernels on Multi-Die GPUs(arxiv.org)
1mo ago·1 comments
10 pts
Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs(dl.acm.org)
1mo ago·discuss
2 pts
Locality-Aware Automatic Differentiation on the GPU for Mesh-Based Computations(dl.acm.org)
1mo ago·discuss
3 pts
Triton Plugin Extensions: Enabling TLX and Custom Compiler Passes Out of the Box(pytorch.org)
1mo ago·discuss
2 pts
What If the Harness Comes Before Pretraining? A Data Flywheel Perspective(hanchenli.github.io)
1mo ago·discuss
comment
GitHub repo: https://github.com/ldos-project/mimesys
1mo ago·view thread
3 pts
Mimesys: Turn Resource Usage Traces into Executable Workloads(usenix.org)
1mo ago·1 comments
comment
Part 1: https://www.humprog.org/%7Estephen/blog/research/system-call... …
1mo ago·view thread
2 pts
System call instrumentation on Linux/x86-64 using memory-indirect calls(humprog.org)
1mo ago·1 comments
4 pts
Bidirectional Elaborators à la Carte(arxiv.org)
1mo ago·discuss
2 pts
CTA-Pipelining: A Latency-Oriented Spatial Scaling Method for Multi-GPU Systems(arxiv.org)
1mo ago·discuss
2 pts
AI Model Co-Design: Hardware-Friendly LLM Design(developer.nvidia.com)
1mo ago·discuss
2 pts
Towards Free Normalization: Fusing Normalization into GEMM and Attention Kernels(pytorch.org)
1mo ago·discuss
2 pts
Negotiating AI in Open Source Software Communities: A Case Study of LLVM Project(gupea.ub.gu.se)
1mo ago·discuss
2 pts
Reducing HBM Bottlenecks in JAX-Based LLM Training with Host Offloading(developer.nvidia.com)
1mo ago·discuss
2 pts
Compiler Testing – Part 2: Metamorphic Testing with Verified Identities(nowarp.io)
1mo ago·discuss
74 pts
What Every Python Developer Should Know About the CPython ABI(labs.quansight.org)
1mo ago·7 comments
1 pts
A CIRCT (Circuit IR Compilers and Tools) Project Tutorial(samuelcoward.co.uk)
1mo ago·discuss
1 pts
Lifting Terms: Making Well Scoped Syntax Dumber(philipzucker.com)
1mo ago·discuss
2 pts
Sheaves in Haskell(tweag.io)
1mo ago·discuss
2 pts
Writing static checks to an unsuspecting library with Liquid Haskell(tweag.io)
1mo ago·discuss
1 pts
Harvesting Sub-Microsecond CXL Memory Stalls with LiteSwitch(usenix.org)
1mo ago·discuss
3 pts
Formally Verifying AI-Generated GPU Kernels(gimletlabs.ai)
1mo ago·discuss