back
user profile

matt_d

21,168karma·3,275submissions·April 21, 2014
recent activity (3,275 total)
3 pts
Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using LLMs(arxiv.org)
5mo ago·discuss
3 pts
Custom Data Structures in E-Graphs(uwplse.org)
5mo ago·discuss
2 pts
Formal Verification in the Age of AI(verse.systems)
5mo ago·1 comments
4 pts
CuTe Layout Representation and Algebra(arxiv.org)
5mo ago·discuss
2 pts
Bespoke OLAP: Synthesizing Workload-Specific One-Size-Fits-One Database Engines(arxiv.org)
5mo ago·discuss
3 pts
SkyDiscover: A Flexible Framework for AI-Driven Sci. and Algorithmic Discovery(skydiscover-ai.github.io)
5mo ago·discuss
4 pts
Silent Backwards Compatibility Breaking Changes in PyTorch(blog.ezyang.com)
5mo ago·1 comments
3 pts
Building an Open-Source Verilog Simulator with AI: 580K Lines in 43 Days(normalcomputing.com)
5mo ago·discuss
2 pts
AgentCgroup: Understanding and Controlling OS Resources of AI Agents(github.com)
5mo ago·discuss
2 pts
Equality Saturation for Circuit Synthesis and Verification(spiral.imperial.ac.uk)
5mo ago·discuss
2 pts
An Introduction to Folios(blogs.oracle.com)
5mo ago·discuss
2 pts
Perplexity Cannot Always Tell Right from Wrong(ianbarber.blog)
5mo ago·discuss
1 pts
Ganak: The Making of a Versatile, High Performance Model Counter(msoos.org)
5mo ago·discuss
104 pts
TorchLean: Formalizing Neural Networks in Lean(leandojo.org)
5mo ago·20 comments
1 pts
Fast Autoscheduling for Sparse ML Frameworks(fredrikbk.com)
5mo ago·discuss
1 pts
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)(ndss-symposium.org)
5mo ago·discuss
1 pts
A Reinforcement Learning Environment for Automatic Code Optimization in MLIR(arxiv.org)
5mo ago·discuss
2 pts
Metamorphic Testing for Infrastructure-as-Code Engines [pdf](programming-group.com)
5mo ago·discuss
comment
Repo: K-Search: LLM-Driven GPU Kernel Optimization with Co-Evolving Intrinsic World Model, https://github.com/caoshiyi/K-Search > K-Search is an automated kernel engineering s…
5mo ago·view thread
2 pts
K-Search: LLM Kernel Generation via Co-Evolving Intrinsic World Model(arxiv.org)
5mo ago·1 comments
1 pts
Midtraining Bridges Pretraining and Posttraining Distributions(arxiv.org)
5mo ago·discuss
2 pts
Testing "Raw" GPU Cache Latency(clamtech.org)
5mo ago·discuss
3 pts
Hexagon-MLIR: An AI Compilation Stack for Qualcomm's NPUs(arxiv.org)
5mo ago·1 comments
1 pts
Analyzing Latency Hiding and Parallelism in an MLIR-Based AI Kernel Compiler(arxiv.org)
5mo ago·discuss
1 pts
Argus: Automated Discovery of Test Oracles for DBMSs Using LLMs(joyemang33.github.io)
5mo ago·discuss
4 pts
A Decade of Docker Containers(cacm.acm.org)
5mo ago·discuss
1 pts
In Pursuit of High-Fidelity GPU Kernel Benchmarking(standardkernel.com)
5mo ago·discuss
3 pts
From ASPLOS to Orbit: Unikernels Twelve Years Later(gazagnaire.org)
5mo ago·discuss
2 pts
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean(utopia-group.github.io)
5mo ago·discuss
2 pts
CSLib: The Lean Computer Science Library(arxiv.org)
5mo ago·discuss