• Sign in
  • Sign up
conf.researchr.org / Chris Phifer
  • ICFP/SPLASH 2025 profile
  • SPLASH 2021 profile

Not registered as user

Name:Chris Phifer
Country:United States
Affiliation:Galois

Contributions

2025

miniKanren

  • Author of The CoCompiler: DSL Lifting via Relational Compilation within the MiniKanren-track

2021

SPLASH

  • Author of A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs within the OOPSLA-track
Share
xTue 23 Sep 04:14
using conf.researchr.org (v1.71.1)
Support page
Sign Up