• Sign in
  • Sign up
conf.researchr.org / Jade Philipoom
  • PLDI 2022 profile
  • PLDI 2023 profile
  • PLDI 2024 profile
No Photo

Registered user since Thu 18 May 2023

Name:Jade Philipoom
Affiliation:Google, Germany
GitHub: https://github.com/jadephilipoom

Contributions

2024

PLDI

  • Author of Foundational Integration Verification of a Cryptographic Server within the PLDI Research Papers-track

2023

PLARCH

  • Author of Silver Oak: Hardware Software Co-Design and Co-Verification in Coq within the PLARCH 2023-track

2022

PLDI

  • Author of Relational Compilation for Performance-Critical Applications within the PLDI-track
Share
xSun 15 Jun 03:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up