▲ 44 r/programmingA blueprint for formal verification of Apple corecryptosecurity.apple.com u/mttd — 10 hours ago
▲ 9 r/CompilersEvent Tensor: A Unified Abstraction for Compiling Dynamic Megakernelarxiv.org u/mttd — 10 hours ago
▲ 122 r/cpp[RFC] Open Access to Standards Documents - LLVM Projectdiscourse.llvm.org u/mttd — 2 days ago
▲ 0 r/CompilersScalable Packed Layouts for Vector-Length-Agnostic ML Code Generationarxiv.org u/mttd — 3 days ago
▲ 7 r/CompilersVerifying EDA and compiler optimizations once and for allsamuelcoward.co.uk u/mttd — 3 days ago
▲ 21 r/ProgrammingLanguagesGraded Modal Types for Memory and Communication Safetykar.kent.ac.uk u/mttd — 3 days ago
▲ 2 r/ProgrammingLanguagesCode-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflowscl.cam.ac.uk u/mttd — 3 days ago
▲ 2 r/CompilersDetecting Relaxed Memory Concurrency Bugs in C and C++ Compilerslukegeeson.com u/mttd — 3 days ago
▲ 10 r/ProgrammingLanguagesThe downgrading semantics of memory safety (Extended version)arxiv.org u/mttd — 3 days ago
▲ 9 r/CompilersScalable GPU Acceleration of Scalar Functions in Analytical Databases: Compilation, Benchmarking, and Optimizationvldb.org u/mttd — 7 days ago
▲ 175 r/programmingmimalloc: A new, high-performance, scalable memory allocator for the modern eramicrosoft.com u/mttd — 8 days ago
▲ 6 r/CompilersTLX: Hardware-Native, Evolvable MIMW GPU Compiler for Large-scale Production Environmentsarxiv.org u/mttd — 10 days ago
▲ 13 r/CompilersDeterministic Fully-Static Whole-Binary Translation without Heuristicsarxiv.org u/mttd — 10 days ago