Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dustin Jamner
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
PLDI 2022 profile
PLDI 2024 profile
POPL 2023 profile
Registered user since Wed 10 May 2023
Name:
Dustin Jamner
Affiliation:
MIT CSAIL
Personal website:
https://jamner.net
Contributions
2025
SPLASH
Author of Pyrosome: Verified Compilation for Modular Metatheory within the OOPSLA-track
2024
ICFP
Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track
PLDI
Author of Foundational Integration Verification of a Cryptographic Server within the PLDI Research Papers-track
2023
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
CoqPL
Author of Pyrosome: A Framework for Modular, Extensible, Equivalence-Preserving Compilation within the CoqPL 2023-track
2022
PLDI
Author of Relational Compilation for Performance-Critical Applications within the PLDI-track
Share
x
Sat 27 Sep 10:37
