Jade Philipoom

According to our database, Jade Philipoom authored at least 5 papers between 2014 and 2023.

Collaborative distances:

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

2023

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

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

CoRR, 2023

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