back
user profile

matt_d

21,168karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
2 pts
CounterPoint: Using Hardware Counters to Refute and Refine µarch Assumptions(arxiv.org)
4mo ago·discuss
2 pts
PivotRL: High Accuracy Agentic Post-Training at Low Compute Cost(arxiv.org)
4mo ago·discuss
5 pts
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems(muratbuffalo.blogspot.com)
4mo ago·discuss
2 pts
What Is Coordination, Really?(jhellerstein.github.io)
4mo ago·discuss
1 pts
Idempotent Slices with Applications to Code-Size Reduction(arxiv.org)
4mo ago·discuss
3 pts
Microsoft Rust Training Books: Beginner, advanced, expert level material(github.com)
4mo ago·discuss
3 pts
LUMINA: LLM-Guided GPU Architecture Exploration via Bottleneck Analysis(arxiv.org)
4mo ago·discuss
2 pts
Challenges and Design Issues in Finding CUDA Bugs via GPU-Native Fuzzing(arxiv.org)
4mo ago·discuss
1 pts
SEVI: Silent Data Corruption of Vector Instructions in Hyper-Scale Datacenters(dl.acm.org)
4mo ago·discuss
2 pts
CrypTorch: PyTorch-based Auto-tuning Compiler for ML w/ Multi-party Computation(github.com)
4mo ago·discuss
3 pts
SOL-ExecBench: Speed-of-Light Benchmarking for Real-World GPU Kernels(arxiv.org)
4mo ago·discuss
68 pts
Tony Hoare and His Imprint on Computer Science(cacm.acm.org)
4mo ago·4 comments
2 pts
The End of Dijkstra's Algorithm? Breaking the Sorting Barrier for Shortest Paths [video](youtube.com)
4mo ago·discuss
2 pts
AlgoVeri: An Aligned Benchmark for Verified Code Gen. On Classical Algorithms(arxiv.org)
4mo ago·discuss
2 pts
Specy: Learning Specifications for Distributed Systems from Event Traces [pdf](cs.princeton.edu)
4mo ago·discuss
1 pts
Generalized Dot-Product Attention: Tackling Real-World Challenges in GPU Kernels(pytorch.org)
5mo ago·discuss
2 pts
M^2RNN: Non-Linear RNNs with Matrix-Valued States for Scalable Language Modeling(arxiv.org)
5mo ago·discuss
1 pts
Tools of the Trade: C2C Activation Offloading on Grace Blackwell(poolside.ai)
5mo ago·discuss
99 pts
EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages(esolang-bench.vercel.app)
5mo ago·59 comments
1 pts
Speed-Of-Light ExecBench: A benchmark of real-world DL kernel problems(github.com)
5mo ago·discuss
2 pts
Equality Saturation and Symbolic Regression(egraphs.org)
5mo ago·discuss
3 pts
NCCL EP: Towards a Unified Expert Parallel Communication API for NCCL(arxiv.org)
5mo ago·discuss
35 pts
Vectorization of Verilog Designs and its Effects on Verification and Synthesis(arxiv.org)
5mo ago·6 comments
2 pts
LATTE ’26: Workshop on Languages, Tools, and Techniques for Accelerator Design(capra.cs.cornell.edu)
5mo ago·discuss
4 pts
Read Less, Steer More(blog.ezyang.com)
5mo ago·discuss
2 pts
The Data Structures of Roads(sandboxspirit.com)
5mo ago·discuss
4 pts
Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory(proofsandintuitions.net)
5mo ago·1 comments
6 pts
Real or Slop? – Programming Languages Papers Edition(slop.zackg.me)
5mo ago·2 comments
300 pts
Mamba-3(together.ai)
5mo ago·55 comments
1 pts
EvoX: Letting AI Evolve Its Own Evolution Process(skydiscover-ai.github.io)
5mo ago·discuss