-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathpnwplse-2023.html
241 lines (227 loc) · 11 KB
/
pnwplse-2023.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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
<!DOCTYPE html>
<head>
<title>PNW PLSE 2023</title>
</head>
<header>
<link rel="stylesheet" href="./style.css">
<a href="./index.html">
<h1>PNW PLSE</h1>
</a>
<nav>
<li class="nav-first-row"><a href="./index.html">Home</a></li>
<li class="nav-first-row"><a href="https://www.cs.washington.edu/visitors/getting_here">Travel</a></li>
<li class="nav-first-row"><a href="./history.html">History</a></li>
</nav>
</header>
<body>
<section id="PNW PLSE 2023">
<h3>PNW PLSE 2023</h3>
<p>
The 2023 edition of PNW PLSE took place on Tuesday, May 9 at the Paul G. Allen
Center for Computer Science & Engineering at the University of Washington!
</p>
</section>
<section id="PNW PLSE 2023 Schedule">
<h3>Schedule</h3>
<h4>9:30 - Welcome & Poster Session</h4>
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>ExplainThis</i>
<ul style="list-style-type:none;">
<li>Hannah Potter, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Block-Based Environments for Programming Industrial Robots</i>
<ul style="list-style-type:none;">
<li>Nico Ritschel, University of British Columbia</li>
</ul>
</li>
<li style="margin: 10px"><i>Pollen: A DSL-to-Hardware Compiler</i>
<ul style="list-style-type:none;">
<li>Anshuman Mohan, Cornell University</li>
</ul>
</li>
<li style="margin: 10px"><i>Quantifying Developer Effort in Mutant Detection</i>
<ul style="list-style-type:none;">
<li>Ardi Madadi, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>DSLs for Automated Data Analysis</i>
<ul style="list-style-type:none;">
<li>Eunice Jun, University of Washington</li>
</ul>
</li>
</ul>
<h4>10:30 - Talks</h4>
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Parallel Programming with Chapel</i> (<a href="./slides/2023/Brad Chamberlain.pdf">Slides</a> | <a href="https://drive.google.com/file/d/1xJBGwwYtNBXeUrx4xNF6utIIBlKj6ASx/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Brad Chamberlain, Hewlett Packard Enterprise</li>
</ul>
</li>
<li style="margin: 10px"><i>Generating Test Oracles with Tratto</i>
<ul style="list-style-type:none;">
<li>Elliott Zackrone, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Linear Types for Systems Verification</i> (<a href="./slides/2023/Jialin Li.pdf">Slides</a>)
<ul style="list-style-type:none;">
<li>Jialin Li, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Verified Program Construction</i> (<a href="https://drive.google.com/file/d/14XdepAsHM1ts-tp21UXAqMOEbsB8mkHG/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Shaz Qadeer, Meta Platforms</li>
</ul>
</li>
<li style="margin: 10px"><i>Proof Compilers</i> (<a href="https://drive.google.com/file/d/1e1huyMPzwg9518FAILj3mn7VrKLqT_JQ/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Audrey Seo, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Interactive Code Generation with User-Intent Formalization</i> (<a href="https://drive.google.com/file/d/1jsDlZOtoO-rR2n0Qgf1UZlZP7oWy0EBy/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Shuvendu Lahiri, Microsoft Research</li>
</ul>
</li>
</ul>
<h4>12:00 - Lunch</h4>
<h4>13:00 - Keynote: Patrick Lam</h4>
<i>Hot Takes on Machine Learning for Program Analysis</i> (<a href="https://drive.google.com/file/d/1cfncXsqGw9kFHwi0BBE-VO7JkA1qY8eO/view?usp=share_link">Recording</a>)
<p>
Unless you have been living under a rock, you have noticed the general
popularity of AI/Machine Learning over the last few years.
These techniques have also made their way to program analysis research.
Even though I see my research as focussing on classical static analysis
techniques, it turns out that I've applied Machine Learning techniques in my
own work as early as 2008.
This year, my students and I have done work on Rust bug classification; code
representations for method name/return type prediction in WebAssembly; and
formally verifying Copilot-generated code.
I'll survey less-recent and more-recent applications of machine learning in
program analysis, present overviews of my work, and tell you all about my
opinions about what machine learning is good for in the domain of
static analysis.
</p>
<p>
<b>Bio:</b>
Patrick Lam is going on a West Coast (North America) tour this May and
visiting friends and colleagues, both in the research community and
otherwise.
He is an Associate Professor at the University of Waterloo and is interested
in software engineering applications of static analysis techniques. He is
also planning to get out into the North American mountains before a visit to
the Victoria University of Wellington (New Zealand) on his upcoming
sabbatical. Ask him about New Zealand!
</p>
<h4>13:30 - Lightning Talks</h4>
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Analysis and Synthesis of Musical Counterpoint</i> (<a href="./slides/2023/John Leo.pdf">Slides</a>)
<ul style="list-style-type:none;">
<li>John Leo, Halfaya Research</li>
</ul>
</li>
<li style="margin: 10px"><i>Untangling Git Commits</i>
<ul style="list-style-type:none;">
<li>Thomas Schweizer, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>CodaMOSA</i> (<a href="https://drive.google.com/file/d/1QQq2fbSxukNEa2L7E6FV-wSHey6NAx76/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Caroline Lemieux, University of British Columbia</li>
</ul>
</li>
<li style="margin: 10px"><i>Automated Type Inference in Python</i> (<a href="./slides/2023/Jifeng Wu.pdf">Slides</a> | <a href="https://drive.google.com/file/d/1i54NMwRgqbCv8KPU6Zfpk0KxYL-budiX/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Jifeng Wu, University of British Columbia</li>
</ul>
</li>
<li style="margin:10px"><i>Lakeroad: Hardware Compilation via Program Synthesis</i> (<a href="./slides/2023/Gus Smith.pdf">Slides</a> | <a href="https://drive.google.com/file/d/165w2NcaRdSk_gy80TkHSQDb1z3yLnxyZ/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Gus Smith , University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Semantic Assertions</i>
<ul style="list-style-type:none;">
<li>Ashish Tiwari, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>Fully In-Place Functional Programming</i> (<a href="https://drive.google.com/file/d/1hynPwqzrO2CXeKTsl7Yizwc_dt5iq9b0/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Daan Leijen, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>Programming Abstractions for Quantum Computing</i> (<a href="./slides/2023/Jennifer Paykin.pdf">Slides</a> | <a href="https://drive.google.com/file/d/1WAsXqQZMyNx2Vckvkp2d4xSNd_5oZ4jN/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Jennifer Paykin, Intel</li>
</ul>
</li>
<li style="margin: 10px"><i>Project Zeta</i> (<a href="https://drive.google.com/file/d/1PuYbyG40xylDp8ESIJh3oGRb3piU-woA/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Nikhil Swarmy, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>A DSL Framework for F*</i> (<a href="https://drive.google.com/file/d/1T5bv0CwpwB8OlV8Mgf0UA_wEA1_GIG-Y/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Guido Martinez, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>Compiler Mitigations for Security Risks</i> (<a href="https://drive.google.com/file/d/1TcH2THubzwEGnA6yv_1hVyPtX-80RLAm/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Alexandra Michael, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Wasm-check</i>
<ul style="list-style-type:none;">
<li>Adam Geller, University of British Columbia</li>
</ul>
</li>
<li style="margin:10px"><i>Checked C</i> (<a href="./slides/2023/David Tarditi.pdf">Slides</a> | <a href="https://drive.google.com/file/d/1e8T4sz96FRtYDzqdxMM2AFEf7Cfutn7z/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>David Tarditi, Secure Software Development Project</li>
</ul>
</li>
</ul>
<h4>14:45 - Poster Session Break</h4>
<h4>15:15 - Talks</h4>
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>An Anti-Capitalist, Multicultural, Accessible Programming Language</i> (<a href="https://drive.google.com/file/d/1OD9XlNAPLXTtYFzFY2mpRA-gCoLWFCic/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Amy Ko, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Code-Aware Agents for Cloud Security</i>
<ul style="list-style-type:none;">
<li>Patrice Godefroid, Lacework</li>
</ul>
</li>
<li style="margin: 10px"><i>Live, Rich, and Composable Programming</i>
<ul style="list-style-type:none;">
<li>Josh Horowitz, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Generating High-Performance Communication Kernels</i> (<a href="./slides/2023/Madan Musuvathi.pdf">Slides</a> | <a href="https://drive.google.com/file/d/1KAQq5RBVj8itJir7eyJ3opKL-4yayd1s/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Madan Musuvathi, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>Generating Formally Verified Parsers with EverParse</i> (<a href="./slides/2023/Tahina Ramananandro.pdf">Slides</a> | <a href="https://drive.google.com/file/d/1NaoTweV_thK789pOCq2DTRbEn1wDD1Ld/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Tahina Ramananandro, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>Rich Specifications for Ethereum Smart Contract Verification</i> (<a href="https://drive.google.com/file/d/1Dr3VI-8XtS09Affw5u19LgqnJ2XTWD_k/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Alexander Summers, University of British Columbia</li>
</ul>
</li>
<li style="margin: 10px"><i>Verus: Verifying Rust Programs</i> (<a href="https://drive.google.com/file/d/1fMyRq7gP7-NDxvCD3ppwTTAXDfYxmBDh/view?usp=share_link">Recording</a>)
<ul style="list-style-type:none;">
<li>Chris Hawblitzel, Microsoft Research</li>
</ul>
</li>
</ul>
<h4>17:00 - Poster Session Break</h4>
After the event, folks are welcome to walk over to the Ave near campus for
informal dinner in smaller groups.
</section>
</body>