Jade Philipoom

Streetscore -- Predicting the Perceived Safety of One Million Streetscapes

Nikhil Naik, Jade Philipoom, Ramesh Raskar et al. · 2014 · 452 citations · Full text

Planning, Urban Planning, Urban Studies +13

Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises

Andres Erbsen, Jade Philipoom, Jason Gross et al. · 2019 · 87 citations · Full text

Computing, Computer Engineering, Computer Science +17

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 et al. · 2022 · 25 citations · Full text

Computing, Computer Science, Formal Methods +14

Simple High-Level Code For Cryptographic Arithmetic

Andres Erbsen, Jade Philipoom, Jason Gross et al. · ACM SIGOPS Operating Systems Review · 2020 · 15 citations

Computing, Computer Engineering, Computer Science +17