Dustin Jamner

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 5

Top Topics

Relational Learning

Instruction Scheduling

Top Venues

Proc. ACM Program. Lang.

Publications

Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala
Foundational Integration Verification of a Cryptographic Server. Proc. ACM Program. Lang. 8 (PLDI) (2024)
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)