Cover Image

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lööw, Andreas, Park, Seung Hoon, Nantes-Sobrinho, Daniele, Ayoun, Sacha-Élie, Sjöstedt, Opale, Gardner, Philippa
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)

Soteria: Efficient Symbolic Execution as a Functional Library
by: Ayoun, Sacha-Élie, et al.
Published: (2025)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
by: Karmios, Nat, et al.
Published: (2026)

A Hybrid Approach to Semi-automated Rust Verification
by: Ayoun, Sacha-Élie, et al.
Published: (2024)

The Simulation Semantics of Synthesisable Verilog
by: Lööw, Andreas
Published: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
by: Chaudhuri, Kaustuv, et al.
Published: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
by: Heuvel, Bas van den, et al.
Published: (2024)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
by: Pointner, Andreas, et al.
Published: (2025)

Dynamic Robustness Verification Against Weak Memory (Extended Version)
by: Margalit, Roy, et al.
Published: (2025)

The Next 700 ML-Enabled Compiler Optimizations
by: VenkataKeerthy, S., et al.
Published: (2023)

jMT: Testing Correctness of Java Memory Models (Extended Version)
by: Panneke, Lukas, et al.
Published: (2026)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
by: Caires-Santos, Ali K., et al.
Published: (2025)

Large Language Model Powered Symbolic Execution
by: Li, Yihe, et al.
Published: (2025)

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
by: Correnson, Arthur, et al.
Published: (2025)

Information Aware Type Systems and Telescopic Constraint Trees
by: Cowderoy, Philippa
Published: (2024)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
by: Paulus, Joseph W. N., et al.
Published: (2021)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
by: Lahav, Ori, et al.
Published: (2023)

The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

Generic Reduction-Based Interpreters (Extended Version)
by: Bach, Casper
Published: (2025)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

Multi-Pass Targeted Dynamic Symbolic Execution
by: Yavuz, Tuba
Published: (2024)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
by: Enea, Constantin, et al.
Published: (2023)

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
by: Enea, Constantin, et al.
Published: (2026)

Minimal Session Types for the $π$-calculus (Extended Version)
by: Arslanagic, Alen, et al.
Published: (2021)

Contrasting Deadlock-Free Session Processes (Extended Version)
by: Jaramillo, Juan C., et al.
Published: (2025)

Special Delivery: Programming with Mailbox Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2023)

Effects and Coeffects in Call-By-Push-Value (Extended Version)
by: Torczon, Cassia, et al.
Published: (2023)

Grammar Repair with Examples and Tree Automata: Extended Version
by: Lee, Yunjeong, et al.
Published: (2026)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
by: Yang, Ziyi, et al.
Published: (2025)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
by: Andrès, Léo, et al.
Published: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

Python Symbolic Execution with LLM-powered Code Generation
by: Wang, Wenhan, et al.
Published: (2024)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
by: Ho, Son, et al.
Published: (2024)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
by: Lindner, Andreas, et al.
Published: (2023)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
by: Abdelrazek, Zeyad, et al.
Published: (2026)