:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Rasheed, Abdullah H.
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2602.07324
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
by: Rasheed, Abdullah H., et al.
Published: (2026)

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
by: Rasheed, Abdullah
Published: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)

Deterministic Fully-Static Whole-Binary Translation without Heuristics
by: Chen, Hongyu, et al.
Published: (2026)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
by: Wang, Peixin, et al.
Published: (2023)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
by: Kudasov, Nikolai, et al.
Published: (2024)

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
by: Böck, Markus, et al.
Published: (2025)

Abstract Interpretation-Based Data Leakage Static Analysis
by: Drobnjaković, Filip, et al.
Published: (2022)

Qihe: A General-Purpose Static Analysis Framework for Verilog
by: Chen, Qinlin, et al.
Published: (2026)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
by: Arafat, Hassan, et al.
Published: (2025)

Unlocking the Power of Environment Assumptions for Unit Proofs
by: Priya, Siddharth, et al.
Published: (2024)

Try-Mopsa: Relational Static Analysis in Your Pocket
by: Monat, Raphaël
Published: (2025)

On the Anatomy of Real-World R Code for Static Analysis
by: Sihler, Florian, et al.
Published: (2024)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
by: Rustenholz, Louis, et al.
Published: (2024)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
by: Xu, Han, et al.
Published: (2026)

PSM: Policy Synchronised Deterministic Memory
by: Mendler, Michael, et al.
Published: (2025)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
by: Zhang, Bowen, et al.
Published: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
by: Ferreiro, Daniela, et al.
Published: (2025)

Automated Code Repair for C/C++ Static Analysis Alerts
by: Svoboda, David, et al.
Published: (2025)

Customizing Static Analysis using Codesearch
by: Hayoun, Avi, et al.
Published: (2024)

Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
by: He, Pengfei, et al.
Published: (2026)

Cocoon: Static Information Flow Control in Rust
by: Lamba, Ada, et al.
Published: (2023)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
by: Monat, Raphaël, et al.
Published: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
by: Li, Ziyang, et al.
Published: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
by: Wang, Claire, et al.
Published: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
by: Zakharov, Vladimir, et al.
Published: (2024)

A Categorical Basis for Robust Program Analysis
by: Kincaid, Zachary, et al.
Published: (2026)

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

Static Type Checking for Database Access Code
by: Kirz, Thomas James, et al.
Published: (2026)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
by: Lagouvardos, Sifis, et al.
Published: (2025)

Easing Maintenance of Academic Static Analyzers
by: Monat, Raphaël, et al.
Published: (2024)

Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
by: Lepori, Andrea, et al.
Published: (2025)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
by: Monniaux, David
Published: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
by: Xie, Xiaoheng, et al.
Published: (2024)

A Program Logic for Under-approximating Worst-case Resource Usage
by: Jin, Ziyue, et al.
Published: (2025)