default search action

combined dblp search
author search
venue search
publication search

ask others

Dustin Jamner

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ErbsenPJLGPC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ErbsenPJLGPC24
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): 1704-1729 (2024)
2020
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/NewJA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/NewJA20
Max S. New, Dustin Jamner, Amal Ahmed:
Graduality and parametricity: together again for the first time. Proc. ACM Program. Lang. 4(POPL): 46:1-46:32 (2020)
2017
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/AhmedJSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/AhmedJSW17
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): 39:1-39:28 (2017)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Pit-ClaudelPJEC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Pit-ClaudelPJEC22
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: 918-933
2019
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/CasinghinoPRADJ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/CasinghinoPRADJ19
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: 123-129

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.