Benjamin Delaware

Identifiers

No identifiers captured yet.

Papers (2)

1. Trace-Guided Synthesis of Effectful Test Generators cs.PL · 2026 · author #3
2. Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats cs.PL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Adam Chlipala 1 shared papers
• Ankush Desai 1 shared papers
• Cl\'ement Pit--Claudel 1 shared papers
• Qianchuan Ye 1 shared papers
• Sorawit Suriyakarn 1 shared papers
• Suresh Jagannathan 1 shared papers
• Zhe Zhou 1 shared papers