Concepedia

Jade Philipoom

JP

Statistics

Publications

4

Citations

559

H-Index

4

Active since

2014

Affiliations

Human Media(Current)

Jade Philipoom is an author at Human Media specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationCompilersCryptographyData Science

Publications per year

2014–2022

4

Publications

4

Streetscore -- Predicting the Perceived Safety of One Million Streetscapes

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

Engineering, Safety Science, Communication +16

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

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

Cryptographic Primitive, Engineering, Verification +21

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 · 23 citations · Full text

Functional Models, Engineering, Verification +24

Simple High-Level Code For Cryptographic Arithmetic

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

1–4 of 4