matt_d

9 ms·

211.
Triton Plugin Extensions: Enabling TLX and Custom Compiler Passes Out of the Box(pytorch.org)
3 points by matt_d 3mo ago|0 comments
212.
What If the Harness Comes Before Pretraining? A Data Flywheel Perspective(hanchenli.github.io)
2 points by matt_d 3mo ago|0 comments
213.
Mimesys: Turn Resource Usage Traces into Executable Workloads(usenix.org)
3 points by matt_d 3mo ago|1 comments
214.
by matt_d 3mo ago
GitHub repo: https://github.com/ldos-project/mimesys
215.
by matt_d 3mo ago
Part 1: https://www.humprog.org/%7Estephen/blog/research/system-call...
216.
System call instrumentation on Linux/x86-64 using memory-indirect calls(humprog.org)
2 points by matt_d 3mo ago|1 comments
217.
Bidirectional Elaborators à la Carte(arxiv.org)
4 points by matt_d 3mo ago|0 comments
218.
CTA-Pipelining: A Latency-Oriented Spatial Scaling Method for Multi-GPU Systems(arxiv.org)
2 points by matt_d 3mo ago|0 comments
219.
AI Model Co-Design: Hardware-Friendly LLM Design(developer.nvidia.com)
2 points by matt_d 3mo ago|0 comments
220.
Towards Free Normalization: Fusing Normalization into GEMM and Attention Kernels(pytorch.org)
2 points by matt_d 3mo ago|0 comments
221.
Negotiating AI in Open Source Software Communities: A Case Study of LLVM Project(gupea.ub.gu.se)
2 points by matt_d 3mo ago|0 comments
222.
Reducing HBM Bottlenecks in JAX-Based LLM Training with Host Offloading(developer.nvidia.com)
2 points by matt_d 3mo ago|0 comments
223.
Compiler Testing – Part 2: Metamorphic Testing with Verified Identities(nowarp.io)
2 points by matt_d 3mo ago|0 comments
224.
What Every Python Developer Should Know About the CPython ABI(labs.quansight.org)
74 points by matt_d 3mo ago|7 comments
225.
A CIRCT (Circuit IR Compilers and Tools) Project Tutorial(samuelcoward.co.uk)
1 points by matt_d 3mo ago|0 comments
226.
Lifting Terms: Making Well Scoped Syntax Dumber(philipzucker.com)
1 points by matt_d 3mo ago|0 comments
227.
Sheaves in Haskell(tweag.io)
2 points by matt_d 3mo ago|0 comments
228.
Writing static checks to an unsuspecting library with Liquid Haskell(tweag.io)
2 points by matt_d 3mo ago|0 comments
229.
Harvesting Sub-Microsecond CXL Memory Stalls with LiteSwitch(usenix.org)
1 points by matt_d 3mo ago|0 comments
230.
Formally Verifying AI-Generated GPU Kernels(gimletlabs.ai)
3 points by matt_d 3mo ago|0 comments
231.
Occupancy Math on the AMD MI355X GPU (CDNA4): A From-First-Principles Guide(rocm.blogs.amd.com)
3 points by matt_d 3mo ago|0 comments
232.
Intelligence Is Free, Now What? Data Systems For, Of, and by Agents(bair.berkeley.edu)
4 points by matt_d 3mo ago|1 comments
233.
Binvariants: Register-Level Invaraint-Guided Fuzzing for Binaries(github.com)
2 points by matt_d 3mo ago|0 comments
234.
PuzzleMoE: Efficient Compression of Large Mixture-of-Experts Models(supercomputing-system-ai-lab.github.io)
2 points by matt_d 3mo ago|0 comments
235.
Ekka: Automated Diagnosis of Silent Errors in LLM Inference(syfi.cs.washington.edu)
2 points by matt_d 3mo ago|0 comments
236.
Architecture 2.0: Designing AI-Assisted Loops for Computing Systems(arch2.mlsysbook.ai)
2 points by matt_d 3mo ago|0 comments
237.
Beyond Prediction: Tail-Aware Scheduling for LLM Inference(yl3469.github.io)
2 points by matt_d 3mo ago|0 comments
238.
SOLAR: AI-Powered Speed-of-Light Performance Analysis(arxiv.org)
2 points by matt_d 3mo ago|0 comments
239.
The Verification Horizon: No Silver Bullet for Coding Agent Rewards(arxiv.org)
2 points by matt_d 3mo ago|0 comments
240.
Binary Coverage the Wrong Way(redvice.org)
10 points by matt_d 3mo ago|1 comments

More ›