David Korczynski

Identifiers

• name variant David Korczynski 0.60 · backfill

Papers (1)

1. Agentic Separation Logic Specification Synthesis cs.PL · 2026 · author #2

Mentions

• 2605.27531 #2 · arxiv_oai · confidence 0.70 David Korczynski

Frequent Coauthors

• Julien Vanegue 1 shared papers
• Tarun Suresh 1 shared papers