Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jamner, Dustin
11  Ergebnisse:
Personensuche X
?
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

Graduality and parametricity: together again for the first ..:

New, Max S. ; Jamner, Dustin ; Ahmed, Amal
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
Link: https://dl.acm.org/doi/1..
 
?
4

Graduality and parametricity: together again for the first ..:

New, Max S. ; Jamner, Dustin ; Ahmed, Amal
Proceedings of the ACM on Programming Languages.  4 (2019)  POPL - p. 1-32 , 2019
Link: https://doi.org/10.1145/..
 
?
5

Using Binary Analysis Frameworks: The Case for BAP and angr:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Casinghino, Chris ; Paasch, J. T. ; Roux, Cody... - p. 123-129 , 2019
Link: https://doi.org/10.1007/..
 
?
6

Theorems for free for free: parametricity, with and without..:

Ahmed, Amal ; Jamner, Dustin ; Siek, Jeremy G..
Proceedings of the ACM on Programming Languages.  1 (2017)  ICFP - p. 1-28 , 2017
Link: https://dl.acm.org/doi/1..
 
?
7

Theorems for free for free: parametricity, with and without..:

Ahmed, Amal ; Jamner, Dustin ; Siek, Jeremy G..
Proceedings of the ACM on Programming Languages.  1 (2017)  ICFP - p. 1-28 , 2017
Link: https://doi.org/10.1145/..
 
?
8

A Framework for Modular, Extensible, Equivalence-Preserving..:

Jamner, Dustin
https://hdl.handle.net/1721.1/144616.  , 2022
Link: https://hdl.handle.net/1..
 
?
9

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..
 
?
10

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..
 
?
11

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..
 
1-11