John Leo

According to our database, John Leo authored at least 5 papers between 1992 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Proof repair across type equivalences.

Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

Ornaments for Proof Reuse in Coq.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

Demo: counterpoint by construction.

Youyou Cong, John Leo

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

2018

Adapting proof automation to adapt proofs.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

1992

IPDA: Interconnect Performance Design Assistant.

Norman H. Chang, Keh-Jeng Chang, John Leo, Ken Lee, Soo-Young Oh

Proceedings of the 29th Design Automation Conference, 1992