Cover Image

Agentic Separation Logic Specification Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Suresh, Tarun, Korczynski, David, Vanegue, Julien
Format:	Preprint
Published:	2026
Subjects:	Programming Languages Computation and Language Software Engineering D.3; D.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Non-Termination Proving: 100 Million LoC and Beyond
by: Vanegue, Julien, et al.
Published: (2025)

From Separate Compilation to Sound Language Composition
by: Bruzzone, Federico, et al.
Published: (2026)

ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems
by: Al-Msie'deen, Ra'Fat
Published: (2025)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

Toward a Corpus Study of the Dynamic Gradual Type
by: Nsofor, Dibri, et al.
Published: (2025)

Anka: A Domain-Specific Language for Reliable LLM Code Generation
by: Mazrouei, Saif Khalfan Saif Al
Published: (2025)

WizardMerge -- Save Us From Merging Without Any Clues
by: Zhang, Qingyu, et al.
Published: (2024)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
by: Shirzad, Mohammad Robati, et al.
Published: (2024)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
by: Tjoa, Ryan, et al.
Published: (2025)

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
by: de Sousa, Briza Mel Dias, et al.
Published: (2025)

SIADAFIX: issue description response for adaptive program repair
by: Cao, Xin, et al.
Published: (2025)

Automated Computer Program Evaluation and Projects -- Our Experiences
by: Srinivasan, Bama, et al.
Published: (2024)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
by: Abounegm, Abdelrahman, et al.
Published: (2024)

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

Adaptable TeaStore: A Choreographic Approach
by: De Palma, Giuseppe, et al.
Published: (2025)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
by: Beyer, Dirk, et al.
Published: (2022)

Ownership in low-level intermediate representation
by: Priya, Siddharth, et al.
Published: (2024)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
by: Shetty, Manish, et al.
Published: (2024)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
by: Pohle, Clemens
Published: (2026)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
by: Vogel, Martin, et al.
Published: (2026)

TSCG: Deterministic Tool-Schema Compilation for Agentic LLM Deployments
by: Sakizli, Furkan
Published: (2026)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
by: Lahiri, Shuvendu K.
Published: (2026)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
by: Li, Shiyang, et al.
Published: (2026)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
by: Baier, Daniel, et al.
Published: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
by: Ates, Salih, et al.
Published: (2024)

Compressed code: the hidden effects of quantization and distillation on programming tokens
by: Siniaev, Viacheslav, et al.
Published: (2026)

Enhancing LLM Code Generation Capabilities through Test-Driven Development and Code Interpreter
by: Jalil, Sajed, et al.
Published: (2025)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
by: Guo, Dongxin, et al.
Published: (2026)

Leveraging Slither and Interval Analysis to build a Static Analysis Tool
by: Susan, Stefan-Claudiu
Published: (2024)

Statically Contextualizing Large Language Models with Typed Holes
by: Blinn, Andrew, et al.
Published: (2024)

Comprehensive Evaluation of Large Language Models on Software Engineering Tasks: A Multi-Task Benchmark
by: Gunawan, Go Frendi, et al.
Published: (2026)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
by: Dinu, Ion George, et al.
Published: (2026)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
by: Bagnara, Roberto, et al.
Published: (2016)

Reasoning about concurrent loops and recursion with rely-guarantee rules
by: Hayes, Ian J., et al.
Published: (2025)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
by: Khatchadourian, Raffi, et al.
Published: (2025)