Jade Philipoom

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 9

Top Topics

Presburger Arithmetic

Multi Relational

Retrieval Engine

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq. J. Autom. Reason. 68 (3) (2024)
Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl
Towards ML-KEM & ML-DSA on OpenTitan. IACR Cryptol. ePrint Arch. 2024 (2024)
Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala
Foundational Integration Verification of a Cryptographic Server. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq. CoRR (2023)
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala
Accelerating Verified-Compiler Development with a Verified Rewriting Engine. CoRR (2022)
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala
Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code. PLDI (2022)
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala
Accelerating Verified-Compiler Development with a Verified Rewriting Engine. ITP (2022)
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala
Simple High-Level Code For Cryptographic Arithmetic: With Proofs, Without Compromises. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala
Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises. IEEE Symposium on Security and Privacy (2019)
Nikhil Naik, Jade Philipoom, Ramesh Raskar, César A. Hidalgo
Streetscore - Predicting the Perceived Safety of One Million Streetscapes. CVPR Workshops (2014)