John Leo -

Registered user since Fri 1 Dec 2017

Name:John Leo

Country:United States

Affiliation:Halfaya Research

Personal website:http://halfaya.org/leo/

Research interests:Type Theory, Music

Contributions

FARM 2022	Author of Demo: Counterpoint Analysis and Synthesis within the FARM-track General Chair in Organizing Committee within the FARM-track
ICFP 2022	United States of America in Evaluators within the Artifact Evaluation-track
PLDI 2022	Author of (PLDI 2021) Proof Repair Across Type Equivalences within the SIGPLAN Track-track
FARM 2021	Author of Performance: Logical Soundness within the FARM 2021-track
PLDI 2021	Author of Proof Repair across Type Equivalences within the PLDI-track
FARM 2019	Author of Demo: Counterpoint by Construction within the FARM 2019-track
CPP 2018	Author of Adapting Proof Automation to Adapt Proofs within the CPP 2018-track