/
index.html
93 lines (79 loc) · 3.61 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
<!DOCTYPE html>
<html>
<head>
<meta charset='utf-8'>
<meta http-equiv="X-UA-Compatible" content="chrome=1">
<meta name="description" content="Dustin Jamner's personal website">
<link rel="stylesheet" type="text/css" media="screen" href="stylesheets/stylesheet.css">
<title>Dustin Jamner</title>
</head>
<body>
<!-- HEADER -->
<div id="header_wrap" class="outer">
<header class="inner">
<div id="header_info">
<h1 id="my_name" class="header_text">Dustin Jamner</h1>
<h4 id="personal_email" class="header_text">
<a href=" mailto:dijamner@mit.edu">
dijamner@mit.edu
</a>
</h4>
<h4 id="personal_github" class="header_text">
<a href="https://github.com/DIJamner">github.com/DIJamner</a>
</h4>
</div>
<img id="personal_image" src="./images/bio-image.jpeg"></img>
</header>
</div>
<!-- MAIN CONTENT -->
<div id="main_content_wrap" class="outer">
<section id="main_content" class="inner">
<p>I'm a PhD student in <a href="http://adam.chlipala.net/">Adam Chlipala</a>'s group at MIT,
working on developing a mechanized framework for
extension-proof compiler verification based on modular specifications for programming languages.
I completed my Bachelor's degree in May 2020 at Northeastern University, where I researched gradual typing, parametric polymorphism, and compositional compiler correctness
in <a href="https://www.ccs.neu.edu/home/amal/">Amal Ahmed</a>'s group.
See my extended resume <a href="resume.pdf">here</a>.
</p>
<h3>Papers and Workshop Talks</h3>
<p>
<a href="https://www.youtube.com/watch?v=qhnG0trkgVE">
Pyrosome: A Framework for Modular, Extensible, Equivalence-Preserving Compilation</a>.</br>
Dustin Jamner, Gabriel Kammer, Adam Chlipala.</br>
In <font class="venue">the Ninth International Workshop on Coq for PL (CoqPL 2023)</font>. Boston, Massachusetts, USA. January 2023. Workshop talk.
</p>
<p>
<a href="papers/rupicola-PLDI22.pdf">
Relational Compilation for Performance-Critical Applications</a>.</br>
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, and Adam Chlipala.</br>
In <font class="venue">the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '22)</font>, San Diego, California, USA. June 2022.
</p>
<p>
<a href="papers/graduality_and_parametricity.pdf">
Graduality and Parametricity: Together Again for the First
Time</a>.</br>
Max New, Dustin Jamner, and Amal Ahmed.</br>
In <font class="venue">the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL '20)</font>, New Orleans, Louisiana, USA. January 2020.
</p>
<p>
Using Binary Analysis Frameworks: The Case for BAP and angr.</br>
Chris Casinghino, Michael Dixon, Jt Paasch, Cody Roux, John Altidor, and Dustin Jamner.</br>
In <font class="venue">the NASA Formal Methods Symposium (NFM '19)</font>, Houston, Texas, USA. May 2019.
</p>
<p>
<a href="http://www.ccs.neu.edu/home/amal/papers/thmfreefree.pdf">
Theorems for Free for Free: Parametricity, With and Without Types</a>.</br>
Amal Ahmed, Dustin Jamner, Jeremy Siek, and Philip Wadler.</br>
In <font class="venue">the ACM SIGPLAN International Conference on Functional Programming (ICFP '17)</font>, Oxford, UK. September 2017.</br>
<a href="http://www.ccs.neu.edu/home/amal/papers/paramblame-tr.pdf">Technical report</a>, June 2017.
</p>
</section>
</div>
<!-- FOOTER -->
<div id="footer_wrap" class="outer">
<footer class="inner">
<p></p>
</footer>
</div>
</body>
</html>