Cover Image

Soteria: Efficient Symbolic Execution as a Functional Library

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ayoun, Sacha-Élie, Sjöstedt, Opale, Raad, Azalea
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 the Next 700 Memory Models (Extended Version)
by: Lööw, Andreas, et al.
Published: (2025)

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

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

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

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)
by: Griffin, Matt, et al.
Published: (2025)

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
by: Klimis, Vasileios, et al.
Published: (2024)

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

Extending the C/C++ Memory Model with Inline Assembly
by: de Vilhena, Paulo Emílio, et al.
Published: (2024)

Bayesian Separation Logic
by: Ho, Shing Hin, et al.
Published: (2025)

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

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

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

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

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)

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

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

Soteria: Language-Specific Functional Parameter Steering for Multilingual Safety Alignment
by: Banerjee, Somnath, et al.
Published: (2025)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
by: Ambal, Guillaume, et al.
Published: (2025)

Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
by: Saumya, Charitha, et al.
Published: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
by: Bouras, Dimitrios Stamatios, et al.
Published: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
by: Feng, Rong, et al.
Published: (2025)

Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
by: Rudkowski, Karl Aaron, et al.
Published: (2025)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
by: He, Mengting, et al.
Published: (2026)

Teaching LLMs Program Semantics via Symbolic Execution Traces
by: Bayer, Jonas, et al.
Published: (2026)

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

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
by: Tempel, Sören, et al.
Published: (2024)

Literate Execution
by: Bond, Joe, et al.
Published: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

SGLang: Efficient Execution of Structured Language Model Programs
by: Zheng, Lianmin, et al.
Published: (2023)

An Execution Model for RICE
by: Libby, Steven
Published: (2025)

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

Optimized Execution of FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution
by: Zhao, Xinkui, et al.
Published: (2025)

Synthesizing Formal Semantics from Executable Interpreters
by: Liu, Jiangyi, et al.
Published: (2024)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
by: Guerin, Cormac, et al.
Published: (2026)

Active Learning of Symbolic NetKAT Automata
by: Moeller, Mark, et al.
Published: (2025)

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog
by: Norris, David C., et al.
Published: (2024)

KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)