matt_d

10 ms·

391.
You don't need all the LLM benchmarks(alex.smola.org)
4 points by matt_d 5mo ago|0 comments
392.
Elusive order of async GPU kernels: scheduling, abstractions, DSL implications(ianbarber.blog)
1 points by matt_d 5mo ago|0 comments
393.
MileStone: A Multi-Objective Compiler Phase Ordering Framework(arxiv.org)
1 points by matt_d 5mo ago|0 comments
394.
SSV: Sparse Speculative Verification for Efficient LLM Inference(arxiv.org)
4 points by matt_d 5mo ago|0 comments
395.
Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection(arxiv.org)
2 points by matt_d 5mo ago|0 comments
396.
Characterization of machine learning compilers for LLM inference on NVIDIA GPUs(link.springer.com)
3 points by matt_d 5mo ago|0 comments
397.
Chip design from the bottom up – Reiner Pope [video](youtube.com)
2 points by matt_d 5mo ago|0 comments
398.
LT2: Linear-Time Looped Transformers(charlesdddd.github.io)
2 points by matt_d 5mo ago|0 comments
399.
Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel(arxiv.org)
6 points by matt_d 5mo ago|0 comments
400.
PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Apps(arxiv.org)
1 points by matt_d 5mo ago|0 comments
401.
CODA: Rewriting Transformer Blocks as GEMM-Epilogue Programs(arxiv.org)
105 points by matt_d 5mo ago|12 comments
402.
[RFC] Open Access to Standards Documents – LLVM Project(discourse.llvm.org)
6 points by matt_d 5mo ago|0 comments
403.
Curly braces: An evolution of UNIX and C(thalia.dev)
6 points by matt_d 5mo ago|2 comments
404.
NanoTag: Systems Support for Efficient Byte-Granular Overflow Detection on Arm(github.com)
2 points by matt_d 5mo ago|0 comments
405.
InferenceBench: A Benchmark for Open-Ended Inference Optimization by AI Agents(inferencebench.ai)
2 points by matt_d 5mo ago|0 comments
406.
Tracking Capabilities for Safer Agents(arxiv.org)
2 points by matt_d 5mo ago|0 comments
407.
Scalable Packed Layouts for Vector-Length-Agnostic ML Code Generation(arxiv.org)
2 points by matt_d 5mo ago|0 comments
408.
Verifying EDA and compiler optimizations once and for all(samuelcoward.co.uk)
2 points by matt_d 5mo ago|0 comments
409.
StepStone: LLM-Based GPU Kernel Driver Fuzzing via User-Space Libraries [pdf](cs.ucr.edu)
2 points by matt_d 5mo ago|0 comments
410.
Graded Modal Types for Memory and Communication Safety(kar.kent.ac.uk)
1 points by matt_d 5mo ago|0 comments
411.
Systems Are Changing: The Architect's Role in the Era of Agentic Co-Design(sigarch.org)
1 points by matt_d 5mo ago|0 comments
412.
Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic [pdf](cl.cam.ac.uk)
1 points by matt_d 5mo ago|0 comments
413.
Detecting Relaxed Memory Concurrency Bugs in C and C++ Compilers(lukegeeson.com)
5 points by matt_d 5mo ago|0 comments
414.
The downgrading semantics of memory safety (Extended version)(arxiv.org)
2 points by matt_d 5mo ago|0 comments
415.
Direction-Preserving Number Representations(arxiv.org)
1 points by matt_d 5mo ago|0 comments
416.
On the Unreasonable Effectiveness of PBT for Validating Formal Specifications(proofsandintuitions.net)
1 points by matt_d 5mo ago|0 comments
417.
Understanding, Analyzing, and Optimizing Agentic AI: A CPU-Centric Perspective(arxiv.org)
2 points by matt_d 5mo ago|0 comments
418.
Getting Confidence in (Agentic) Code(ucsd-cse-115-215.github.io)
3 points by matt_d 5mo ago|0 comments
419.
Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs(co-tok.github.io)
2 points by matt_d 5mo ago|0 comments
420.
Nitsum: Serving Tiered LLM Requests with Adaptive Tensor Parallelism(mlsys.wuklab.io)
2 points by matt_d 5mo ago|0 comments

More ›