Chris Phifer

According to our database, Chris Phifer authored at least 2 papers between 2021 and 2025.

Collaborative distances:

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

2025

The CoCompiler: DSL Lifting via Relational Compilation.

Naomi Spargo, Santiago Cuéllar, Jonathan Daugherty, Chris Phifer, David Darais

CoRR, October, 2025

2021

A type system for extracting functional specifications from memory-safe imperative programs.

Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic

Proc. ACM Program. Lang., 2021