IPDA: Interconnect Performance Design Assistant. - Norman H. Chang; Keh-Jeng Chang; John Leo; Ken Lee; Soo-Young Oh (DAC, 1992)

Adapting proof automation to adapt proofs. - Talia Ringer; Nathaniel Yazdani; John Leo; Dan Grossman (CPP, 2018)

Demo: counterpoint by construction. - Youyou Cong; John Leo (FARM@ICFP, 2019)

Ornaments for Proof Reuse in Coq. - Talia Ringer; Nathaniel Yazdani; John Leo; Dan Grossman (ITP, 2019)

Proof repair across type equivalences. - Talia Ringer; RanDair Porter; Nathaniel Yazdani; John Leo; Dan Grossman (PLDI, 2021)