Devin Coughlin

Identifiers

No identifiers captured yet.

Papers (1)

1. Synthesizing Short-Circuiting Validation of Data Structure Invariants cs.PL · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Bor-Yuh Evan Chang 1 shared papers
• Xavier Rival 1 shared papers
• Yi-Fan Tsai 1 shared papers