• Sign in
  • Sign up
conf.researchr.org / Katherine Philip
  • POPL 2025 profile
No Photo

Registered user since Sat 2 Sep 2023

Name:Katherine Philip
Affiliation:Portland State University

Contributions

2025

POPL

  • Author of Formalizing Representation Transformations: A Case Study of Bit Vector Types within the Student Research Competition-track
  • Committee Member in Student Volunteers
Share
xSat 10 May 01:22
using conf.researchr.org (v1.69.0)
Support page
Sign Up