conftrace_

just-in-time summarization

1 paper

Explore in graph

Also known as

JIT

Co-occurring keywords · papers mentioning both

dns authoritative engine (1) automated verification (1) invariant inference (1) symbolic execution (1)

Papers

Iceberg: Automated Verification of DNS Authoritative Engines via Just-in-Time Summarization NSDI 2026