▲ 44 r/programming
A blueprint for formal verification of Apple corecrypto
security.apple.comu/mttd — 10 hours ago
u/mttd
▲ 9 r/Compilers
Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel
arxiv.orgu/mttd — 10 hours ago
▲ 122 r/cpp
[RFC] Open Access to Standards Documents - LLVM Project
discourse.llvm.orgu/mttd — 2 days ago
▲ 0 r/Compilers
Scalable Packed Layouts for Vector-Length-Agnostic ML Code Generation
arxiv.orgu/mttd — 3 days ago
▲ 7 r/Compilers
Verifying EDA and compiler optimizations once and for all
samuelcoward.co.uku/mttd — 3 days ago
Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows
cl.cam.ac.uku/mttd — 3 days ago
▲ 2 r/Compilers
Detecting Relaxed Memory Concurrency Bugs in C and C++ Compilers
lukegeeson.comu/mttd — 3 days ago
▲ 9 r/Compilers
Scalable GPU Acceleration of Scalar Functions in Analytical Databases: Compilation, Benchmarking, and Optimization
vldb.orgu/mttd — 7 days ago
▲ 175 r/programming
mimalloc: A new, high-performance, scalable memory allocator for the modern era
microsoft.comu/mttd — 8 days ago
▲ 6 r/Compilers
TLX: Hardware-Native, Evolvable MIMW GPU Compiler for Large-scale Production Environments
arxiv.orgu/mttd — 10 days ago
▲ 13 r/Compilers
Deterministic Fully-Static Whole-Binary Translation without Heuristics
arxiv.orgu/mttd — 10 days ago