matt_d

14 ms·

451.
CommFuse: Hiding Tail Latency via Communication Decomposition and Fusion(arxiv.org)
5 points by matt_d 6mo ago|0 comments
452.
SPEC CPU: The Next Generation(arxiv.org)
3 points by matt_d 6mo ago|0 comments
453.
Persistent Iterators with Value Semantics(arxiv.org)
2 points by matt_d 6mo ago|0 comments
454.
Continual Learning Bench 1.0(continual-learning-bench.com)
3 points by matt_d 6mo ago|0 comments
455.
The Valley of Calm(blog.joemag.dev)
6 points by matt_d 6mo ago|0 comments
456.
The Static Dynamic JVM – A Many Layered Dive [video](youtube.com)
2 points by matt_d 6mo ago|1 comments
457.
Learning Randomized Reductions(arxiv.org)
2 points by matt_d 6mo ago|0 comments
458.
Metastability in Recovery: Cascading Recovery with a Loop(charap.co)
3 points by matt_d 6mo ago|0 comments
459.
How the JVM Optimizes Generic Code – A Deep Dive(inside.java)
4 points by matt_d 6mo ago|0 comments
460.
Tessera: Unlocking Heterogeneous GPUs Through Kernel-Granularity Disaggregation(arxiv.org)
1 points by matt_d 6mo ago|0 comments
461.
by matt_d 6mo ago
Blog post: https://www.rabdos.ai/research/introducing-mathduels-ai Leaderboard: https://mathduels.ai/
462.
MathDuels: Evaluating LLMs as Problem Posers and Solvers(arxiv.org)
2 points by matt_d 6mo ago|1 comments
463.
Kernel Contracts: A Spec. Language for Correctness Across Heterogeneous Silicon(arxiv.org)
1 points by matt_d 6mo ago|0 comments
464.
Revealing NVIDIA Driver Command Streams for CPU-GPU Runtime Behavior Insight(arxiv.org)
2 points by matt_d 6mo ago|0 comments
465.
Guardians: Static verification for AI agent workflows(github.com)
2 points by matt_d 6mo ago|0 comments
466.
Fast GPU Linear Algebra via Compile Time Expression Fusion(arxiv.org)
12 points by matt_d 6mo ago|0 comments
467.
The AI Compute Extensions (ACE) for x86 [pdf](x86ecosystem.org)
3 points by matt_d 6mo ago|0 comments
468.
Finding and Understanding Bugs in FPGA Place-and-Route Engines [video](youtube.com)
2 points by matt_d 6mo ago|0 comments
469.
AutoSP: Long-Context LLM Training via Compiler-Based Sequence Parallelism(pytorch.org)
1 points by matt_d 6mo ago|0 comments
470.
Partial UDF Inlining(doi.org)
2 points by matt_d 6mo ago|0 comments
471.
From Convergence to Confidence: Push-Button Verification for RDTs(kcsrk.info)
11 points by matt_d 6mo ago|0 comments
472.
Low-Compilation-Cost Register Allocation in LLVM-Based Binary Translation(dl.acm.org)
71 points by matt_d 6mo ago|4 comments
473.
AdaExplore: Search for Efficient Kernel Generation(stiglidu.github.io)
2 points by matt_d 6mo ago|0 comments
474.
vLLM-Compile: Bringing Compiler Optimizations to LLM Inference(docs.google.com)
1 points by matt_d 6mo ago|0 comments
475.
Evaluating CUDA Tile for AI Workloads on Hopper and Blackwell GPUs(arxiv.org)
2 points by matt_d 6mo ago|0 comments
476.
Compiler Testing – Part 1: Coverage-Guided Fuzzing with Grammars and LLMs(nowarp.io)
2 points by matt_d 6mo ago|0 comments
477.
Disaggregated Serving for Hybrid SSM Models in vLLM(vllm-website-lx4pji0mz-inferact-inc.vercel.app)
1 points by matt_d 6mo ago|0 comments
478.
Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6(pocketcasts.com)
2 points by matt_d 6mo ago|0 comments
479.
Barbara Liskov, Turing Award'08: Data Abstraction, Dijkstra, Distributed Systems(developing.dev)
3 points by matt_d 6mo ago|0 comments
480.
Guess-Verify-Refine: Data-Aware Top-K for Sparse-Attention Decoding on Blackwell(arxiv.org)
4 points by matt_d 6mo ago|1 comments

More ›