Yi-Fan Tsai

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Bor-Yuh Evan Chang 1 shared papers
• Devin Coughlin 1 shared papers
• Xavier Rival 1 shared papers