E-LIB Suche - Ergebnisse für: Philipoom, Jade

1

Foundational Integration Verification of a Cryptographic Se..:

Erbsen, Andres ; Philipoom, Jade ; Jamner, Dustin...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1704-1729 , 2024

Link: https://doi.org/10.1145/..

2

Relational compilation for performance-critical application..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Pit-Claudel, Clément ; Philipoom, Jade ; Jamner, Dustin.. - p. 918-933 , 2022

Link: https://dl.acm.org/doi/1..

3

Simple High-Level Code For Cryptographic Arithmetic: With P..:

Erbsen, Andres ; Philipoom, Jade ; Gross, Jason..
ACM SIGOPS Operating Systems Review. 54 (2020) 1 - p. 23-30 , 2020

Link: https://doi.org/10.1145/..

4

Simple High-Level Code For Cryptographic Arithmetic : Wi..:

Erbsen, Andres ; Philipoom, Jade ; Gross, Jason..
ACM SIGOPS Operating Systems Review. 54 (2020) 1 - p. 23-30 , 2020

Link: https://dl.acm.org/doi/1..

5

Towards a Scalable Proof Engine: A Performant Prototype Rew..:

Gross, Jason ; Erbsen, Andres ; Philipoom, Jade..
http://arxiv.org/abs/2305.02521. , 2023

Link: http://arxiv.org/abs/230..

6

Accelerating Verified-Compiler Development with a Verified ..:

Gross, Jason ; Erbsen, Andres ; Philipoom, Jade..
doi:10.4230/LIPIcs.ITP.2022.17. , 2022

Link: https://doi.org/10.4230/..

7

Relational Compilation for Performance-Critical Application:

Pit-Claudel, Cl?ment ; Philipoom, Jade ; Jamner, Dustin..
https://doi.org/10.1145/3519939.3523706. , 2022

Link: https://hdl.handle.net/1..

8

Accelerating Verified-Compiler Development with a Verified ..:

Gross, Jason ; Erbsen, Andres ; Philipoom, Jade..
http://arxiv.org/abs/2205.00862. , 2022

Link: http://arxiv.org/abs/220..

9

Simple High-Level Code For Cryptographic Arithmetic With Pr..:

Erbsen, Andres ; Philipoom, Jade D ; Gross, Jason S..
http://dx.doi.org/10.1145/3421473.3421477. , 2021

Link: https://hdl.handle.net/1..

10

Simple High-Level Code for Cryptographic Arithmetic - With ..:

Erbsen, Andres ; Philipoom, Jade D ; Gross, Jason S..
10.1109/SP.2019.00005. , 2020

Link: https://hdl.handle.net/1..

11

Correct-by-construction finite field arithmetic in Coq:

Philipoom, Jade (Jade D.)
http://hdl.handle.net/1721.1/119582. , 2018

Link: http://hdl.handle.net/17..

12

Streetscore -- Predicting the Perceived Safety of One Milli..:

Raskar, Ramesh ; Naik, Nikhil Deepak ; Philipoom, Jade D.
http://dx.doi.org/10.1109/CVPRW.2014.121. , 2014

Link: http://hdl.handle.net/17..

13

Artifact for Rupicola paper at PLDI 2022:

Clément Pit-Claudel ; Jade Philipoom ; Dustin Jamner..
doi:10.5281/zenodo.6330611. , 2022

Link: https://zenodo.org/recor..

14

Artifact for Rupicola paper at PLDI 2022:

Clément Pit-Claudel ; Jade Philipoom ; Dustin Jamner..
doi:10.5281/zenodo.6330611. , 2022

Link: https://zenodo.org/recor..