Dustin Jamner

2017201820192020202120224 13 18 19 31 8

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Philip WadlerUniversity of Edinburgh and IOHKVerified 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
Michael DixonLos Alamos National LaboratoryVerified email at mdxn.org
Adam ChlipalaMIT CSAILVerified email at csail.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	64*	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	26	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	2*	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	2	2019

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year