Dustin Jamner

201720182019202020212022202320244 12 18 22 31 23 18 7

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Max S. NewAssistant Professor, University of MichiganVerified email at umich.edu
Clément Pit-ClaudelEPFLVerified email at epfl.ch
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Michael DixonLos Alamos National LaboratoryVerified email at mdxn.org
Andres ErbsenMIT CSAILVerified email at mit.edu

Dustin Jamner

Verified email at mit.edu - Homepage


Title Sort by citations Sort by year Sort by 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	80*	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	37	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	11	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 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–6

Citations per year