1 pts|4 hours ago|discuss
user: matt_d
18961 karma | created 12 years ago
recent submissions
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
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
1 pts|1 day ago|discuss
Metamorphic Testing for Infrastructure-as-Code Engines [pdf]
(programming-group.com)
2 pts|3 days ago|discuss
3 days ago|discuss
1 pts|3 days ago|1 comment
1 pts|3 days ago|discuss
Testing "Raw" GPU Cache Latency
(clamtech.org)
2 pts|4 days ago|discuss
3 pts|5 days ago|1 comment
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