John Leo

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 5

Top Topics

Inference Rules

Automated Theorem Provers

Reusable Components

Top Venues

Publications

Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Proof repair across type equivalences. PLDI (2021)
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Proof Repair Across Type Equivalences. CoRR (2020)
Youyou Cong, John Leo
Demo: counterpoint by construction. FARM@ICFP (2019)
Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman
Ornaments for Proof Reuse in Coq. ITP (2019)
Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman
Adapting proof automation to adapt proofs. CPP (2018)
Norman H. Chang, Keh-Jeng Chang, John Leo, Ken Lee, Soo-Young Oh
IPDA: Interconnect Performance Design Assistant. DAC (1992)