conftrace_

program verification

19 papers

Explore in graph

Co-occurring keywords

large language model (13587) formal verification (284) model checking (105) bug detection (23) symbolic execution (18) extended berkeley packet filter (6) epistemic logic (42) loop invariant (4) kernel security (2) program synthesis (233)

Papers

A Framework for Belief-based Programs and Their Verification (Abstract Reprint) AAAI 2026
LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs ACL 2025
ViUniT: Visual Unit Tests for More Robust Visual Programming CVPR 2025
Deterministic Client: Enforcing Determinism on Untrusted Machine Code OSDI 2025
VEP: A Two-stage Verification Toolchain for Full eBPF Programmability NSDI 2025
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation NIPS 2024
Validating the eBPF Verifier via State Embedding OSDI 2024
Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step by Step ACL 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NIPS 2024
Automatically Verifying Expressive Epistemic Properties of Programs AAAI 2023
LEVER: Learning to Verify Language-to-Code Generation with Execution ICML 2023
Ranking LLM-Generated Loop Invariants for Program Verification EMNLP 2023
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition IJCAI 2022
Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020
ElGolog: A High-Level Programming Language with Memory of the Execution History AAAI 2020
CLN2INV: Learning Loop Invariants with Continuous Logic Networks ICLR 2020
Dataplane equivalence and its applications NSDI 2019
Learning Loop Invariants for Program Verification NIPS 2018
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs IJCAI 2017