user: matt_d

18961 karma | created 12 years ago

recent submissions

AgentCgroup: Understanding and Controlling OS Resources of AI Agents (github.com)

1 pts|4 hours ago|discuss

Equality Saturation for Circuit Synthesis and Verification (spiral.imperial.ac.uk)

2 pts|7 hours ago|discuss

An Introduction to Folios (blogs.oracle.com)

2 pts|7 hours ago|discuss

Perplexity Cannot Always Tell Right from Wrong (ianbarber.blog)

2 pts|1 day ago|discuss

Ganak: The Making of a Versatile, High Performance Model Counter (msoos.org)

1 pts|1 day ago|discuss

TorchLean: Formalizing Neural Networks in Lean (leandojo.org)

2 pts|1 day ago|discuss

Fast Autoscheduling for Sparse ML Frameworks (fredrikbk.com)

1 pts|1 day ago|discuss

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report) (ndss-symposium.org)

1 pts|1 day ago|discuss

A Reinforcement Learning Environment for Automatic Code Optimization in MLIR (arxiv.org)

1 pts|1 day ago|discuss

Metamorphic Testing for Infrastructure-as-Code Engines [pdf] (programming-group.com)

2 pts|3 days ago|discuss

(no title)

3 days ago|discuss

K-Search: LLM Kernel Generation via Co-Evolving Intrinsic World Model (arxiv.org)

1 pts|3 days ago|1 comment

Midtraining Bridges Pretraining and Posttraining Distributions (arxiv.org)

1 pts|3 days ago|discuss

Testing "Raw" GPU Cache Latency (clamtech.org)

2 pts|4 days ago|discuss

Hexagon-MLIR: An AI Compilation Stack for Qualcomm's NPUs (arxiv.org)

3 pts|5 days ago|1 comment

Analyzing Latency Hiding and Parallelism in an MLIR-Based AI Kernel Compiler (arxiv.org)

1 pts|5 days ago|discuss

Argus: Automated Discovery of Test Oracles for DBMSs Using LLMs (joyemang33.github.io)

1 pts|5 days ago|discuss

A Decade of Docker Containers (cacm.acm.org)

3 pts|5 days ago|discuss

In Pursuit of High-Fidelity GPU Kernel Benchmarking (standardkernel.com)

1 pts|5 days ago|discuss

From ASPLOS to Orbit: Unikernels Twelve Years Later (gazagnaire.org)

3 pts|6 days ago|discuss