-
Notifications
You must be signed in to change notification settings - Fork 1
/
pnwplse-2018.html
137 lines (128 loc) · 6.27 KB
/
pnwplse-2018.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
<!DOCTYPE html>
<head>
<title>PNW PLSE 2018</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 2018</h3>
<p>
The 2018 edition of PNW PLSE took place at MSR Building 99 at the Microsoft
Research Campus, on Tuesday May 14, 2018.
</p>
</section>
<section id="PNW PLSE 2018 Schedule">
<h3>Schedule</h3>
<h4>Session 1 (<a href="https://www.microsoft.com/en-us/research/uploads/prod/2018/05/41246.compressed.pdf">Slides</a>)</h4>
Welcome and introductions from Ben Zorn, Tom Ball, and Zach Tatlock.
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Concerto: Towards a Framework for Combined Concrete and Abstract Interpretation</i> (<a href="https://youtu.be/HJtvzyaGgGQ?t=149">Recording</a>)
<ul style="list-style-type:none;">
<li>John Toman and Dan Grossman</li>
</ul>
</li>
<li style="margin: 10px"><i>The Time for Proof Reuse is Now!</i> (<a href="https://youtu.be/HJtvzyaGgGQ?t=997">Recording</a>)
<ul style="list-style-type:none;">
<li>Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman</li>
</ul>
</li>
<li style="margin: 10px"><i>Puddle: An OS for Reliable High-Level Programming of Digital Microfluidic Devices</i> (<a href="https://youtu.be/HJtvzyaGgGQ?t=1653">Recording</a>)
<ul style="list-style-type:none;">
<li>Max Willsey, Luis Ceze, and Karin Strauss</li>
</ul>
</li>
<li style="margin: 10px"><i>Inferring Likely Distributed System State Invariant</i> (<a href="https://youtu.be/HJtvzyaGgGQ?t=2566">Recording</a>)
<ul style="list-style-type:none;">
<li>Stewart Grant and Ivan Beschastnikh</li>
</ul>
</li>
</ul>
<h4>Session 2 (<a href="https://www.microsoft.com/en-us/research/uploads/prod/2018/05/41247-ilovepdf-compressed.pdf">Slides</a>)</h4>
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Helping Designers Explore the Space of Layout Variations with Constraints</i> (<a href="https://youtu.be/nWoLsMr_av8?t=18">Recording</a>)
<ul style="list-style-type:none;">
<li>Amanda Swearngin, Amy J. Ko, and James Fogarty</li>
</ul>
</li>
<li style="margin: 10px"><i>Platform-Independent Migration of Stateful JavaScript IoT Applications</i> (<a href="https://youtu.be/nWoLsMr_av8?t=774">Recording</a>)
<ul style="list-style-type:none;">
<li>Julien Gascon-Samson, Kumseok Jung, and Karthik Pattabiraman</li>
</ul>
</li>
<li style="margin: 10px"><i>Compiling Distributed Systems</i> (<a href="https://youtu.be/nWoLsMr_av8?t=1538">Recording</a>)
<ul style="list-style-type:none;">
<li>Matthew Do, Renato Mascarenhas, Brandon Zhang, Finn Hackett, Stewart Grant, and Ivan Beschastnikh</li>
</ul>
</li>
<li style="margin: 10px"><i>What bugs and tests should we use in experiments?</i> (<a href="https://youtu.be/nWoLsMr_av8?t=2282">Recording</a>)
<ul style="list-style-type:none;">
<li>René Just and Michael D. Ernst</li>
</ul>
</li>
<li style="margin: 10px"><i>Verifying Web Pages</i> (<a href="https://youtu.be/nWoLsMr_av8?t=3265">Recording</a>)
<ul style="list-style-type:none;">
<li>Pavel Pancheckha, Adam Geller, Michael D. Ernst, Shoaib Kamil, and Zachary Tatlock</li>
</ul>
</li>
</ul>
<h4>Session 3 (<a href="https://www.microsoft.com/en-us/research/uploads/prod/2018/06/41248.compressed.pdf">Slides</a>)</h4>
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Project Everest: Theory Meets Reality</i> (<a href="https://www.youtube.com/watch?v=inJaA859m-Q">Recording</a>)
<ul style="list-style-type:none;">
<li>Jonathan Protzenko</li>
</ul>
</li>
</ul>
<h4>Session 4 (<a href="https://www.microsoft.com/en-us/research/uploads/prod/2018/05/41249.compressed.pdf">Slides</a>)</h4>
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Continuously Integrated Verified Cryptography</i> (<a href="https://www.youtube.com/watch?v=7cbITvLUp7o">Recording</a>)
<ul style="list-style-type:none;">
<li>Mike Dodds - featured talk</li>
</ul>
</li>
<li style="margin: 10px"><i>Helena: A Web Automation Language for End Users</i> (<a href="https://youtu.be/7cbITvLUp7o?t=918">Recording</a>)
<ul style="list-style-type:none;">
<li>Sarah Chasins and Ras Bodik</li>
</ul>
</li>
<li style="margin: 10px"><i>Sinking Point</i> (<a href="https://youtu.be/7cbITvLUp7o?t=1739">Recording</a>)
<ul style="list-style-type:none;">
<li>Bill Zorn and Dan Grossman</li>
</ul>
</li>
<li style="margin: 10px"><i>Verified Extraction with Native Types</i> (<a href="https://youtu.be/7cbITvLUp7o?t=2621">Recording</a>)
<ul style="list-style-type:none;">
<li>Stuart Pernsteiner, Eric Mullen, James R. Wilcox, Zachary Tatlock, and Dan Grossman</li>
</ul>
</li>
</ul>
<h4>Session 5 (<a href="https://www.microsoft.com/en-us/research/uploads/prod/2018/07/5b43a5157a95b-5b43a5157a95dPNW-PLSE-Workshop-Featured-Talk-Why-Not-Both-Applications-of-Variational-Programming-Chapel-Comes-of-Age-Productive-Parallelism-at-Scale-slides.pdf.pdf">Slides</a>)</h4>
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Why Not Both? Applications of Variational Programming</i> (<a href="https://www.youtube.com/watch?v=xOOZi2MexRk">Recording</a>)
<ul style="list-style-type:none;">
<li>Eric Walkingshaw - featured talk</li>
</ul>
</li>
<li style="margin: 10px"><i>Chapel Comes of Age: Productive Parallelism at Scale</i> (<a href="https://youtu.be/xOOZi2MexRk?t=1224">Recording</a>)
<ul style="list-style-type:none;">
<li>Brad Chamberlain</li>
</ul>
</li>
<li style="margin: 10px"><i>Musical Ornaments</i> (<a href="https://youtu.be/xOOZi2MexRk?t=2094">Recording</a>)
<ul style="list-style-type:none;">
<li>John Leo</li>
</ul>
</li>
</ul>
</section>
</body>