• Sign in
  • Sign up
conf.researchr.org / John Leo
  • ICFP 2019 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2021 profile
  • PLDI 2022 profile
  • POPL 2018 profile
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

2025

ICFP

  • Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track

2024

ICFP

  • Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

2023

ICFP

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

FARM

  • Program Chair in Organizing Committee within the FARM 2023-track
  • Session Chair of FARM Session 2 (part of FARM 2023)
  • Session Chair of FARM Session 1 (part of FARM 2023)
  • Program Chair in Program Committee within the FARM 2023-track

2022

FARM

  • Author of Demo: Counterpoint Analysis and Synthesis within the FARM-track
  • General Chair in Organizing Committee within the FARM-track

ICFP

  • United States of America in Evaluators within the Artifact Evaluation-track

PLDI

  • Author of (PLDI 2021) Proof Repair Across Type Equivalences within the SIGPLAN Track-track

2021

FARM

  • Author of Performance: Logical Soundness within the FARM 2021-track

PLDI

  • Author of Proof Repair across Type Equivalences within the PLDI-track

2019

FARM

  • Author of Demo: Counterpoint by Construction within the FARM 2019-track

2018

CPP

  • Author of Adapting Proof Automation to Adapt Proofs within the CPP 2018-track
Share
xWed 24 Sep 13:27
using conf.researchr.org (v1.71.1)
Support page
Sign Up