:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Arafat, Hassan, Bremner, David, Kent, Kenneth B., Wang, Julian
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2512.03972
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems
by: Mendez, Julian Alfredo
Published: (2023)

$φ$-Calculus: Object-Oriented Formalism
by: Bugayenko, Yegor, et al.
Published: (2021)

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

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

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

Static Analysis Under Non-Deterministic Program Assumptions
by: Rasheed, Abdullah H.
Published: (2026)

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

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

Improving Memory Dependence Prediction with Static Analysis
by: Panayi, Luke, et al.
Published: (2024)

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

Efficient Compilation of Algorithms into Compact Linear Programs
by: Khosravi, Shermin, et al.
Published: (2025)

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

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
by: Monniaux, David
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)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
by: Stemmler, Fabian, et al.
Published: (2025)

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

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

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

Synthesizing Optimal Object Selection Predicates for Image Editing using Lattices
by: He, Yang, et al.
Published: (2025)

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

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)

Explainable AI for Embedded Systems Design: A Case Study of Static Redundant NVM Memory Write Prediction
by: Gamatié, Abdoulaye, et al.
Published: (2024)

Completing the Functional Approach in Object-Oriented Languages
by: Pluemicke, Martin
Published: (2024)

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)

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

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
by: Allison, Lloyd
Published: (2025)

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

Oriented Metrics for Bottom-Up Enumerative Synthesis
by: Meyer, Roland, et al.
Published: (2025)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
by: Liu, Zhengyang, et al.
Published: (2023)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
by: Yao, Shucai, et al.
Published: (2025)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
by: Shi, Qingkai, et al.
Published: (2023)

LLM-Based Repair of Static Nullability Errors
by: Karimipour, Nima, et al.
Published: (2025)

Hardware-Aware Static Optimization of Hyperdimensional Computations
by: Pu, et al.
Published: (2023)

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