-
Notifications
You must be signed in to change notification settings - Fork 1
/
seminar.html
114 lines (111 loc) · 5.4 KB
/
seminar.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
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="viewport" content="width=device-width">
<link rel="shortcut icon" type="image/png" href="assets/background/logo.png" />
<title>Berkeley Programming Systems Seminar Summer 2020</title>
<link rel="stylesheet" id="twentytwelve-fonts-css" href="main.css" type="text/css" media="all">
<link
href="https://fonts.googleapis.com/css2?family=Open+Sans:ital,wght@0,300;0,400;0,600;0,700;0,800;1,300;1,400;1,600;1,700;1,800&display=swap"
rel="stylesheet">
</head>
<body>
<header>
<h1><span style="color:white">Berkeley</span> Programming Systems Seminar</h1>
</header>
<div class="main">
<p>
The <a href="index.html">Berkeley Programming Systems</a> Seminar takes place every Thursday at 12:30pm Pacific. To receive weekly Zoom
invitations, join the <a href="https://groups.google.com/a/lists.berkeley.edu/d/forum/ps-seminar-summer">mailing
list</a>. If you have any questions about the seminar, please ask <a
href="mailto:rohanpadhye@cs.berkeley.edu">Rohan Padhye</a> or
<a href="mailto:fmora@cs.berkeley.edu">Federico Mora</a>.
</p>
<div class="schedule">
<h2>Summer 2020 Schedule</h2>
<table>
<tr>
<th>Date</th>
<th>Speaker</th>
<th>Affiliation</th>
<th>Talk Title (Links point to <a href="https://www.youtube.com/playlist?list=PLgM7R8ZxXp4mBDYXkWL_qcvOgE5EyMdu4">video recordings</a>)</th>
</tr>
<tr>
<td class="nowrap">May 28</td>
<td class="nowrap"><a href="http://home.cse.ust.hk/~lweiae/">Lili Wei</a></td>
<td>Hong Kong University of Science and Technology</td>
<td>Taming Fragmentation-Induced Compatibility Issues in Android Applications</td>
</tr>
<tr>
<td class="nowrap">June 4</td>
<td class="nowrap"><a href="http://www.cs.utah.edu/~jubi">Jubi Taneja</a></td>
<td>University of Utah</td>
<td><a href="https://www.youtube.com/watch?v=de8Ak0nY1hA">Improving Compiler Construction Using Formal Methods</a></td>
</tr>
<tr>
<td class="nowrap">June 11</td>
<td class="nowrap"><a href="https://rachitnigam.com/">Rachit Nigam</a></td>
<td>Cornell University</td>
<td><a href="https://www.youtube.com/watch?v=hp_RwcnrFJg">Predictable Accelerator Design with Time-Sensitive Affine Types</a></td>
</tr>
<tr>
<td class="nowrap">June 18</td>
<td class="nowrap"><a href="http://www.cs.toronto.edu/~victorn/">Victor Nicolet</a></td>
<td>University of Toronto</td>
<td>Synthesizing Divide-and-Conquer Algorithms from Naive Sequential Code</td>
</tr>
<tr>
<td class="nowrap">June 25</td>
<td class="nowrap"><a href="https://jwyoung1818.github.io/">Junwen Yang</a></td>
<td>University of Chicago</td>
<td><a href="https://www.youtube.com/watch?v=-l2VquXnG_0">Managing data constraints in database-backed web applications</a></td>
</tr>
<tr>
<td class="nowrap">July 9</td>
<td class="nowrap"><a href="https://www.cs.columbia.edu/~jw3354/">Justin Wong</a><br><a href="https://dblp.uni-trier.de/pers/hd/y/Yao:Jianan">Jianan Yao</a></td>
<td>Columbia University</td>
<td><a href="https://youtu.be/bqh5ppDOhb4">CLN2INV: Learning Loop Invariants with Continuous Logic Networks</a></td>
</tr>
<tr>
<td class="nowrap">July 16</td>
<td class="nowrap"><a href="https://paulhe.com/">Paul He</a></td>
<td>University of Pennsylvania</td>
<td>Semantics for Separation Types</td>
</tr>
<tr>
<td class="nowrap">July 23</td>
<td class="nowrap"><a href="https://pleiad.cl/people/elabrada">Elizabeth Labrada</a><br><a href="https://pleiad.cl/people/mtoro">Matías Toro</a></td>
<td>University of Chile</td>
<td>Gradual System F</td>
</tr>
<tr>
<td class="nowrap">July 30</td>
<td class="nowrap"><a href="https://scholar.google.com/citations?user=Gz4-FLkAAAAJ&hl=en">Shankara Pailoor</a>
</td>
<td>University of Texas at Austin</td>
<td>Automated Policy Synthesis for System Call Sandboxing</td>
</tr>
<tr>
<td class="nowrap">August 6</td>
<td class="nowrap"><a href="https://chenglongwang.org/">Chenglong Wang</a></td>
<td>University of Washington</td>
<td><a href="https://youtu.be/C1REK0IUbew">Visualization By Example: Theory and Practice</a></td>
</tr>
<tr>
<td class="nowrap">August 13</td>
<td class="nowrap"><a href="https://www.cc.gatech.edu/grads/f/fbehrang/">Farnaz Behrang</a></td>
<td>Georgia Institute of Technology</td>
<td><a href="https://youtu.be/V2sofrTLMbA">Leveraging Existing Software Artifacts to Support Design, Development, and Testing of Mobile Applications</a></td>
</tr>
<tr>
<td class="nowrap">August 20</td>
<td class="nowrap"><a href="https://people.eecs.berkeley.edu/~dinh/">Grace Dinh</a></td>
<td>University of California, Berkeley</td>
<td>Communication-Optimal Tilings for Projective Nested Loops with Arbitrary Bounds</td>
</tr>
</table>
</div>
</div>
</body>
</html>