Follow
Dustin Jamner
Title
Cited by
Cited by
Year
Theorems for free for free: Parametricity, with and without types
A Ahmed, D Jamner, JG Siek, P Wadler
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
82*2017
Graduality and parametricity: together again for the first time
MS New, D Jamner, A Ahmed
Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019
422019
Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code
C Pit-Claudel, J Philipoom, D Jamner, A Erbsen, A Chlipala
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
16*2022
Using binary analysis frameworks: The case for BAP and angr
C Casinghino, JT Paasch, C Roux, J Altidor, M Dixon, D Jamner
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
82019
Foundational Integration Verification of a Cryptographic Server
A Erbsen, J Philipoom, D Jamner, A Lin, S Gruetter, C Pit-Claudel, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 1704-1729, 2024
52024
Foundational Integration Verification of a Cryptographic Server
J PHILIPOOM, D JAMNER, A LIN, S GRUETTER, C PIT-CLAUDEL, ...
2024
A Framework for Modular, Extensible, Equivalence-Preserving Compilation
D Jamner
Massachusetts Institute of Technology, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7