Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jade Philipoom
conf.researchr.org general profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2024 profile
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
x
Sat 23 Nov 11:07