back
user profile

matt_d

21,167karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
2 pts
Tracking Capabilities for Safer Agents(arxiv.org)
2mo ago·discuss
2 pts
Scalable Packed Layouts for Vector-Length-Agnostic ML Code Generation(arxiv.org)
2mo ago·discuss
2 pts
Verifying EDA and compiler optimizations once and for all(samuelcoward.co.uk)
2mo ago·discuss
2 pts
StepStone: LLM-Based GPU Kernel Driver Fuzzing via User-Space Libraries [pdf](cs.ucr.edu)
2mo ago·discuss
1 pts
Graded Modal Types for Memory and Communication Safety(kar.kent.ac.uk)
2mo ago·discuss
1 pts
Systems Are Changing: The Architect's Role in the Era of Agentic Co-Design(sigarch.org)
2mo ago·discuss
1 pts
Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic [pdf](cl.cam.ac.uk)
2mo ago·discuss
5 pts
Detecting Relaxed Memory Concurrency Bugs in C and C++ Compilers(lukegeeson.com)
2mo ago·discuss
2 pts
The downgrading semantics of memory safety (Extended version)(arxiv.org)
2mo ago·discuss
1 pts
Direction-Preserving Number Representations(arxiv.org)
2mo ago·discuss
1 pts
On the Unreasonable Effectiveness of PBT for Validating Formal Specifications(proofsandintuitions.net)
2mo ago·discuss
2 pts
Understanding, Analyzing, and Optimizing Agentic AI: A CPU-Centric Perspective(arxiv.org)
2mo ago·discuss
3 pts
Getting Confidence in (Agentic) Code(ucsd-cse-115-215.github.io)
2mo ago·discuss
2 pts
Compute Optimal Tokenization: Scaling Laws for Data Compression in LLMs(co-tok.github.io)
2mo ago·discuss
2 pts
Nitsum: Serving Tiered LLM Requests with Adaptive Tensor Parallelism(mlsys.wuklab.io)
2mo ago·discuss
3 pts
SuperInfer: SLO-Aware Rotary Scheduling and Memory Management for LLM Inference(supercomputing-system-ai-lab.github.io)
2mo ago·discuss
46 pts
KV cache is becoming the memory hierarchy of inference(touchdown-labs.com)
3mo ago·8 comments
1 pts
Ada-MK: Adaptive MegaKernel Optimization via DAG-Based Search for LLM Inference(arxiv.org)
3mo ago·discuss
214 pts
How to Write to SSDs [pdf](vldb.org)
3mo ago·32 comments
2 pts
Scalable GPU Acceleration of Scalar Functions in Analytical Databases [pdf](vldb.org)
3mo ago·discuss
3 pts
The agent principal-agent problem(crawshaw.io)
3mo ago·discuss
2 pts
FrontierSmith: Synthesizing Open-Ended Coding Problems at Scale(frontier-cs.org)
3mo ago·discuss
3 pts
Demystifying the Silence of Correctness Bugs in PyTorch Compiler(arxiv.org)
3mo ago·discuss
4 pts
Fork, Explore, Commit: OS Primitives for Agentic Exploration(arxiv.org)
3mo ago·discuss
1 pts
Systematically Auditing AI Agent Benchmarks with BenchJack(arxiv.org)
3mo ago·discuss
25 pts
mimalloc: A new, high-performance, scalable memory allocator for the modern era(microsoft.com)
3mo ago·2 comments
1 pts
Let AI Agents Write Your Serving Stack with VibeServe(syfi.cs.washington.edu)
3mo ago·discuss
1 pts
TLX: Hardware-Native, Evolvable MIMW GPU Compiler for Large-Scale Production(arxiv.org)
3mo ago·discuss
2 pts
TorchLean: Verified Neural Networks in Lean(robertj1.com)
3mo ago·discuss
298 pts
Deterministic Fully-Static Whole-Binary Translation Without Heuristics(arxiv.org)
3mo ago·65 comments