Dustin Jamner
Cited by
Cited by
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
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
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
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 Symposium, 123-129, 2019
The system can't perform the operation now. Try again later.
Articles 1–4