Jade Philipoom
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SP | Towards ML-KEM & ML-DSA on OpenTitan. | Amin Abdulrahman, Felix Oberhansl, Hoang Nguyen Hien Pham, Jade Philipoom, Peter Schwabe, Tobias Stelzer, Andreas Zankl |
| 2022 | ITP | Accelerating Verified-Compiler Development with a Verified Rewriting Engine. | Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala |
| 2022 | PLDI | Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code. | Clment Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala |
| 2019 | SP | Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises. | Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala |
| 2014 | CVPR | Streetscore - Predicting the Perceived Safety of One Million Streetscapes. | Nikhil Naik, Jade Philipoom, Ramesh Raskar, Csar A. Hidalgo |