• Sign in
  • Sign up
conf.researchr.org / Cole Kurashige
  • ICFP 2024 profile
  • PLDI 2023 profile
  • POPL 2025 profile
No Photo

Registered user since Wed 18 Jan 2023

Name:Cole Kurashige

Contributions

2025

POPL

  • Author of Generic Refinement Types within the POPL-track

2024

ICFP

  • Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the Artifact Evaluation-track
  • Author of CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs within the ICFP Papers and Events-track

2023

EGRAPHS

  • Author of Optimizing Beta-Reduction in E-Graphs within the EGRAPHS 2023-track
Share
xSat 24 May 10:37
using conf.researchr.org (v1.69.0)
Support page
Sign Up