Co-occurring keywords · papers mentioning both
Papers
A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
AAAI 2026
Deterministic Client: Enforcing Determinism on Untrusted Machine Code
OSDI 2025
LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs
ACL 2025
VEP: A Two-stage Verification Toolchain for Full eBPF Programmability
NSDI 2025
ViUniT: Visual Unit Tests for More Robust Visual Programming
CVPR 2025
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
NeurIPS 2024
Lemur: Integrating Large Language Models in Automated Program Verification
ICLR 2024
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
NeurIPS 2024
Validating the eBPF Verifier via State Embedding
OSDI 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
Safe Neurosymbolic Learning with Differentiable Symbolic Execution
ICLR 2022
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
ICLR 2020
ElGolog: A High-Level Programming Language with Memory of the Execution History
AAAI 2020
Probabilistic Inference for Predicate Constraint Satisfaction
AAAI 2020
Dataplane equivalence and its applications
NSDI 2019
Learning Loop Invariants for Program Verification
NeurIPS 2018
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs
IJCAI 2017