:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yao, Peisen, Gu, Zinan, Shi, Qingkai
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2602.01720
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

DeliverC: Teaching Pointers through GenAI-Powered Game-Based Learning
by: Petula, Wyatt, et al.
Published: (2025)

Raw Pointer Rewriting with LLMs for Translating C to Safer Rust
by: Gao, Yifei, et al.
Published: (2025)

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

Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformations
by: Donyina, Adwoa, et al.
Published: (2025)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
by: Saravanos, Antonios, et al.
Published: (2026)

Fully Randomized Pointers
by: Phaye, Sai Dhawal, et al.
Published: (2024)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
by: Ma, Zhiyao, et al.
Published: (2025)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
by: Young, David, et al.
Published: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)

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

MLIR-Forge: A Modular Framework for Language Smiths
by: Ates, Berke, et al.
Published: (2026)

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

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
by: Beyer, Dirk, et al.
Published: (2025)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler
by: Liu, Zixi, et al.
Published: (2025)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
by: Guan, Yawen, et al.
Published: (2025)

Developing a Modular Compiler for a Subset of a C-like Language
by: Dutta, Debasish, et al.
Published: (2025)

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

Programming of Cellular Automata in C and C++
by: Christen, Patrik
Published: (2024)

Compilation of Modular and General Sparse Workspaces
by: Zhang, Genghan, et al.
Published: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
by: Jamner, Dustin, et al.
Published: (2025)

JoinActors: A Modular Library for Actors with Join Patterns
by: Hussein, Ayman, et al.
Published: (2026)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
by: Krogstie, Håvard Rognebakke, et al.
Published: (2025)

Modular Probabilistic Models via Algebraic Effects
by: Nguyen, Minh, et al.
Published: (2022)

Charon: An Analysis Framework for Rust
by: Ho, Son, et al.
Published: (2024)

Can Large Language Models Understand Preferences in Personalized Recommendation?
by: Tan, Zhaoxuan, et al.
Published: (2025)

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

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
by: Korostinskiy, Roman, et al.
Published: (2024)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
by: Vijayaraghavan, Prashanth, et al.
Published: (2026)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
by: Fiore, Marcelo P., et al.
Published: (2025)

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
by: Schüssele, Frank, et al.
Published: (2025)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
by: Goldstein, Oliver, et al.
Published: (2024)

Towards a Transpiler for C/C++ to Safer Rust
by: Tripuramallu, Dhiren, et al.
Published: (2024)

CatCode: A Comprehensive Evaluation Framework for LLMs On the Mixture of Code and Text
by: Lin, Zhenru, et al.
Published: (2024)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
by: Laurent, Jonathan, et al.
Published: (2025)

Can Language Models Solve Olympiad Programming?
by: Shi, Quan, et al.
Published: (2024)

Modular Synthesis of Efficient Quantum Uncomputation
by: Venev, Hristo, et al.
Published: (2024)

C-lisp and Flexible Macro Programming with S-expressions
by: Padmaraman, Vedanth, et al.
Published: (2024)