conftrace_

symbolic execution

18 papers

Explore in graph

Co-occurring keywords

software verification (5) large language model (13587) neural network (6616) network function (11) bug detection (23) performance modeling (5) state space exploration (8) formal verification (284) automated reasoning (122) program verification (19)

Papers

Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving IJCAI 2025
Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs NAACL 2025
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation NIPS 2024
Neuro-Symbolic Visual Dialog COLING 2022
Oblique: Accelerating Page Loads Using Symbolic Execution NSDI 2021
Terra: Imperative-Symbolic Co-Execution of Imperative Deep Learning Programs NIPS 2021
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
Synthesizing Tasks for Block-based Programming NIPS 2020
AGAMOTTO: How Persistent is your Persistent Memory Application? OSDI 2020
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer OSDI 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
Coupling Distributed and Symbolic Execution for Natural Language Queries ICML 2017
A System to Verify Network Behavior of Known Cryptographic Clients NSDI 2017
Efficiently Sampling Probabilistic Programs via Program Analysis AISTATS 2013