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> 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> 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&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.