Dustin Jamner

According to our database, Dustin Jamner authored at least 5 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Foundational Integration Verification of a Cryptographic Server.

Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala

Proc. ACM Program. Lang., 2024

2022

Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code.

Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2020

Graduality and parametricity: together again for the first time.

Max S. New, Dustin Jamner, Amal Ahmed

Proc. ACM Program. Lang., 2020

2019

Using Binary Analysis Frameworks: The Case for BAP and angr.

Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2017

Theorems for free for free: parametricity, with and without types.

Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler

Proc. ACM Program. Lang., 2017