Philip Johnson-Freyd

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 10

Top Topics

Temporally Extended Goals

Update Operators

Mazurkiewicz Traces

Top Venues

Proc. ACM Program. Lang.

J. Log. Algebraic Methods Program.

Publications

Joshua M. Cohen, Philip Johnson-Freyd
A Formalization of Core Why3 in Coq. Proc. ACM Program. Lang. 8 (POPL) (2024)
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic. CoRR (2024)
John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
A Nominal Approach to Probabilistic Separation Logic. LICS (2024)
Paul Downen, Philip Johnson-Freyd, Zena M. Ariola
Abstracting models of strong normalization for classical calculi. J. Log. Algebraic Methods Program. 111 (2020)
Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette
Topos Semantics for a Higher-Order Temporal Logic of Actions. ACT (2019)
Paul Downen, Philip Johnson-Freyd, Zena M. Ariola
Uniform Strong Normalization for Multi-discipline Calculi. WRLA@ETAPS (2018)
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola
Call-by-name extensionality and confluence. J. Funct. Program. 27 (2017)
Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System. FMICS-AVoCS (2016)
Paul Downen, Philip Johnson-Freyd, Zena M. Ariola
Structures for structural recursion. ICFP (2015)
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola
First Class Call Stacks: Exploring Head Reduction. WoC (2015)