Login / Signup
Dustin Jamner
ORCID
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 4
Top Topics
Relational Data
Lower Level
Theorem Proving
Data Sets
Top Venues
Proc. ACM Program. Lang.
PLDI
NFM
</>
Publications
</>
Clément Pit-Claudel
,
Jade Philipoom
,
Dustin Jamner
,
Andres Erbsen
,
Adam Chlipala
Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code.
PLDI
(2022)
Max S. New
,
Dustin Jamner
,
Amal Ahmed
Graduality and parametricity: together again for the first time.
Proc. ACM Program. Lang.
4 (POPL) (2020)
Chris Casinghino
,
J. T. Paasch
,
Cody Roux
,
John Altidor
,
Michael Dixon
,
Dustin Jamner
Using Binary Analysis Frameworks: The Case for BAP and angr.
NFM
(2019)
Amal Ahmed
,
Dustin Jamner
,
Jeremy G. Siek
,
Philip Wadler
Theorems for free for free: parametricity, with and without types.
Proc. ACM Program. Lang.
1 (ICFP) (2017)