matt_d

27 ms·

661.
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)(ndss-symposium.org)
1 points by matt_d 8mo ago|0 comments
662.
A Reinforcement Learning Environment for Automatic Code Optimization in MLIR(arxiv.org)
1 points by matt_d 8mo ago|0 comments
663.
Metamorphic Testing for Infrastructure-as-Code Engines [pdf](programming-group.com)
2 points by matt_d 8mo ago|0 comments
664.
by matt_d 8mo ago
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 system that uses large language models (G
665.
K-Search: LLM Kernel Generation via Co-Evolving Intrinsic World Model(arxiv.org)
2 points by matt_d 8mo ago|1 comments
666.
Midtraining Bridges Pretraining and Posttraining Distributions(arxiv.org)
1 points by matt_d 8mo ago|0 comments
667.
Testing "Raw" GPU Cache Latency(clamtech.org)
2 points by matt_d 8mo ago|0 comments
668.
Hexagon-MLIR: An AI Compilation Stack for Qualcomm's NPUs(arxiv.org)
3 points by matt_d 8mo ago|1 comments
669.
Analyzing Latency Hiding and Parallelism in an MLIR-Based AI Kernel Compiler(arxiv.org)
1 points by matt_d 8mo ago|0 comments
670.
Argus: Automated Discovery of Test Oracles for DBMSs Using LLMs(joyemang33.github.io)
1 points by matt_d 8mo ago|0 comments
671.
A Decade of Docker Containers(cacm.acm.org)
4 points by matt_d 8mo ago|0 comments
672.
In Pursuit of High-Fidelity GPU Kernel Benchmarking(standardkernel.com)
1 points by matt_d 8mo ago|0 comments
673.
From ASPLOS to Orbit: Unikernels Twelve Years Later(gazagnaire.org)
3 points by matt_d 8mo ago|0 comments
674.
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean(utopia-group.github.io)
2 points by matt_d 8mo ago|0 comments
675.
CSLib: The Lean Computer Science Library(arxiv.org)
2 points by matt_d 8mo ago|0 comments
676.
by matt_d 8mo ago
Paper: https://doi.org/10.1145/3695053.3731011 PDF: https://dl.acm.org/doi/pdf/10.1145/3695053.3731011 Abstract: This paper introduces Heliostat, which enhances page translation bandwidt
677.
Heliostat: Harnessing Ray Tracing Accelerators for Page Table Walks – ISCA 2025 [video](youtube.com)
2 points by matt_d 8mo ago|1 comments
678.
LDOS: Toward a Learning-Directed Operating System(sigops.org)
3 points by matt_d 8mo ago|0 comments
679.
GenAI for Systems: Recurring Challenges&Design Principles from SW to Silicon(arxiv.org)
2 points by matt_d 8mo ago|0 comments
680.
by matt_d 8mo ago
Paper (PDF): https://2plus2a.com/files/publications/2025-ISCA-precise-exc... , https://2plus2a.com/publications/errata#exc-isca25 DOI: https://doi.org/10.1145/3695053.3731
681.
Precise exceptions in relaxed architectures [video](youtube.com)
2 points by matt_d 8mo ago|1 comments
682.
BitFields API: Type-Safe Bit Packing for Lock-Free Data Structures(rocksdb.org)
1 points by matt_d 8mo ago|0 comments
683.
by matt_d 8mo ago
Some highlights (by Stuart Sul): > Tensor core and memory pipelining: it turns out some tensor core instructions are implicitly pipelined, without proper documentation. Identifying these implicit semantics and the resulting pipelining ta
684.
ThunderKittens 2.0: Even Faster Kernels for Your GPUs(hazyresearch.stanford.edu)
3 points by matt_d 8mo ago|2 comments
685.
Proof Assistants in the Age of AI(leodemoura.github.io)
1 points by matt_d 8mo ago|0 comments
686.
Open Source Software Projects Are Brands(reidkleckner.dev)
2 points by matt_d 8mo ago|0 comments
687.
Evaluating the Hardest CS Problems in the Age of LLMs(frontier-cs.org)
1 points by matt_d 8mo ago|0 comments
688.
SE Radio 708: Jens Gustedt on C in 2026(se-radio.net)
16 points by matt_d 8mo ago|1 comments
689.
Spaghetti Bench: Evaluating AI Agents on Concurrency Bug Fixes(pastalab.org)
1 points by matt_d 8mo ago|0 comments
690.
Computer Science as Infrastructure: The Spine of the Lean CSLib(arxiv.org)
2 points by matt_d 8mo ago|0 comments

More ›