Functional programming for compiling and decompiling computer-aided design. - Chandrakana Nandi; James R. Wilcox; Pavel Panchekha; Taylor Blau; Dan Grossman; Zachary Tatlock (Proc. ACM Program. Lang., 2018)

Verifying Strong Eventual Consistency in δ-CRDTs. - Taylor Blau (CoRR, 2020)