Jade Philipoom

According to our database, Jade Philipoom authored at least 7 papers between 2014 and 2024.

Collaborative distances:

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

2024

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq.

Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala

J. Autom. Reason., September, 2024

Foundational Integration Verification of a Cryptographic Server.

Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala

Proc. ACM Program. Lang., 2024

Towards ML-KEM & ML-DSA on OpenTitan.

Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl

IACR Cryptol. ePrint Arch., 2024

2022

Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code.

Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Accelerating Verified-Compiler Development with a Verified Rewriting Engine.

Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2020

Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises.

Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala

ACM SIGOPS Oper. Syst. Rev., 2020

2014

Streetscore - Predicting the Perceived Safety of One Million Streetscapes.

Nikhil Naik, Jade Philipoom, Ramesh Raskar, César A. Hidalgo

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2014