🌉 Galois Connections - matmat · Scour

Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation 📊Quantization

arxiv.org·6d·

Rust's next-generation trait solver 🦀Rust Borrowing

lwn.net

·3d·

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology 🦀Rust Verification

arxiv.org·2d·

Superset Decompilation 🔓Decompilation

arxiv.org·2d·

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis 🧠Separation Logic

arxiv.org·2d·

Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis 🧮Kolmogorov Bounds

arxiv.org·6d·

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM 🦀Rust Borrowing

arxiv.org·2d·

Learning to Predict Future-Aligned Research Proposals with Language Models 🧭Content Discovery

arxiv.org·2d·

Bridging Code Property Graphs and Language Models for Program Analysis 🏗️Compiler Archaeology

arxiv.org·6d·

Loading more...