All
5+
10+
25+
50+
100+
Next >
32
Gluon: a GPU programming language based on the same compiler stack as Triton (github.com/triton-lang)
15 hours ago |
matt_d
| github.com
|
frontpage
1
Machine Scheduler in LLVM – Part I (myhsu.xyz)
a day ago |
matt_d
| myhsu.xyz
|
frontpage
1
Safepoints and Fil-C (fil-c.org)
2 days ago |
matt_d
| fil-c.org
|
newest
2
Simon Peyton Jones: Pursuing a Trick a Long Way, Just to See Where It Goes [video] (youtube.com)
4 days ago |
matt_d
| youtube.com
|
frontpage
3
Faux Type Theory: three minimalist OCaml simple proof checker implementations (github.com/andrejbauer)
5 days ago |
matt_d
| github.com
|
newest
1
Inside vLLM: Anatomy of a High-Throughput LLM Inference System (vllm.ai)
5 days ago |
matt_d
| vllm.ai
|
newest
1
simdjson Version 4.0.0 Released (github.com/simdjson)
6 days ago |
matt_d
| github.com
|
newest
2
Introducing BackendBench: how well LLMs and humans can write PyTorch backends (github.com/meta-pytorch)
a week ago |
matt_d
| github.com
|
newest
2
Rethinking Analytical Processing in the GPU Era (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
2
EUV: Lithography: History, Latest Results, Technology Roadmap [video] (youtube.com)
a week ago |
matt_d
| youtube.com
|
newest
3
Disaggregation: A New Architecture for Cloud Databases (muratbuffalo.blogspot.com)
a week ago |
matt_d
| blogspot.com
|
frontpage
1
GSoC 2025 – Byte Type: Supporting Raw Data Copies in the LLVM IR (llvm.org)
a week ago |
matt_d
| llvm.org
|
newest
1
The Future of Memory: Limits and Opportunities (arxiv.org)
a week ago |
matt_d
| arxiv.org
|
newest
2
Interposing on clone() system calls in-process, from Linux userspace (humprog.org)
a week ago |
matt_d
| humprog.org
|
newest
1
So you want to control flow in PyTorch 2 (ezyang.com)
a week ago |
matt_d
| ezyang.com
|
newest
7
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing (usenix.org)
a week ago |
matt_d
| usenix.org
|
frontpage
46
Evolving the OCaml Programming Language (2025) [pdf] (kcsrk.info)
a week ago |
matt_d
| kcsrk.info
|
best
2
Why ML Needs a New Programming Language – Chris Lattner – Signals and Threads (signalsandthreads.com)
a week ago |
matt_d
| signalsandthreads.com
|
newest
1
vLLM with torch.compile: Efficient LLM inference on PyTorch (vllm.ai)
a week ago |
matt_d
| vllm.ai
|
newest
1
vLLM with torch.compile: Efficient LLM inference on PyTorch (vllm.ai)
a week ago |
matt_d
| vllm.ai
|
newest
2
DaCe AD: Unifying High-Performance Automatic Differentiation for ML and SciComp (arxiv.org)
2 weeks ago |
matt_d
| arxiv.org
|
newest
7
Still Asking: How Good Are Query Optimizers, Really? [pdf] (vldb.org)
2 weeks ago |
matt_d
| vldb.org
|
frontpage
1
Sphinx: A Succinct Perfect Hash Index for x86 [pdf] (vldb.org)
3 weeks ago |
matt_d
| vldb.org
|
newest
3
DialEgg: Dialect-Agnostic MLIR Optimizer Using Equality Saturation with Egglog [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
newest
5
Dependent Types: Universes, or types of types (jonmsterling.com)
3 weeks ago |
matt_d
| jonmsterling.com
|
frontpage
1
Translation Validation for LLVM's AArch64 Back End [pdf] (utah.edu)
3 weeks ago |
matt_d
| utah.edu
|
newest
2
What on Earth Does Pointer Provenance Have to Do with RCU? (kernel.org)
3 weeks ago |
matt_d
| kernel.org
|
newest
1
Adventures in Type Theory 1 – Locally Nameless STLC (Part 1) (tekne.dev)
3 weeks ago |
matt_d
| tekne.dev
|
newest
3
Extending the C/C++ Memory Model with Inline Assembly [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
newest
1
Powerful GPUs or Fast Interconnects: Analyzing Relational Workloads (vldb.org)
3 weeks ago |
matt_d
| vldb.org
|
frontpage
1
How to Optimize SQL Queries? A Comparison [pdf] (vldb.org)
3 weeks ago |
matt_d
| vldb.org
|
newest
2
Which Programming Language Should I Teach First: the least productive question (parentheticallyspeaking.org)
3 weeks ago |
matt_d
| parentheticallyspeaking.org
|
newest
1
10 Myths of Scalable Parallel Languages Part 5: Productivity and Magic Compilers (chapel-lang.org)
3 weeks ago |
matt_d
| chapel-lang.org
|
newest
1
Simplifying&Isolating Failure-Inducing Input: A Retrospective on Delta Debugging (ieee.org)
3 weeks ago |
matt_d
| ieee.org
|
newest
2
A Clash Course in Solving Sudoku (Functional Pearl) [pdf] (unsafeperform.io)
3 weeks ago |
matt_d
| unsafeperform.io
|
frontpage
2
Inter-APU Communication on AMD MI300A Systems via Infinity Fabric: A Deep Dive (arxiv.org)
3 weeks ago |
matt_d
| arxiv.org
|
newest
3
"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
frontpage
1
"When is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video] (youtube.com)
3 weeks ago |
matt_d
| youtube.com
|
newest
2
Cycle-Accurate 8088 Emulation [video] (youtube.com)
4 weeks ago |
matt_d
| youtube.com
|
newest
3
UNIX: A History and a Memoir by Brian Kernighan [video] (youtube.com)
4 weeks ago |
matt_d
| youtube.com
|
newest
1
Specification and Formal Verification of Hardware–Software Contracts (computer.org)
4 weeks ago |
matt_d
| computer.org
|
newest
2
Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs (arxiv.org)
4 weeks ago |
matt_d
| arxiv.org
|
newest
32
[dupe] How to Think About GPUs (jax-ml.github.io)
4 weeks ago |
matt_d
| github.io
|
frontpage
1
Basic dependency injection with objects in OCaml (gr-im.github.io)
4 weeks ago |
matt_d
| github.io
|
newest
1
Invertible Syntax Without the Tuples (Functional Pearl) (arxiv.org)
4 weeks ago |
matt_d
| arxiv.org
|
newest
2
A Python CLI for Verifying Assembly (philipzucker.com)
a month ago |
matt_d
| philipzucker.com
|
newest
3
ARMing GPUs: On the Memory Subsystem of Grace Hopper GH200 [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
1
Numerical Considerations in Weighted Model Counting (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
1
State of torch.compile for training (August 2025) (ezyang.com)
a month ago |
matt_d
| ezyang.com
|
newest
1
Silent Data Corruption by 10x Test Escapes Threatens Reliable Computing (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
frontpage
2
OCaml Blockly (cambridge.org)
a month ago |
matt_d
| cambridge.org
|
newest
3
Binary Search–Think Positive (cambridge.org)
a month ago |
matt_d
| cambridge.org
|
newest
1
Flow Sensitivity Without CFG: An Efficient Andersen-Style Pointer Analysis (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
1
Vector Types and Debug Performance (s-schoener.com)
a month ago |
matt_d
| s-schoener.com
|
newest
1
C++ Exceptions Are Code Compression – Khalil Estell – ACCU 2025 [video] (youtube.com)
a month ago |
matt_d
| youtube.com
|
newest
1
Fast and Efficient Emulation of Matrix Multiplication Using INT8 Matrix Engines (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
8
Analyzing Control Flow More Like a Human [video] (wonks.github.io)
a month ago |
matt_d
| github.io
|
frontpage
4
libsemigroups: C++ library for semigroups and monoids (github.com/libsemigroups)
a month ago |
matt_d
| github.com
|
newest
2
Type Universes as Kripke Worlds (doi.org)
a month ago |
matt_d
| doi.org
|
newest
2
Analysing Snapshot Isolation (muratbuffalo.blogspot.com)
a month ago |
matt_d
| blogspot.com
|
newest
1
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1 (philipzucker.com)
a month ago |
matt_d
| philipzucker.com
|
newest
1
Revisiting Clause Vivification [pdf] (cmu.edu)
a month ago |
matt_d
| cmu.edu
|
newest
3
40th Anniversary International Obfuscated C Code Contest IOCCC28 Winning Entries (ioccc.org)
a month ago |
matt_d
| ioccc.org
|
newest
2
Paralegal: Practical Static Analysis for Privacy Bugs (brown.edu)
a month ago |
matt_d
| brown.edu
|
newest
2
IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers (doi.org)
a month ago |
matt_d
| doi.org
|
newest
1
Training LLMs to Comprehend LLVM IR via Feedback-Driven Optimization (acm.org)
a month ago |
matt_d
| acm.org
|
newest
1
Morty: Scaling Concurrency Control with Re-Execution (muratbuffalo.blogspot.com)
a month ago |
matt_d
| blogspot.com
|
newest
1
tcmalloc's Temeraire: A Hugepage-Aware Allocator (paulcavallaro.com)
a month ago |
matt_d
| paulcavallaro.com
|
newest
98
Test Results for AMD Zen 5 (agner.org)
a month ago |
matt_d
| agner.org
|
best
1
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters (chapel-lang.org)
a month ago |
matt_d
| chapel-lang.org
|
newest
72
Algorithms for Modern Processor Architectures (lemire.github.io)
a month ago |
matt_d
| github.io
|
best
2
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement (ed.ac.uk)
a month ago |
matt_d
| ed.ac.uk
|
newest
1
Semi-Automated Assembly Verification in Python Using Pypcode Semantics (philipzucker.com)
a month ago |
matt_d
| philipzucker.com
|
newest
1
Dissecting the NVIDIA Blackwell Architecture with Microbenchmarks (arxiv.org)
a month ago |
matt_d
| arxiv.org
|
newest
1
Precise Exceptions in Relaxed Architectures (acm.org)
a month ago |
matt_d
| acm.org
|
newest
1
Losing language features: some stories about disjoint unions (graydon2.dreamwidth.org)
a month ago |
matt_d
| dreamwidth.org
|
newest
1
BeePL: Correct-by-Compilation Kernel Extensions (arxiv.org)
2 months ago |
matt_d
| arxiv.org
|
frontpage
1
Caches and Abstractions (parallelprogrammer.substack.com)
2 months ago |
matt_d
| substack.com
|
newest
1
Formal Security & Verification of Cryptographic Protocol Implementations in Rust (iacr.org)
2 months ago |
matt_d
| iacr.org
|
newest
2
Types That Count: Journey across Qualitative and Quantitative Intersection Types (unito.it)
2 months ago |
matt_d
| unito.it
|
newest
2
Functional Abstract Interpretation (peytonjones.org)
2 months ago |
matt_d
| peytonjones.org
|
newest
8
Clang: -Wexperimental-lifetime-safety: Experimental C++ Lifetime Safety Analysis (github.com/llvm)
2 months ago |
matt_d
| github.com
|
frontpage
1
Good Fun: Creating a Data-Oriented Parser/AST/Visitor Generator – DConf '24 [video] (youtube.com)
2 months ago |
matt_d
| youtube.com
|
newest
2
Rex: Closing the language-verifier gap with safe and usable kernel extensions (usenix.org)
2 months ago |
matt_d
| usenix.org
|
newest
1
PLDI 2025 coverage released: over 200 talks (youtube.com)
2 months ago |
matt_d
| youtube.com
|
newest
8
Binding Application in Idris (andrevidela.com)
2 months ago |
matt_d
| andrevidela.com
|
frontpage
1
Finding Compiler Bugs: Cross-Language Code Generator and Differential Testing (arxiv.org)
2 months ago |
matt_d
| arxiv.org
|
newest
1
RVISmith: Fuzzing Compilers for RVV (RISC-V Vector Extension) Intrinsics (arxiv.org)
2 months ago |
matt_d
| arxiv.org
|
newest
1
Bin2Wrong: Fuzzing Binary Decompilers (github.com/futureslab)
2 months ago |
matt_d
| github.com
|
newest
3
Oregon Programming Languages Summer School (OPLSS) 2025: Lectures (uoregon.edu)
2 months ago |
matt_d
| uoregon.edu
|
newest
4
A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas for C (thephd.dev)
2 months ago |
matt_d
| thephd.dev
|
frontpage
1
WebAssembly: How Low Can a Bytecode Go? (acm.org)
2 months ago |
matt_d
| acm.org
|
newest
2
Koala: A benchmark suite for performance-oriented shell-optimization research (github.com/kbensh)
2 months ago |
matt_d
| github.com
|
frontpage
2
Evaluating the Effectiveness of Memory Safety Sanitizers (computer.org)
2 months ago |
matt_d
| computer.org
|
newest
2
Anarchy in the Database: A Survey and Evaluation of DBMS Extensibility [pdf] (vldb.org)
2 months ago |
matt_d
| vldb.org
|
newest
2
2025 AsiaLLVM Developers' Meeting Talks (youtube.com)
2 months ago |
matt_d
| youtube.com
|
newest
2
A mostly allocation-free optional type (joachim-breitner.de)
2 months ago |
matt_d
| joachim-breitner.de
|
newest
1
On the Feasibility of Deduplicating Compiler Bugs with Bisection (arxiv.org)
2 months ago |
matt_d
| arxiv.org
|
newest
18
GPEmu: A GPU emulator for rapid, low-cost deep learning prototyping [pdf] (vldb.org)
2 months ago |
matt_d
| vldb.org
|
best
1
TYPES 2025: The 31st International Conference on Types for Proofs and Programs (strath.ac.uk)
3 months ago |
matt_d
| strath.ac.uk
|
frontpage
Next >