-
Notifications
You must be signed in to change notification settings - Fork 1
/
pnwplse-2016.html
145 lines (137 loc) · 7.91 KB
/
pnwplse-2016.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
<!DOCTYPE html>
<head>
<title>PNW PLSE 2016</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 2016">
<h3>PNW PLSE 2016</h3>
<p>
The 2016 edition of PNW PLSE took place on Tuesday, March 15 at the Paul G.
Allen Center for Computer Science & Engineering!</p>
</section>
<section id="PNW PLSE 2016 Schedule">
<h3>Schedule</h3>
<h4>Session 1: Tools and Synthesis (Chair: Rishabh Singh)</h4>
12:00 - 14:30
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Data Structure Synthesis</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Floncaric.pdf&sa=D&sntz=1&usg=AOvVaw3qo7YR8wr_5_NJcx1wQYyT">Slides</a>)
<ul style="list-style-type:none;">
<li>Calvin Loncaric, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Generating Evil Test Strings for Regular Expressions</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Flarson.pdf&sa=D&sntz=1&usg=AOvVaw1mYz20ijfc18bO_1lg3DSa">Slides</a>)
<ul style="list-style-type:none;">
<li>Eric Larson, Seattle University</li>
</ul>
</li>
<li style="margin: 10px"><i>Natural Language Processing Meets Software Testing</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fernst.pdf&sa=D&sntz=1&usg=AOvVaw3eEV39CcWiZLul-VjqEKAu">Slides</a>)
<ul style="list-style-type:none;">
<li>Michael D. Ernst, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Investigating Program Behavior with Texada, an LTL Specifications Miner</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fbeschastnikh.pdf&sa=D&sntz=1&usg=AOvVaw2IxQhpLO8NDX1QpX7Z900P">Slides</a>)
<ul style="list-style-type:none;">
<li>Ivan Beschastnikh, University of British Columbia</li>
</ul>
</li>
<li style="margin: 10px"><i>Just-In-Time Static Analysis</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Flivshits.pdf&sa=D&sntz=1&usg=AOvVaw2XHqAJQjAYxl9rOYS5CpUC">Slides</a>)
<ul style="list-style-type:none;">
<li>Ben Livshits, University of Washington and Microsoft Research</li>
</ul>
</li>
</ul>
<h4>Session 2: New Languages (Chair: Emina Torlak)</h4>
14:30 - 16:20
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Teaching with Grace in Introductory Programming Courses</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fblack.pdf&sa=D&sntz=1&usg=AOvVaw2gHFJ6i15kVD_sODnUk6wR">Slides</a>)
<ul style="list-style-type:none;">
<li>Andrew P. Black, Portland State University</li>
</ul>
</li>
<li style="margin: 10px"><i>Chapel: Productive Paralle Programming from the Pacific Northwest</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fchamberlain.pdf&sa=D&sntz=1&usg=AOvVaw1tLY7QE81H31QCkeqEhVfP">Slides</a>)
<ul style="list-style-type:none;">
<li>Brad Chamberlain, University of Washington and Cray</li>
</ul>
</li>
<li style="margin: 10px"><i>Dart: Experiences Compiling to JavaScript</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fmenon.pdf&sa=D&sntz=1&usg=AOvVaw0PCQ_FWMSytBmEvsEs14At">Slides</a>)
<ul style="list-style-type:none;">
<li>Vijay Menon, Google Seattle</li>
</ul>
</li>
<li style="margin: 10px"><i>Choice Calculus & Variational Programming</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fwalkingshaw.pdf&sa=D&sntz=1&usg=AOvVaw130IZzRwcajtI2arGzUDDJ">Slides</a>)
<ul style="list-style-type:none;">
<li>Eric Walkingshaw, Oregon State University</li>
</ul>
</li>
</ul>
<h4>Session 3: Analysis and Formal Methods (Chair: Ben Zorn)</h4>
16:20 - 18:00
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Differential Program Verification: Leveraging and Extending Program Verification for Reasoning about Program Differences</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Flahiri.pdf&sa=D&sntz=1&usg=AOvVaw0xsTXIzTSuuNYLwKjLiWiE">Slides</a>)
<ul style="list-style-type:none;">
<li>Shuvendu Lahiri, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Static Analysis for Security at Facebook scale</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Flogozzo.pdf&sa=D&sntz=1&usg=AOvVaw3TSCABToD8GxZqdiz1KnMK">Slides</a>)
<ul style="list-style-type:none;">
<li>Francesco Logozzo, Facebook</li>
</ul>
</li>
<li style="margin: 10px"><i>Verification of Type Systems via Symbolic Execution</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fchandra.pdf&sa=D&sntz=1&usg=AOvVaw3I9nnOocxq8SsLhieakaZF">Slides</a>)
<ul style="list-style-type:none;">
<li>Kartik Chandra, Henry M. Gunn High School</li>
</ul>
</li>
<li style="margin: 10px"><i>Towards a Formally Verified Storage Stack</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fwang.pdf&sa=D&sntz=1&usg=AOvVaw2voDSg4pfZCql2SnnlCPZD">Slides</a>)
<ul style="list-style-type:none;">
<li>Xi Wang, University of Washington</li>
</ul>
</li>
</ul>
<h4>Lightning Talks (Chair: Zach Tatlock)</h4>
18:00 - 19:00
<ul style="list-style-type:none;">
<li style="margin: 10px"><i>Semantic Software Adaptation Using Verified Lifting</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fcheung.pdf&sa=D&sntz=1&usg=AOvVaw1QQ6jG-206c_-myBxE46vV">Slides</a>)
<ul style="list-style-type:none;">
<li>Alvin Cheung, University of Washington</li>
</ul>
</li>
<li style="margin: 10px"><i>Modelling program semantics in an automated program verifier</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fleino.pdf&sa=D&sntz=1&usg=AOvVaw0oEeS2VKHkBmHAS0E4XRPp">Slides</a>)
<ul style="list-style-type:none;">
<li>K. Rustan M. Leino, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>BlinkFill: Semi-supervised Data Transformation by Examples</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fsingh.pdf&sa=D&sntz=1&usg=AOvVaw3srENps_cSPnE2BpSBcHWz">Slides</a>)
<ul style="list-style-type:none;">
<li>Rishabh Singh, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>Using the CycleFree Methodology to construct correct concurrent programs</i> (<a href="https://www.google.com/url?q=https%3A%2F%2Fhomes.cs.washington.edu%2F~akcheung%2Fpnw16%2Fleblanc.pdf&sa=D&sntz=1&usg=AOvVaw1eSIH6HWetXjoaKyvP1n3B">Slides</a>)
<ul style="list-style-type:none;">
<li>Rich LeBlanc, Seattle University</li>
</ul>
</li>
<li style="margin: 10px"><i>Live Programming for Live Data</i>
<ul style="list-style-type:none;">
<li>Rob DeLine, Microsoft Research</li>
</ul>
</li>
<li style="margin: 10px"><i>Disruptive Technology and the Future of Programming Language Research</i>
<ul style="list-style-type:none;">
<li>Ben Zorn, Microsoft Research</li>
</ul>
</li>
</ul>
</section>
</body>