SLICET5: Static Program Slicing using Language Models with Copy Mechanism and Constrained Decoding
arxiv.org·7h
🔪Program Slicing
Randomized matrix computations: Themes and variations
arxiv.org·7h
🧮Linear Algebra
MobiZO: Enabling Efficient LLM Fine-Tuning at the Edge via Inference Engines
arxiv.org·7h
🗺️Region Inference
Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
arxiv.org·7h
⚡Control Synthesis
Prefetching in Deep Memory Hierarchies with NVRAM as Main Memory
arxiv.org·7h
⚡Cache-Aware Algorithms
Automated Cost-Benefit Analysis for Network Infrastructure Optimization via Graph Neural Networks
dev.to·21h·
Discuss: DEV
🔗Graph Rewriting
Digging Into the Internal: Causality-Based Analysis of LLM Function Calling
arxiv.org·7h
🏗️MLIR
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·6h·
Discuss: DEV
🪢Rope Data Structures
On the Existence and Complexity of Core-Stable Data Exchanges
arxiv.org·7h
📮Message Queues
GPO: Learning from Critical Steps to Improve LLM Reasoning
arxiv.org·7h
🪜Recursive Descent
DragOSM: Extract Building Roofs and Footprints from Aerial Images by Aligning Historical Labels
arxiv.org·7h
📈Earley Parsing
Program Synthesis via Test-Time Transduction
arxiv.org·7h
🎭Program Synthesis
PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
arxiv.org·7h
🌳Pattern Match Compilation
LightCode: Compiling LLM Inference for Photonic-Electronic Systems
arxiv.org·7h
⚙️Compilers
Parallelism Strategies in Deep Learning
afmck.in·20h·
Discuss: Hacker News
🔀SIMD Programming
Space-Deniable Proofs
eprint.iacr.org·1d
📜Proof Languages
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·7h
🏷️Attribute Grammars
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
🎯Pattern Matching
MicroAlloc
bogdanthegeek.github.io·1d
🧠Memory Allocators
Rustchain: Transpile Anything Into Rust (and Back Out Again)
reddit.com·8h·
Discuss: r/programming
🏗️Cranelift