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 | 43 | 2019 |
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 | 8 | 2019 |
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 | 5 | 2024 |
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 |