PageSourceSearch

https://www.pldi21.org/home.html

html pldi21.org collected 2026-09-24 18:06:37 UTC 59,812 bytes, 619 lines download raw bytes

1
2
3
4
5<!DOCTYPE html>
6<html lang="en">
7<head>
8  
9
10  <!-- Required meta tags -->
11  <meta charset="utf-8"/>
12  <meta
13  name="viewport"
14  content="width=device-width, initial-scale=1, shrink-to-fit=no"
15  />
16  
17  <!-- External Javascript libs_ext  -->
18  
18<script src="https://cdn.jsdelivr.net/npm/d3@5/dist/d3.min.js"></script>
18
19  
20  
20<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/handlebars.min.js"
21  integrity="sha256-/PJBs6QWvXijOFIX04kZpLb6ZtSQckdOIavLWKKOgXU="
22  crossorigin="anonymous"></script>
22
23  
24  
24<script src="https://cdn.jsdelivr.net/npm/js-cookie@2/src/js.cookie.min.js"></script>
24
25  
26  
26<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/jquery.min.js"
27  integrity="sha256-CSXorXvZcTkaix6Yvo6HppcZGetbYMGWSFlBw8HfCJo="
28  crossorigin="anonymous"></script>
28
29  
30  
30<script
31  src="https://cdn.jsdelivr.net/npm/[email protected]/dist/umd/popper.min.js"
32  integrity="sha384-Q6E9RHvbIyZFJoft+2mJbHaEWldlvI9IOYy5n3zV9zzTtmI3UksdQRVvoxMfooAo"
33  crossorigin="anonymous"
34  ></script>
34
35  
36  
36<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap.min.js"
37  integrity="sha256-WqU1JavFxSAMcLP2WIOI+GB2zWmShMI82mTpLDcqFUg="
38  crossorigin="anonymous"></script>
38
39  
40  
40<script src="https://cdn.jsdelivr.net/npm/[email protected]/min/moment.min.js"
41  integrity="sha256-4iQZ6BVL4qNKlQ27TExEhBN1HFPvAvAMbFavKKosSWQ="
42  crossorigin="anonymous"></script>
42
43  
44  
44<script src="https://cdn.jsdelivr.net/npm/[email protected]/builds/moment-timezone-with-data.min.js"
45  integrity="sha256-IWYg4uIC8/erItNXYvLtyYHioRi2zT1TFva8qaAU/ww="
46  crossorigin="anonymous"></script>
46
47  
48  
49  <!-- Library libs_ext -->
50  
50<script src="static/js/libs_ext/typeahead.bundle.js"></script>
50
51  
52  
53  <!--    Internal Libs -->
54  
54<script src="static/js/data/api.js"></script>
54
55  
55<script src="static/js/modules/urlParams.js"></script>
55
56  
56<script src="static/js/modules/timeZones.js"></script>
56
57  
58  <!-- External CSS -->
59  <!-- <link rel="stylesheet"
60  href="https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap.min.css"
61  integrity="sha256-YLGeXaapI0/5IgZopewRJcFXomhRMlYYjugPLSyNjTY="
62  crossorigin="anonymous"> -->
63
64  <link rel="stylesheet" href="static/css/bootstrap.min.css"/>
65
66  <link href='https://cdn.jsdelivr.net/npm/@fortawesome/[email protected]/css/all.css' rel='stylesheet'>
67  
68  <!-- External Fonts (no google for china) -->
69  <link
70  href="static/css/Lato.css"
71  rel="stylesheet"
72  />
73  <link href="static/css/Exo.css" rel="stylesheet"/>
74  <link
75  href="static/css/Cuprum.css"
76  rel="stylesheet"
77  />
78  <link rel="stylesheet" href="static/css/main.css"/>
79  <!--    <link rel="stylesheet" href="static/css/fa_regular.css"/>-->
80  <link rel="stylesheet" href="static/css/fa_solid.css"/>
81  <link rel="stylesheet" href="static/css/lazy_load.css"/>
82  <link rel="stylesheet" href="static/css/typeahead.css"/>
83  
84  <title>PLDI 2021: Home</title>
85    
86
87<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/css/bootstrap-select.min.css"/>
88<script src="https://cdn.jsdelivr.net/npm/[email protected]/dist/js/bootstrap-select.min.js"></script>
88
89
90<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/main.min.css" integrity="sha256-LOn2s1oZo044zPt6G3x2mGJnhtfXp6ZE1skHztfqnA8=" crossorigin="anonymous">
91<link href='https://cdn.jsdelivr.net/npm/@fortawesome/[email protected]/css/all.css' rel='stylesheet'>
92
93<script src="https://cdn.jsdelivr.net/npm/[email protected]/main.min.js" integrity="sha256-9puLsDK3mkUV8FSsGLlSRT+uJogUINfaCq56mzSUP/w=" crossorigin="anonymous"></script>
vendor: 1 bytes, line 93
93
94<script src="static/js/modules/pldiEvents.js"></script>
vendor: 1 bytes, line 94
94
95<script src="static/js/views/full-calendar.js"></script>
95
96
97<link href="static/css/cf-list.css" rel='stylesheet'>
98
99
100
101    
102    
103    
104  </head>
105  
106  <body>
107
108    <!-- NAV -->
109    
110    <nav
111  class="navbar sticky-top navbar-expand-lg navbar-light bg-light mr-auto p-0"
112  id="main-nav"
113  >
114    <div class="container mt-1">
115      <a class="navbar-brand" href="home.html">
116        <img
117        class="logo" src="static/images/pldi21-logo-clear.png"
118        height="auto"
119        width="100px"
120        />
121      </a>
122      
123      <button
124      class="navbar-toggler"
125      type="button"
126      data-toggle="collapse"
127      data-target="#navbarNav"
128      aria-controls="navbarNav"
129      aria-expanded="false"
130      aria-label="Toggle navigation"
131      >
132      <span class="navbar-toggler-icon"></span>
133      </button>
134      <div
135      class="collapse navbar-collapse text-right flex-grow-1"
136      id="navbarNav"
137      >
138        <ul class="navbar-nav ml-auto">
139          
140          
141          <li class="nav-item active">
142            <a class="nav-link" href="home.html">
143              Home
144            </a>
145          </li>  
146          
147          
148          
149          
150          <li class="nav-item ">
151            <a class="nav-link" href="calendar.html">
152              Schedule
153            </a>
154          </li>  
155          
156          
157          
158          
159          <li class="nav-item ">
160            <a class="nav-link" href="plenary.html">
161              Featured
162            </a>
163          </li>  
164          
165          
166          
167          
168          <li class="nav-item ">
169            <a class="nav-link" href="papers.html">
170              Papers
171            </a>
172          </li>  
173          
174          
175          
176          
177          <li class="nav-item dropdown  ">
178            <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
179              PLDI Tracks
180            </a>
181            <div class="dropdown-menu" aria-labelledby="navbarDropdown">
182              
183              <a class="dropdown-item" href="track_pldi-A.html"> PLDI A </a>
184              
185              <a class="dropdown-item" href="track_pldi-B.html"> PLDI B </a>
186              
187            </div>
188          </li>
189          
190          
191          
192          
193          <li class="nav-item ">
194            <a class="nav-link" href="workshops.html">
195              Colocated
196            </a>
197          </li>  
198          
199          
200          
201          
202          <li class="nav-item ">
203            <a class="nav-link" href="socials.html">
204              Community
205            </a>
206          </li>  
207          
208          
209          
210          
211          <li class="nav-item ">
212            <a class="nav-link" href="sponsors.html">
213              Sponsors
214            </a>
215          </li>  
216          
217          
218          
219          
220          <li class="nav-item ">
221            <a class="nav-link" href="help.html">
222              Help
223            </a>
224          </li>  
225          
226          
227          
228          <li><a type="button" class="btn btn-warning bt-margin mt-2 ml-1 btn-sm " style="padding: .12rem .5rem;" href="https://pldi21.slack.com/app_redirect?channel=general" target="_blank">#Slack</a></li>        
229          <li><a type="button" class="btn btn-success bt-margin mt-2 ml-1 btn-sm " style="padding: .12rem .5rem; white-space: nowrap;" href="https://gather.town/" target="_blank"><i class="fas fa-users"></i>&nbsp;Gather</a></li>
230        </ul>
231      </div>
232    </div>
233  </nav>
234
235
236
237  
238  
239
240
241<!-- User Overrides -->
242
243<style>
244  .back {
245    background: url("static/images/pldi-sunrise.jpg") no-repeat center;
246    background-size: cover;
247  }
248  
249  .back h2 {
250    font-family: "Lato", sans-serif;
251    font-weight: 900;
252  }
253</style>
254
255<div class="jumbotron jumbotron-fluid back" style="padding-bottom: 20px;">
256  <div class="row header p-6 m-5">
257    <div class="p-1 mx-auto text-center text-white col-md-9 col-sm-12">
258      <h2>
259        PLDI
260      </h2>
261      <h2 class="pt-5">
262        June 20-25, 2021
263      </h2>
264    </div>
265  </div>
266  <h5 class="text-white mx-auto text-center text-white">Colocated Events: 
267    
268    
269    <a class="link-light text-light" href="/track_hopl.html">HOPL IV</a>, 
270    
271    
272    <a class="link-light text-light" href="/track_ismm.html">ISMM</a>, 
273    
274    
275    <a class="link-light text-light" href="/track_lctes.html">LCTES</a>, 
276    
277    
278    <a class="link-light text-light" href="/track_array.html">ARRAY</a>, 
279    
280    
281    <a class="link-light text-light" href="/track_infer.html">Infer Practitioners</a>, 
282    
283    
284    <a class="link-light text-light" href="/track_maps.html">MAPS</a>, 
285    
286    
287    <a class="link-light text-light" href="/track_planqc.html">PLanQC</a>, 
288    
289    
290    <a class="link-light text-light" href="/track_plmw.html">PLMW</a>, 
291    
292    
293    <a class="link-light text-light" href="/track_soap.html">SOAP</a>, 
294    
295     and 
296    <a class="link-light text-light" href="/workshops.html#tutorials">Tutorials</a>
297    
298    </h5>
299</div>
300
301<div class="container">
302  <div class="alert alert-primary mx-4" role="alert">
303    <h3>Thanks for Attending PLDI 2021</h3>    
304    <h5>July 6, 2021</h5>    
305    The conference is now at an end.  Thanks for being part of it and making it such a success. 
306    This site is now publicly available for all to enjoy. 
307    <!-- Pardon our dust as we begin
308    post-production on the streams and website materials in advance of making them publicly available 
309    a little bit later in the summer.-->
310    Best wishes, and see you at PLDI 2022!   
311  </div>
312</div>
313
314
315
316<div class="container">
317  <!-- Heading -->
318  <div class="heading">
319     
320  </div>
321  <!-- Tabs -->
322  <div class="tabs">
323     
324  </div>
325  <!-- Content -->
326  <div class="content p-2">
327    
328
329<script>
330  
331  var calendar;
332  
333  document.addEventListener('DOMContentLoaded', async function () {
334    calendar = await makeFrontPageCalendar('calendar', 'lastUpdate', {
335      height: "350px",
336      initialDate: '2021-06-20',
337      validRange: {
338        start: '2021-06-20',
339        end: '2021-06-27'
340      },
341    },
342    '[{"UID": "pldi_src_posters", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-22T12:00:00-04:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-22T10:00:00-04:00", "title": "SRC Poster Session", "tooltip": ""}, {"UID": "pldi_talks1A", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-23T13:35:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-23T13:00:00+00:00", "title": "Talks 1A: Concurrent and Distributed Programming", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks1B", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-23T13:35:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-23T13:00:00+00:00", "title": "Talks 1B: Verification", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters1", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-23T14:30:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-23T13:35:00+00:00", "title": "Poster Session 1", "tooltip": ""}, {"UID": "pldi_ama_1", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-23T15:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-23T14:30:00+00:00", "title": "AMA: Kim Hazelwood (Facebook AI Research), Emery Berger (University of Massachusetts Amherst), Michael Carbin (MIT) -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks2A", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-23T18:05:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-23T17:30:00+00:00", "title": "Talks 2A: Machine Learning", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks2B", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-23T18:05:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-23T17:30:00+00:00", "title": "Talks 2B: Language Design and Programming Models", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters2", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-23T19:00:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-23T18:05:00+00:00", "title": "Poster Session 2", "tooltip": ""}, {"UID": "pldi_talks1A_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T01:35:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-24T01:00:00+00:00", "title": "Talks 1A: Concurrent and Distributed Programming", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks1B_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T01:35:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-24T01:00:00+00:00", "title": "Talks 1B: Verification", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters1_mirror", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-24T02:30:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-24T01:35:00+00:00", "title": "Poster Session 1", "tooltip": ""}, {"UID": "pldi_ama_1_mirror", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-24T03:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-24T02:30:00+00:00", "title": "AMA: Cristina Cifuentes (Oracle Labs), June Andronick (Proofcraft, UNSW and seL4 Foundation)  -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_ama_1b_mirror", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-24T05:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-24T04:30:00+00:00", "title": "AMA: James Noble (Victoria University of Wellington), Sriram Rajamani (MSR India)  -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks2A_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T06:05:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-24T05:30:00+00:00", "title": "Talks 2A: Machine Learning", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks2B_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T06:05:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-24T05:30:00+00:00", "title": "Talks 2B: 
342Language Design and Programming Models", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters2_mirror", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-24T07:00:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-24T06:05:00+00:00", "title": "Poster Session 2", "tooltip": ""}, {"UID": "pldi_talks3A", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T13:40:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-24T13:00:00+00:00", "title": "Talks 3A: Program Analysis and Synthesis", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks3B", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T13:40:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-24T13:00:00+00:00", "title": "Talks 3B: Architectures and Systems", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters3", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-24T14:30:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-24T13:40:00+00:00", "title": "Poster Session 3", "tooltip": ""}, {"UID": "pldi_invite2", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-24T15:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-24T14:30:00+00:00", "title": "Invited Talk: Alex Aiken (Stanford)  -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_src_talks", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T17:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-24T16:15:00+00:00", "title": "SRC Finalist Technical Talks  -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks4A", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T18:05:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-24T17:30:00+00:00", "title": "Talks 4A: Program Analysis and Synthesis", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks4B", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-24T18:05:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-24T17:30:00+00:00", "title": "Talks 4B: Concurrency, Compilation, and Debugging", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters4", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-24T19:00:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-24T18:05:00+00:00", "title": "Poster Session 4", "tooltip": ""}, {"UID": "pldi_talks3A_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T01:40:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T01:00:00+00:00", "title": "Talks 3A: Program Analysis and Synthesis", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks3B_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T01:40:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-25T01:00:00+00:00", "title": "Talks 3B: Architectures and Systems", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters3_mirror", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-25T02:30:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-25T01:40:00+00:00", "title": "Poster Session 3", "tooltip": ""}, {"UID": "pldi_invite2_mirror", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-25T03:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T02:30:00+00:00", "title": "Invited Talk: Alex Aike
342n (Stanford)", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_src_talks_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T05:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T04:15:00+00:00", "title": "SRC Finalist Technical Talks", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks4A_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T06:05:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T05:30:00+00:00", "title": "Talks 4A: Program Analysis and Synthesis", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks4B_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T06:05:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-25T05:30:00+00:00", "title": "Talks 4B: Concurrency, Compilation, and Debugging", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters4_mirror", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-25T07:00:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-25T06:05:00+00:00", "title": "Poster Session 4", "tooltip": ""}, {"UID": "pldi_talks5A", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T13:40:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T13:00:00+00:00", "title": "Talks 5A: Machine Learning and Probabilistic Programming", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks5B", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T13:40:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-25T13:00:00+00:00", "title": "Talks 5B: Defect Detection and Repair", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters5", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-25T14:30:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-25T13:40:00+00:00", "title": "Poster Session 5", "tooltip": ""}, {"UID": "pldi_invite3", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-25T15:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T14:30:00+00:00", "title": "Invited Talk: Michelle Strout (HPE and University of Arizona) -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_ama_2", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-25T17:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T16:30:00+00:00", "title": "AMA: Madan Musuvathi (MSR), Philippa Gardner (Imperial College London), Rustan Leino (Amazon) -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks6A", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T18:05:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T17:30:00+00:00", "title": "Talks 6A: Language Implementation", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks6B", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-25T18:05:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-25T17:30:00+00:00", "title": "Talks 6B: Applied Logics and Semantics", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters6", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-25T19:00:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-25T18:05:00+00:00", "title": "Poster Session 6", "tooltip": ""}, {"UID": "pldi_invite_milner", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-25T16:00:00-04:00", "info_link": "/track_pldi-A.html", "start": "2021-06-25T15:00:00-04:00", "title": "Invited Talk: Robin Milner Young Researcher Award -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks5A_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-26T01:40:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-26T01:00:00+00:00", "title": "Talks 5A: Machine Learning and Probabilistic Programming", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks5B_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-26T01:40:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-26T01:00:00+00:00", "title": "Talks 5B: Defect Detection and Repair", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters5_mirror", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-26T02:30:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-26T01:40:00+00:00", "title": "Poster Session 5", "tooltip": ""}, {"UID": "pldi_invite3_mirror", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-26T03:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-26T02:30:00+00:00", "title": "Invited Talk: Michelle Strout (HPE and University of Arizona)", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_ama_2_mirror", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-26T05:30:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-26T04:30:00+00:00", "title": "AMA: Sukyoung Ryu (KAIST), Joxan Jaffar (National University of Singapore) -- live Q\u0026A", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks6A_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-26T06:05:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-26T05:30:00+00:00", "title": "Talks 6A: Language Implementation", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_talks6B_mirror", "category": "paper-session", "conf_abbrev": "PLDI", "end": "2021-06-26T06:05:00+00:00", "info_link": "/track_pldi-B.html", "start": "2021-06-26T05:30:00+00:00", "title": "Talks 6B: Applied Logics and Semantics", "tooltip": "", "track": {"link": "track_pldi-B.html", "location": "PLDI-B"}, "trackUID": "pldi-B"}, {"UID": "pldi_posters6_mirror", "category": "poster", "conf_abbrev": "PLDI", "end": "2021-06-26T07:00:00+00:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "info_link": "/track_pldi-A.html", "start": "2021-06-26T06:05:00+00:00", "title": "Poster Session 6", "tooltip": ""}, {"UID": "pldi_invite_milner_mirror", "category": "plenary", "conf_abbrev": "PLDI", "end": "2021-06-26T08:00:00+00:00", "info_link": "/track_pldi-A.html", "start": "2021-06-26T07:00:00+00:00", "title": "Invited Talk: Robin Milner Young Researcher Award", "tooltip": "", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_ind_rec", "category": "sponsor", "conf_abbrev": "Sponsor", "end": "2021-06-23T17:30:00+00:00", "gather": {"link": "https://gather.town/?spawnx=30\u0026spawny=30\u0026map=sponsors", "location": "Gather Sponsor Hall"}, "info_link": "/track_pldi-A.html", "start": "2021-06-23T16:30:00+00:00", "title": "Industrial Reception", "tooltip": ""}, {"category": "sponsor", "conf_abbrev": "Sponsor", "end": "2021-06-24T12:30:00-04:00", "info_link": "/sponsor_google.html", "start": "2021-06-24T11:30:00-04:00", "title": "Google: Join us for a Q\u0026A session", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "sponsor", "conf_abbrev": "Sponsor", "end": "2021-06-24T12:30:00-04:00", "info_link": "/sponsor_oracle.html", "start": "2021-06-24T12:00:00-04:00", "title": "Oracle: Chat with Guy Steele", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "sponsor", "conf_abbrev": "Sponsor", "end": "2021-06-25T12:30:00-04:00", "info_link": "/sponsor_oracle.html", "start": "2021-06-25T12:00:00-04:00", "title": "Oracle: Chat with Guy Steele", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-23T16:00:00-04:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "global": true, "info_link": "/socials.html#opening", "start": "2021-06-23T15:00:00-04:00", "title": "Opening Reception"}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-24T04:00:00-04:00", "gather": {"link": "https://gather.town/", "location": "Gather"}, "global": true, "info_link": "/socials.html#opening", "start": "2021-06-24T03:00:00-04:00", "title": "Opening Reception"}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-23T09:00:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-23T08:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-23T12:30:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-23T11:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-23T21:00:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-23T20:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-24T00:30:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-23T23:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-24T09:00:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-24T08:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-24T12:30:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-24T11:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-24T21:00:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-24T20:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-25T00:30:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-24T23:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-25T09
342:00:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-25T08:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-25T12:30:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-25T11:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-25T21:00:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-25T20:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-26T00:30:00-04:00", "global": true, "info_link": "/socials.html#pltea", "start": "2021-06-25T23:30:00-04:00", "title": "PLTea", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-24T13:00:00-04:00", "global": true, "info_link": "/socials.html#cares", "start": "2021-06-24T12:00:00-04:00", "title": "CARES: Building Inclusive Research Environments", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-25T01:00:00-04:00", "global": true, "info_link": "/socials.html#cares", "start": "2021-06-25T00:00:00-04:00", "title": "CARES: Building Inclusive Research Environments", "zoom": {"link": "https://www.zoom.com", "location": "Zoom"}}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-24T16:15:00-04:00", "global": true, "info_link": "/socials.html#business", "start": "2021-06-24T15:00:00-04:00", "title": "PLDI Business Meeting", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"category": "social", "conf_abbrev": "Community", "end": "2021-06-25T04:15:00-04:00", "global": true, "info_link": "/socials.html#business", "start": "2021-06-25T03:00:00-04:00", "title": "PLDI Business Meeting", "track": {"link": "track_pldi-A.html", "location": "PLDI-A"}, "trackUID": "pldi-A"}, {"UID": "pldi_infer.0", "category": "colocated-session", "conf_abbrev": "Infer", "end": "2021-06-21 15:20:00-04:00", "info_link": "/track_infer.html", "start": "2021-06-21 13:30:00-04:00", "title": "Session 2", "tooltip": "", "track": {"link": "track_infer.html", "location": "Infer"}, "trackUID": "infer"}, {"UID": "pldi_infer.1", "category": "colocated-session", "conf_abbrev": "Infer", "end": "2021-06-21 11:45:00-04:00", "info_link": "/track_infer.html", "start": "2021-06-21 09:00:00-04:00", "title": "Session 1", "tooltip": "", "track": {"link": "track_infer.html", "location": "Infer"}, "trackUID": "infer"}, {"UID": "pldi_soap.0", "category": "colocated-session", "conf_abbrev": "SOAP", "end": "2021-06-22 16:15:00-04:00", "info_link": "/track_soap.html", "start": "2021-06-22 13:30:00-04:00", "title": "Session 2", "tooltip": "", "track": {"link": "track_soap.html", "location": "SOAP"}, "trackUID": "soap"}, {"UID": "pldi_ismm.0", "category": "colocated-session", "conf_abbrev": "ISMM", "end": "2021-06-22 16:15:00-04:00", "info_link": "/track_ismm.html", "start": "2021-06-22 13:30:00-04:00", "title": "Session 2", "tooltip": "", "track": {"link": "track_ismm.html", "location": "ISMM"}, "trackUID": "ismm"}, {"UID": "pldi_planqc.0", "category": "colocated-session", "conf_abbrev": "PLanQC", "end": "2021-06-22 16:15:00-04:00", "info_link": "/track_planqc.html", "start": "2021-06-22 13:30:00-04:00", "title": "Session 2", "tooltip": "", "track": {"link": "track_planqc.html", "location": "PLanQC"}, "trackUID": "planqc"}, {"UID": "pldi_planqc.1", "category": "colocated-session", "conf_abbrev": "PLanQC", "end": "2021-06-22 19:15:00-04:00", "info_link": "/track_planqc.html", "start": "2021-06-22 18:00:00-04:00", "title": "Session 3", "tooltip": "", "track": {"link": "track_planqc.html", "location": "PLanQC"}, "trackUID": "planqc"}, {"UID": "pldi_lctes.0", "category": "colocated-session", "conf_abbrev": "LCTES", "end": "2021-06-22 11:45:00-04:00", "info_link": "/track_lctes.html", "start": "2021-06-22 09:00:00-04:00", "title": "Keynote + Section 1 Measurement", "tooltip": "", "track": {"link": "track_lctes.html", "location": "LCTES"}, "trackUID": "lctes"}, {"UID": "pldi_contracts.0", "category": "colocated-session", "conf_abbrev": "Contracts", "end": "2021-06-22 11:45:00-04:00", "info_link": "/track_contracts.html", "start": "2021-06-22 09:00:00-04:00", "title": "Smart Contracts Security Analysis Tutorial", "tooltip": "", "track": {"link": "track_contracts.html", "location": "Contracts"}, "trackUID": "contracts"}, {"UID": "pldi_lctes.1", "category": "colocated-session", "conf_abbrev": "LCTES", "end": "2021-06-22 20:45:00-04:00", "info_link": "/track_lctes.html", "start": "2021-06-22 18:00:00-04:00", "title": "Section 4. Analysis II + Section 5 Optimization II", "tooltip": "", "track": {"link": "track_lctes.html", "location": "LCTES"}, "trackUID": "lctes"}, {"UID": "pldi_imop.0", "category": "colocated-session", "conf_abbrev": "IMOP", "end": "2021-06-21 11:45:00-04:00", "info_link": "/track_
342imop.html", "start": "2021-06-21 09:00:00-04:00", "title": "IMOP Tutorial", "tooltip": "", "track": {"link": "track_imop.html", "location": "IMOP"}, "trackUID": "imop"}, {"UID": "pldi_soap.1", "category": "colocated-session", "conf_abbrev": "SOAP", "end": "2021-06-22 11:35:00-04:00", "info_link": "/track_soap.html", "start": "2021-06-22 09:00:00-04:00", "title": "Session 1", "tooltip": "", "track": {"link": "track_soap.html", "location": "SOAP"}, "trackUID": "soap"}, {"UID": "pldi_ismm.1", "category": "colocated-session", "conf_abbrev": "ISMM", "end": "2021-06-22 11:45:00-04:00", "info_link": "/track_ismm.html", "start": "2021-06-22 09:00:00-04:00", "title": "Keynote and Session 1", "tooltip": "", "track": {"link": "track_ismm.html", "location": "ISMM"}, "trackUID": "ismm"}, {"UID": "pldi_ismm.2", "category": "colocated-session", "conf_abbrev": "ISMM", "end": "2021-06-22 19:45:00-04:00", "info_link": "/track_ismm.html", "start": "2021-06-22 18:00:00-04:00", "title": "Session 4", "tooltip": "", "track": {"link": "track_ismm.html", "location": "ISMM"}, "trackUID": "ismm"}, {"UID": "pldi_soap.2", "category": "colocated-session", "conf_abbrev": "SOAP", "end": "2021-06-22 21:00:00-04:00", "info_link": "/track_soap.html", "start": "2021-06-22 18:00:00-04:00", "title": "Session 3", "tooltip": "", "track": {"link": "track_soap.html", "location": "SOAP"}, "trackUID": "soap"}, {"UID": "pldi_persist.0", "category": "colocated-session", "conf_abbrev": "Persist", "end": "2021-06-22 16:15:00-04:00", "info_link": "/track_persist.html", "start": "2021-06-22 13:30:00-04:00", "title": "Memory Persistency Tutorial", "tooltip": "", "track": {"link": "track_persist.html", "location": "Persist"}, "trackUID": "persist"}, {"UID": "pldi_lctes.2", "category": "colocated-session", "conf_abbrev": "LCTES", "end": "2021-06-22 16:15:00-04:00", "info_link": "/track_lctes.html", "start": "2021-06-22 13:30:00-04:00", "title": "Section 2 Optimization I + Section 3 Analysis I", "tooltip": "", "track": {"link": "track_lctes.html", "location": "LCTES"}, "trackUID": "lctes"}, {"UID": "pldi_planqc.2", "category": "colocated-session", "conf_abbrev": "PLanQC", "end": "2021-06-22 11:45:00-04:00", "info_link": "/track_planqc.html", "start": "2021-06-22 09:00:00-04:00", "title": "Session 1", "tooltip": "", "track": {"link": "track_planqc.html", "location": "PLanQC"}, "trackUID": "planqc"}, {"UID": "pldi_array.0", "category": "colocated-session", "conf_abbrev": "ARRAY", "end": "2021-06-21 16:15:00-04:00", "info_link": "/track_array.html", "start": "2021-06-21 13:30:00-04:00", "title": "Session 2 (keynote) and 3 (applications)", "tooltip": "", "track": {"link": "track_array.html", "location": "ARRAY"}, "trackUID": "array"}, {"UID": "pldi_array.1", "category": "colocated-session", "conf_abbrev": "ARRAY", "end": "2021-06-21 19:15:00-04:00", "info_link": "/track_array.html", "start": "2021-06-21 18:00:00-04:00", "title": "Session 4 (short talks)", "tooltip": "", "track": {"link": "track_array.html", "location": "ARRAY"}, "trackUID": "array"}, {"UID": "pldi_array.2", "category": "colocated-session", "conf_abbrev": "ARRAY", "end": "2021-06-21 11:45:00-04:00", "info_link": "/track_array.html", "start": "2021-06-21 10:30:00-04:00", "title": "Session 1 (principles)", "tooltip": "", "track": {"link": "track_array.html", "location": "ARRAY"}, "trackUID": "array"}, {"UID": "pldi_maps.0", "category": "colocated-session", "conf_abbrev": "MAPS", "end": "2021-06-21 12:00:00-04:00", "info_link": "/track_maps.html", "start": "2021-06-21 10:45:00-04:00", "title": "Keynote", "tooltip": "", "track": {"link": "track_maps.html", "location": "MAPS"}, "trackUID": "maps"}, {"UID": "pldi_maps.1", "category": "colocated-session", "conf_abbrev": "MAPS", "end": "2021-06-21 19:15:00-04:00", "info_link": "/track_maps.html", "start": "2021-06-21 16:45:00-04:00", "title": "Session C", "tooltip": "", "track": {"link": "track_maps.html", "location": "MAPS"}, "trackUID": "maps"}, {"UID": "pldi_maps.2", "category": "colocated-session", "conf_abbrev": "MAPS", "end": "2021-06-21 21:00:00-04:00", "info_link": "/track_maps.html", "start": "2021-06-21 19:45:00-04:00", "title": "Session D", "tooltip": "", "track": {"link": "track_maps.html", "location": "MAPS"}, "trackUID": "maps"}, {"UID": "pldi_maps.3", "category": "colocated-session", "conf_abbrev": "MAPS", "end": "2021-06-21 14:30:00-04:00", "info_link": "/track_maps.html", "start": "2021-06-21 13:30:00-04:00", "title": "Session A", "tooltip": "", "track": {"link": "track_maps.html", "location": "MAPS"}, "trackUID": "maps"}, {"UID": "pldi_maps.4", "category": "colocated-session", "conf_abbrev": "MAPS", "end": "2021-06-21 16:15:00-04:00", "info_link": "/track_maps.html", "start": "2021-06-21 15:15:00-04:00", "title": "Session B", "tooltip": "", "track": {"link": "track_maps.html", "location": "MAPS"}, "trackUID": "maps"}, {"UID": "pldi_plmw.0", "category": "colocated-session", "conf_abbrev": "PLMW", "end": "2021-06-22 11:45:00-04:00", "info_link": "/track_plmw.html", "start": "2021-06-22 09:00:00-04:00", "title": "Session 4", "tooltip": "", "track": {"link": "track_plmw.html", "location": "PLMW"}, "trackUID": "plmw"}, {"UID": "pldi_plmw.1", "category": "colocated-session", "conf_abbrev": "PLMW", "end": "2021-06-21 16:15:00-04:00", "info_link": "/track_plmw.html", "start": "2021-06-21 13:30:00-04:00", "title": "Session 2", "tooltip": "", "track": {"link": "track_plmw.html", "location": "PLMW"}, "trackUID": "plmw"}, {"UID": "pldi_plmw.2", "category": "colocated-session", "conf_abbrev": "PLMW", "end": "2021-06-21 11:45:00-04:00", "info_link": "/track_plmw.html", "start": "2021-06-21 09:00:00-04:00", "title": "Session 1", "tooltip": "", "track": {"link": "track_plmw.html", "location": "PLMW"}, "trackUID": "plmw"}, {"UID": "pldi_plmw.3", "category": "colocated-session", "conf_abbrev": "PLMW", "end": "2021-06-22 16:15:00-04:00", "info_link": "/track_plmw.html", "start": "2021-06-22 13:30:00-04:00", "title": "Session 5", "tooltip": "", "track": {"link": "track_plmw.html", "location": "PLMW"}, "trackUID": "plmw"}, {"UID": "pldi_plmw.4", "category": "colocated-session", "conf_abbrev": "PLMW", "end": "2021-06-22 21:00:00-04:00", "info_link": "/track_plmw.html", "start": "2021-06-22 18:00:00-04:00", "title": "Session 6", "tooltip": "", "track": {"link": "track_plmw.html", "location": "PLMW"}, "trackUID": "plmw"}, {"UID": "pldi_plmw.5", "category": "colocated-session", "conf_abbrev": "PLMW", "end": "2021-06-21 21:00:00-04:00", "info_link": "/track_plmw.html", "start": "2021-06-21 18:00:00-04:00", "title": "Session 3", "tooltip": "", "track": {"link": "track_plmw.html", "location": "PLMW"}, "trackUID": "plmw"}, {"UID": "pldi_hopl.0", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-21 21:00:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-21 18:15:00-04:00", "title": "Monday Evening", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.1", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-20 17:45:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-20 16:45:00-04:00", "title": "Sunday Late Afternoon", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.2", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-22 11:45:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-22 09:00:00-04:00", "title": "Tuesday Morning", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.3", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-22 16:15:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-22 13:30:00-04:00", "title": "Tuesday Early Afternoon", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.4", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-20 11:45:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-20 09:00:00-04:00", "title": "Sunday Morning", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.5", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-21 17:45:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-21 16:45:00-04:00", "title": "Monday Late Afternoon", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.6", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-22 21:00:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-22 18:15:00-04:00", "title": "Tuesday Evening", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.7", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-20 16:15:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-20 13:30:00-04:00", "title": "Sunday Early Afternoon", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.8", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-21 11:45:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-21 09:00:00-04:00", "title": "Monday Morning", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.9", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-21 16:15:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-21 13:30:00-04:00", "title": "Monday Early Afternoon", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.10", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-20 21:00:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-20 18:15:00-04:00", "title": "Sunday Evening", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}, {"UID": "pldi_hopl.11", "category": "colocated-session", "conf_abbrev": "HOPL IV", "end": "2021-06-22 17:45:00-04:00", "info_link": "/track_hopl.html", "start": "2021-06-22 16:45:00-04:00", "title": "Tuesday Late Afternoon", "tooltip": "", "track": {"link": "track_hopl.html", "location": "HOPL IV"}, "trackUID": "hopl"}]'
343    );
344  });
345  
346</script>
346
347
348<div class="container">
349  <div class="row pb-4">
350    <div class="col-lg-6 col-12 pt-2">
351      <h3>Happening at <span id="lastUpdate"></span></h3>
352      <!-- <div class="pp-card-header-auto-height pl-4 px-2"> -->
353        <div class="text-muted pb-2">
354          Click on any event for details and to attend.
355        </div>        
356        <div class="row px-0 pt-0">
357          <div class="col-12">
358            <div id='calendar' class="fc-upcoming card"></div>
359          </div>
360        </div>
361        <div class="row pl-3 pb-0">
362          <div class="col-12 text-right">
363            <small><a href="javascript:void(0);" onclick="calendar.updateToCurrentTime()">Refresh</a></small>
364          </div>
365        <!-- </div> -->
366      </div>
367    </div>
368
369    <div class="col-lg-6 col-12 pt-2">
370      <div class = "getting-started">
371        <h3 class="text-center getting-started-big-title">Getting Started</h3>
372        
373        
374        <ol class="pl-4">
375          <li>We recommend the latest Chrome, Firefox, or Brave for browsing. Javascript must be enabled.</li>
376          <li>Set your local timezone: 
377            <select id="time-zone-selector" class="selectpicker" data-style="btn-light bg-white border shadow-none py-1" data-live-search="true">
378              <option value="UTC">UTC</option>
379            </select>
380          </li>
381          <li class="pt-1">Join Slack & Gather via our 
382            <b><a href="help.html#tab-getting">Step-by-Step Instructions</a></b>.   
383            <br>Or TL;DR:
384            <ul class="pl-4">
385          <li class="pt-2">
386            Click <a type="button" class="btn btn-danger bt-margin btn-sm mt-n1 mr-1" style="padding: .12rem .5rem; white-space: nowrap;" href="https://pldi21.slack.com/ssb/signin_redirect" target="_blank">Join Slack</a>
387            and select "Sign in with PLDI 2021".  Use the same email address and password as
388            for this website, and <b>update your Slack profile's display name to be your full name and affiliation.</b>  
389          </li>
390          <li class="pt-2">
391            Click <a type="button" class="btn btn-danger bt-margin btn-sm mt-n1 mr-1" style="padding: .12rem .5rem; white-space: nowrap;" href="https://gather.town/" target="_blank">Join Gather</a>
392            and follow the instructions for generating a magic sign-on link using the same email address as
393            for this website. 
394        </ul>
395        After completing these steps, you can access Slack and Gather by clicking any <a type="button" class="btn btn-warning bt-margin btn-sm mb-1" style="padding: .05rem .5rem;" 
396        href="https://pldi21.slack.com/app_redirect?channel=general" target="_blank">#Slack</a> or <a type="button" class="btn btn-success bt-margin btn-sm mb-1" style="padding: .05rem .5rem;" 
397        href="https://gather.town/" target="_blank"><i class="fas fa-users"></i>&nbsp;Gather</a> button on our site.
398        </li>
399          <li>Watch our videos below on how to participate in and enjoy PLDI.</li>
400        </ol>
401      </div>
402    </div>
403  </div>
404  
405  <div class="row mt-2">
406    <div class="col-lg-6 col-12 mb-4 order-last order-lg-first">
407      <h3>A Message from the General Chair</h3>
408
409      <div class id="video"> 
410        <div id="presentation-embed" class="slp my-auto"></div>  
411        
411<script src="https://slideslive.com/embed_presentation.js"></script>
411 
411<script>
412                embed = new SlidesLiveEmbed("presentation-embed", {
413                  presentationId: "38956344",
414                  autoPlay: false, // change to true to autoplay the embedded presentation
415                  verticalEnabled: true,
416                  verticalWhenWidthLte: 500,
417                  allowHiddenControlsWhenPaused: true,
418                  hideTitle: true,
419                });      
420        </script>
420
421      </div>
422
423      <h3 class="pt-4">How to PLDI: Website, Slack, and Gather</h3>
424
425      <div class id="video"> 
426          <div id="presentation-embed3" class="slp my-auto"></div>  
427          
427<script src="https://slideslive.com/embed_presentation.js"></script>
427 
427<script>
428                  embed = new SlidesLiveEmbed("presentation-embed3", {
429                    presentationId: "38956345",
430                    autoPlay: false, // change to true to autoplay the embedded presentation
431                    verticalEnabled: true,
432                    verticalWhenWidthLte: 500,
433                    allowHiddenControlsWhenPaused: true,
434                    hideTitle: true,
435                  });      
436          </script>
436
437        </div>
438
439        <h3 class="pt-4">Pure Implementation</h3>
440        <div class="embed-responsive embed-responsive-16by9">
441          <iframe class="embed-responsive-item" src="https://www.youtube.com/embed/77999Td20TM" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>
442        </div>
443        <div class="pp-card-header-auto-height mt-3" style="max-width: 400px;">
444          <a class="twitter-timeline" data-theme="light" data-height=400
445          href="https://twitter.com/PLDI?ref_src=twsrc%5Etfw">Tweets by PLDI</a>
446          
446<script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
446    
447        </div>
448        </div>
449    <div class="col-lg-6 col-12 mb-4">
450      <div class="pp-card-header-auto-height">
451        <h2>Welcome to PLDI 2021!</h2>
452<p>We hope you will enjoy the many activities happening this week.  <strong>Please follow the Getting Started instructions above to ensure you are able to participate in all of them.</strong></p>
453<p>You can navigate to everything the week has to offer through the top menu bar.  We recommend beginning with the <a href="calendar.html">Schedule</a> for an overview of the week.</p>
454<p><strong>PLDI Technical Conference.</strong> The main PLDI conference will occur June 23-25 and features three invited keynotes, over eighty technical paper talks, poster sessions, and AMAs.  See the <a href="featured.html">Featured</a> and <a href="papers.html">Papers</a> pages for details.  The <a href="papers.html">Papers</a> page offers a variety of ways to browse the PLDI papers. Each paper has its own page, featuring one or more video presentations, and a Slack channel to directly engage
455with the authors.  </p>
456<p>The PLDI technical papers sessions consist of parallel tracks of five-minute talks shown on video streams <a href="track_pldi-A.html">PLDI-A</a> and <a href="track_pldi-B.html">PLDI-B</a>, followed
457by a poster session in Gather for Q&amp;A and in-depth discussion with the authors from all the papers in the session.  Each paper's page includes the times that it will be featured in technical session video streams and poster sessions.  All other PLDI technical events will be streamed to <a href="track_pldi-A.html">PLDI-A</a>.</p>
458<p>PLDI's days will be mirrored twelve hours after their first occurence.  We’ll replay the talks and hold the poster sessions for a second time, providing another opportunity to enjoy post-talk discussions with the authors and other attendees. Some events, such as the AMAs, will be held live during the mirrored days.</p>
459<p><strong>Colocated Events.</strong> A variety of other conferences, workshops, and
460tutorials will take place June 20-22.  Our <a href="colocated.html">Colocated</a> events
461page provides the full details for each event, including its video stream, dedicated Slack channel, schedule, and any pre-recorded content.</p>
462<p><strong>Community.</strong> The week will also feature a number of <a href="socials.html">Community</a>
463activities, including moderated, small-group discussions in <a href="/socials.html#pltea">PL Tea</a>, a self-serve <a href="https://pldi21.slack.com/app_redirect?channel=mentoring">mentoring channel</a>
464for matching mentors and mentees during the
465conference, a CARES-led discussion on <a href="/socials.html#cares">inclusivity</a>, various other social events. 
466Our Gather virtual conference center will open 24 hours a day for meetups and socializing.</p>
467<p><strong>Sponsors.</strong> Finally, make sure to visit the <a href="sponsors.html">Sponsors</a> section for information
468about our sponsors. </p>
469<p><strong>Engagement.</strong>  We have designed our virtual platform and program to provide many different types of opportunities for participation, be it attending events in our live streams, or replaying them afterwards, chatting asynchronously in Slack, or attending poster sessions and meeting others in Gather.   Best wishes for a week of learning new ideas, connecting with old colleagues and new, and engaging with the entire PLDI community. </p>
470<h5>Getting Help</h5>
471<ul>
472<li>For technical difficulties, please contact <a type="button" class="btn btn-warning bt-margin btn-sm mb-1" style="padding: .05rem .5rem;" href="https://pldi21.slack.com/app_redirect?channel=helpdesk" target="_blank">#helpdesk</a> in Slack.  </li>
473<li>If you cannot access Slack, <a href="https://pldi21.sigplan.org/contact">send email</a>. Use Slack if possible, as email may not be answered as quickly.</li>
474<li>If you encounter or witness inappropriate conduct, please see our <a href="help.html#tab-conduct">Code of Conduct</a> page for steps to take.</li>
475</ul>
476<!--
477        How to PLDI...
478        How to the Website...
479        How to Slack...
480        How to Gather...
481
482        To Be Written...
483
484        1. Watch the `How To PLDI` video.  Read the Docs...
485        1. Sign on to PLDI's Slack workspace, on the web or in the Slack app.
486        2. Sign on to Gather and explore...
487        3. Browse the calendar and event schedules.
488
489        Here is how to use this website to find live events (at fixed times) plus pre-recorded talks you can watch anytime. 
490
491        ##### Schedule
492        Use the [Schedule](schedule.html) to find all of the events for the week and set your timezone.  
493
494        ##### Main Conference Papers
495
496        All [PLDI Papers](papers.html) have a pre-recorded five-minute Lightning Talks and longer Full Talks.  The Lightning Talk will be showed during one of our Technical Talk Sessions on the [Main Stage](track_pldi-A.html), and the authors will take part in the poster session following their talk.  Each paper also has a Slack channel for chatting with the authors. 
497
498        ##### Plenary Sessions
499
500        [Plenary Sessions](plenary.html) include Invited Talks, the PLDI Business Meeting, Student Research Competition Talks.  Use the Livestream to watch live sessions in real time on the [Main Stage](track_pldi-A.html). 
501
502        ##### Mirroring
503
504        Plenary and main conference sessions will be mirrored 12 hours after their first occurence.  Some events, including Poster Sessions, will be held live a second time.
505
506        ##### Colocated Events, Workshops, and Tutorials
507        All [colocated events, workshops, and tutorials](workshops.html) are included with conference registration.
508
509        ##### Sponsors
510        Meet our [sponsors](sponsors.html).
511
512        #####  Help
513        Look under Help for FAQs and technical support.
514
515        #####  Social Media
516        Use the hashtag [#pldi2021](https://twitter.com/search?q=%23pldi2021).
517 -->
518      </div>
519    </div>
520  </div>
521
522</div>
523
524<div class="container">
525  <div class="row pb-4">
526    <div class="col-lg-4 col-12 px-1 pt-4 pb-0 ">
527    </div>
528  </div>
529</div>
530  
531
532
533<script>
534  const timeZoneSelectorEl = document.getElementById('time-zone-selector');
535  
536  moment.tz.names().forEach(function(timeZone) {
537    var optionEl;
538    
539    if (timeZone !== 'UTC' && timeZone != "Local" && !timeZone.startsWith("Etc/")) { // UTC is already in the list, skip confusing GMT ones, Local is bad too
540      optionEl = document.createElement('option');
541      optionEl.value = timeZone;
542      optionEl.innerText = timeZone;
543      timeZoneSelectorEl.appendChild(optionEl);
544    }
545  });
546  
547  const tz = getCurrentTimeZone()
548  timeZoneSelectorEl.value = tz;
549  
550  // when the timezone selector changes, dynamically change the calendar option
551  timeZoneSelectorEl.addEventListener('change', function() {
552    setCurrentTimeZone(this.value)
553    location.reload()
554  });
555</script>
555
556
557<script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script>
557
558
559
560  </div>
561</div>
562
563
564
565<!-- Google Analytics -->
vendor: 64 bytes, lines 565-568
565
566<script
567async
568src="https://www.googletagmanager.com/gtag/js?id=
568G-9NLHL9DR6C
vendor: 13 bytes, lines 568-569
568"
569></script>
570<script>
571  
vendor: 148 bytes, lines 571-578
571window.dataLayer = window.dataLayer || [];
572  
573  function gtag() {
574    dataLayer.push(arguments);
575  }
576  
577  gtag("js", new Date());
578  gtag("config", "
578G-9NLHL9DR6C
vendor: 4 bytes, line 578
578");
579</script>
579
580
581<!-- Footer -->
582<footer class="footer bg-light p-4">
583  <div class="container">
584    <p class="float-right"><a href="#">Back to Top</a></p>
585    <div>© 2021 <a href="https://pldi21.sigplan.org/committee/pldi-2021-organizing-committee">PLDI 2021 Organization Committee</a></div>
586    <div>Local timezone is <span id="timeZone"></span>.  Change your timezone on <a href="home.html">the home page</a>.</div>
587  </div>
588</footer>
589
590
591<script> 
592  document.getElementById('timeZone').textContent = `${getCurrentTimeZone()} (${gmtSuffixForCurrentMoment()})`;
593</script>
593
594
595<!-- Code for hash tags -->
596<script type="text/javascript">
597  $(document).ready(function () {
598    if (window.location.hash !== "") {
599      $(`a[href="${window.location.hash}"]`).tab("show");
600    }
601    
602    $("a[data-toggle='tab']").on("shown.bs.tab", function (e) {
603      const hash = $(e.target).attr("href");
604      if (hash.substr(0, 1) === "#") {
605        const position = $(window).scrollTop();
606        window.location.replace(`#${hash.substr(1)}`);
607        $(window).scrollTop(position);
608      }
609    });
610    
611  });
612</script>
612
613<!--    
613<script src="static/js/modules/lazyLoad.js"></script>
613-->
614
615
616
617
618</body>
619</html>

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.