symbolic execution

A Compilation-Based Under-Constrained Execution Engine OSDI 2026 Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization NSDI 2026 KRAKENGUARD: Towards Fine-Grained eBPF Isolation NSDI 2026 Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs NAACL 2025 Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving IJCAI 2025 Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation NeurIPS 2024 ComPhy: Compositional Physical Reasoning of Objects and Events from Videos ICLR 2022 Neuro-Symbolic Visual Dialog COLING 2022 Safe Neurosymbolic Learning with Differentiable Symbolic Execution ICLR 2022 Oblique: Accelerating Page Loads Using Symbolic Execution NSDI 2021 Terra: Imperative-Symbolic Co-Execution of Imperative Deep Learning Programs NeurIPS 2021 AGAMOTTO: How Persistent is your Persistent Memory Application? OSDI 2020 Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution OSDI 2020 Automated Verification of Customizable Middlebox Properties with Gravel NSDI 2020 Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer OSDI 2020 Synthesizing Tasks for Block-based Programming NeurIPS 2020 Alembic: Automated Model Inference for Stateful Network Functions NSDI 2019 Dataplane equivalence and its applications NSDI 2019 Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations NSDI 2019 Performance Contracts for Software Network Functions NSDI 2019 A System to Verify Network Behavior of Known Cryptographic Clients NSDI 2017 Coupling Distributed and Symbolic Execution for Natural Language Queries ICML 2017 Efficiently Sampling Probabilistic Programs via Program Analysis AISTATS 2013