SPLASH21-playlist-demo-Zurich-A.xml

<?xml version='1.0' encoding='utf-8' standalone='yes'?>
<playlist>
  <list>
    <name>Swissotel Chicago | Zurich A</name>
  </list>
  <eventlist timeinmilliseconds="true">
    <event>
      <category>PROGRAM</category>
      <title>Solidifying and Advancing the Software Foundations</title>
      <duration>00:49:53:00</duration>
      <onairtime>2021-10-17T14:00:00:00</onairtime>
      <mediaid>aplas-keynote-1</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Solidifying and Advancing the Software Foundations</title>
      <duration>00:10:06:24</duration>
      <onairtime>2021-10-17T14:49:53:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Scalable and Modular Robustness Analysis of Deep Neural Networks</title>
      <duration>00:14:13:03</duration>
      <onairtime>2021-10-17T15:50:00:00</onairtime>
      <mediaid>aplas21main-p33-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Server-Side Computation of Package Dependencies in Package-Management Systems</title>
      <duration>00:13:08:05</duration>
      <onairtime>2021-10-17T16:04:13:00</onairtime>
      <mediaid>aplas21main-p37-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>PyCT: A Python Concolic Tester</title>
      <duration>00:09:52:00</duration>
      <onairtime>2021-10-17T16:17:21:00</onairtime>
      <mediaid>aplas21main-p76-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications</title>
      <duration>00:09:23:12</duration>
      <onairtime>2021-10-17T16:27:13:00</onairtime>
      <mediaid>aplas21main-p20-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Function Pointer Eliminator for C Programs</title>
      <duration>00:10:00:04</duration>
      <onairtime>2021-10-17T16:36:36:00</onairtime>
      <mediaid>aplas21main-p10-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Q&amp;A and discussion</title>
      <duration>00:23:22:24</duration>
      <onairtime>2021-10-17T16:46:37:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A Dictionary-Passing Translation of Featherweight Go</title>
      <duration>00:12:30:02</duration>
      <onairtime>2021-10-17T18:50:00:00</onairtime>
      <mediaid>aplas21main-p80-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A compilation method for dynamic typing in ML</title>
      <duration>00:14:51:06</duration>
      <onairtime>2021-10-17T19:02:30:00</onairtime>
      <mediaid>aplas21main-p45-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly</title>
      <duration>00:12:09:01</duration>
      <onairtime>2021-10-17T19:17:21:00</onairtime>
      <mediaid>aplas21main-p28-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Hybrid quantum-classical circuit simplification with the ZX-calculus</title>
      <duration>00:14:02:02</duration>
      <onairtime>2021-10-17T19:29:30:00</onairtime>
      <mediaid>aplas21main-p24-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Q&amp;A and discussion</title>
      <duration>00:26:27:12</duration>
      <onairtime>2021-10-17T19:43:32:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Solidifying and Advancing the Software Foundations</title>
      <duration>00:49:53:00</duration>
      <onairtime>2021-10-17T22:00:00:00</onairtime>
      <mediaid>aplas-keynote-1</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Solidifying and Advancing the Software Foundations</title>
      <duration>00:10:06:24</duration>
      <onairtime>2021-10-17T22:49:53:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Scalable and Modular Robustness Analysis of Deep Neural Networks</title>
      <duration>00:14:13:03</duration>
      <onairtime>2021-10-17T23:50:00:00</onairtime>
      <mediaid>aplas21main-p33-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Server-Side Computation of Package Dependencies in Package-Management Systems</title>
      <duration>00:13:08:05</duration>
      <onairtime>2021-10-18T00:04:13:00</onairtime>
      <mediaid>aplas21main-p37-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>PyCT: A Python Concolic Tester</title>
      <duration>00:09:52:00</duration>
      <onairtime>2021-10-18T00:17:21:00</onairtime>
      <mediaid>aplas21main-p76-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications</title>
      <duration>00:09:23:12</duration>
      <onairtime>2021-10-18T00:27:13:00</onairtime>
      <mediaid>aplas21main-p20-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Function Pointer Eliminator for C Programs</title>
      <duration>00:10:00:04</duration>
      <onairtime>2021-10-18T00:36:36:00</onairtime>
      <mediaid>aplas21main-p10-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Q&amp;A and discussion</title>
      <duration>00:23:22:24</duration>
      <onairtime>2021-10-18T00:46:37:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A Dictionary-Passing Translation of Featherweight Go</title>
      <duration>00:12:30:02</duration>
      <onairtime>2021-10-18T02:50:00:00</onairtime>
      <mediaid>aplas21main-p80-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A compilation method for dynamic typing in ML</title>
      <duration>00:14:51:06</duration>
      <onairtime>2021-10-18T03:02:30:00</onairtime>
      <mediaid>aplas21main-p45-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly</title>
      <duration>00:12:09:01</duration>
      <onairtime>2021-10-18T03:17:21:00</onairtime>
      <mediaid>aplas21main-p28-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Hybrid quantum-classical circuit simplification with the ZX-calculus</title>
      <duration>00:14:02:02</duration>
      <onairtime>2021-10-18T03:29:30:00</onairtime>
      <mediaid>aplas21main-p24-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Q&amp;A and discussion</title>
      <duration>00:26:27:12</duration>
      <onairtime>2021-10-18T03:43:32:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A Separation Logic for Probabilistic Independence</title>
      <duration>00:49:07:03</duration>
      <onairtime>2021-10-18T14:00:00:00</onairtime>
      <mediaid>aplas-keynote-2</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>A Separation Logic for Probabilistic Independence</title>
      <duration>00:10:52:21</duration>
      <onairtime>2021-10-18T14:49:07:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A Typed Programmatic Interface to Contracts on the Blockchain</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-18T15:50:00:00</onairtime>
      <mediaid>aplas21main-p58-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Adaptable Traces for Program Explanations</title>
      <duration>00:14:43:06</duration>
      <onairtime>2021-10-18T16:05:00:00</onairtime>
      <mediaid>aplas21main-p54-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Latent Effects for Reusable Language Components</title>
      <duration>00:14:33:06</duration>
      <onairtime>2021-10-18T16:19:43:00</onairtime>
      <mediaid>aplas21main-p25-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>The Choice Construct in the Soufflé Language</title>
      <duration>00:14:52:00</duration>
      <onairtime>2021-10-18T16:34:16:00</onairtime>
      <mediaid>aplas21main-p16-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Q&amp;A and discussion</title>
      <duration>00:20:51:11</duration>
      <onairtime>2021-10-18T16:49:08:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Preprocessing of Alternating Automata for Language Emptiness Testing</title>
      <duration>00:14:40:02</duration>
      <onairtime>2021-10-18T18:50:00:00</onairtime>
      <mediaid>aplas21main-p40-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Proving LTL Properties of Bitvector Programs and Decompiled Binaries</title>
      <duration>00:14:56:03</duration>
      <onairtime>2021-10-18T19:04:40:00</onairtime>
      <mediaid>aplas21main-p77-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Solving Not-Substring with Flat Abstraction</title>
      <duration>00:13:09:05</duration>
      <onairtime>2021-10-18T19:19:36:00</onairtime>
      <mediaid>aplas21main-p91-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination</title>
      <duration>00:14:27:00</duration>
      <onairtime>2021-10-18T19:32:45:00</onairtime>
      <mediaid>aplas21main-p7-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Q&amp;A and discussion</title>
      <duration>00:22:47:14</duration>
      <onairtime>2021-10-18T19:47:12:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A Separation Logic for Probabilistic Independence</title>
      <duration>00:49:07:03</duration>
      <onairtime>2021-10-18T22:00:00:00</onairtime>
      <mediaid>aplas-keynote-2</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>A Separation Logic for Probabilistic Independence</title>
      <duration>00:10:52:21</duration>
      <onairtime>2021-10-18T22:49:07:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A Typed Programmatic Interface to Contracts on the Blockchain</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-18T23:50:00:00</onairtime>
      <mediaid>aplas21main-p58-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Adaptable Traces for Program Explanations</title>
      <duration>00:14:43:06</duration>
      <onairtime>2021-10-19T00:05:00:00</onairtime>
      <mediaid>aplas21main-p54-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Latent Effects for Reusable Language Components</title>
      <duration>00:14:33:06</duration>
      <onairtime>2021-10-19T00:19:43:00</onairtime>
      <mediaid>aplas21main-p25-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>The Choice Construct in the Soufflé Language</title>
      <duration>00:14:52:00</duration>
      <onairtime>2021-10-19T00:34:16:00</onairtime>
      <mediaid>aplas21main-p16-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Q&amp;A and discussion</title>
      <duration>00:20:51:11</duration>
      <onairtime>2021-10-19T00:49:08:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Preprocessing of Alternating Automata for Language Emptiness Testing</title>
      <duration>00:14:40:02</duration>
      <onairtime>2021-10-19T02:50:00:00</onairtime>
      <mediaid>aplas21main-p40-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Proving LTL Properties of Bitvector Programs and Decompiled Binaries</title>
      <duration>00:14:56:03</duration>
      <onairtime>2021-10-19T03:04:40:00</onairtime>
      <mediaid>aplas21main-p77-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Solving Not-Substring with Flat Abstraction</title>
      <duration>00:13:09:05</duration>
      <onairtime>2021-10-19T03:19:36:00</onairtime>
      <mediaid>aplas21main-p91-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination</title>
      <duration>00:14:27:00</duration>
      <onairtime>2021-10-19T03:32:45:00</onairtime>
      <mediaid>aplas21main-p7-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Q&amp;A and discussion</title>
      <duration>00:22:47:14</duration>
      <onairtime>2021-10-19T03:47:12:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Fast and Efficient Bit-Level Precision Tuning</title>
      <duration>00:14:05:01</duration>
      <onairtime>2021-10-19T12:40:00:00</onairtime>
      <mediaid>sas21main-id18-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Fast and Efficient Bit-Level Precision Tuning</title>
      <duration>00:05:54:23</duration>
      <onairtime>2021-10-19T12:54:05:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Reduced Products of Abstract Domains for Fairness Certification of Neural Networks</title>
      <duration>00:14:43:03</duration>
      <onairtime>2021-10-19T13:00:00:00</onairtime>
      <mediaid>sas21main-id16-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Reduced Products of Abstract Domains for Fairness Certification of Neural Networks</title>
      <duration>00:05:16:21</duration>
      <onairtime>2021-10-19T13:14:43:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Static analysis of ReLU neural networks with tropical polyhedra</title>
      <duration>00:14:15:02</duration>
      <onairtime>2021-10-19T13:20:00:00</onairtime>
      <mediaid>sas21main-id23-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Static analysis of ReLU neural networks with tropical polyhedra</title>
      <duration>00:05:44:23</duration>
      <onairtime>2021-10-19T13:34:15:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Toward Neural-Network-Guided Program Synthesis and Verification</title>
      <duration>00:14:49:04</duration>
      <onairtime>2021-10-19T13:40:00:00</onairtime>
      <mediaid>sas21main-id14-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Toward Neural-Network-Guided Program Synthesis and Verification</title>
      <duration>00:05:10:20</duration>
      <onairtime>2021-10-19T13:54:49:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart Contracts</title>
      <duration>01:20:00:00</duration>
      <onairtime>2021-10-19T15:50:00:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Automatic Synthesis of Data-Flow Analyzers</title>
      <duration>00:14:52:01</duration>
      <onairtime>2021-10-19T18:50:00:00</onairtime>
      <mediaid>sas21main-id9-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Automatic Synthesis of Data-Flow Analyzers</title>
      <duration>00:05:07:23</duration>
      <onairtime>2021-10-19T19:04:52:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Disjunctive Interval Analysis</title>
      <duration>00:15:09:05</duration>
      <onairtime>2021-10-19T19:10:00:00</onairtime>
      <mediaid>sas21main-id38-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Disjunctive Interval Analysis</title>
      <duration>00:04:50:19</duration>
      <onairtime>2021-10-19T19:25:09:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Hash Consed Points-To Sets</title>
      <duration>00:13:25:03</duration>
      <onairtime>2021-10-19T19:30:00:00</onairtime>
      <mediaid>sas21main-id36-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Hash Consed Points-To Sets</title>
      <duration>00:06:34:21</duration>
      <onairtime>2021-10-19T19:43:25:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Selective Context-Sensitivity for k-CFA with CFL-Reachability</title>
      <duration>00:12:43:01</duration>
      <onairtime>2021-10-19T19:50:00:00</onairtime>
      <mediaid>sas21main-id42-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Selective Context-Sensitivity for k-CFA with CFL-Reachability</title>
      <duration>00:07:16:23</duration>
      <onairtime>2021-10-19T20:02:43:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Fast and Efficient Bit-Level Precision Tuning</title>
      <duration>00:14:05:01</duration>
      <onairtime>2021-10-19T20:40:00:00</onairtime>
      <mediaid>sas21main-id18-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Fast and Efficient Bit-Level Precision Tuning</title>
      <duration>00:05:54:23</duration>
      <onairtime>2021-10-19T20:54:05:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Reduced Products of Abstract Domains for Fairness Certification of Neural Networks</title>
      <duration>00:14:43:03</duration>
      <onairtime>2021-10-19T21:00:00:00</onairtime>
      <mediaid>sas21main-id16-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Reduced Products of Abstract Domains for Fairness Certification of Neural Networks</title>
      <duration>00:05:16:21</duration>
      <onairtime>2021-10-19T21:14:43:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Static analysis of ReLU neural networks with tropical polyhedra</title>
      <duration>00:14:15:02</duration>
      <onairtime>2021-10-19T21:20:00:00</onairtime>
      <mediaid>sas21main-id23-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Static analysis of ReLU neural networks with tropical polyhedra</title>
      <duration>00:05:44:23</duration>
      <onairtime>2021-10-19T21:34:15:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Toward Neural-Network-Guided Program Synthesis and Verification</title>
      <duration>00:14:49:04</duration>
      <onairtime>2021-10-19T21:40:00:00</onairtime>
      <mediaid>sas21main-id14-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Toward Neural-Network-Guided Program Synthesis and Verification</title>
      <duration>00:05:10:20</duration>
      <onairtime>2021-10-19T21:54:49:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Automatic Synthesis of Data-Flow Analyzers</title>
      <duration>00:14:52:01</duration>
      <onairtime>2021-10-20T02:50:00:00</onairtime>
      <mediaid>sas21main-id9-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Automatic Synthesis of Data-Flow Analyzers</title>
      <duration>00:05:07:23</duration>
      <onairtime>2021-10-20T03:04:52:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Disjunctive Interval Analysis</title>
      <duration>00:15:09:05</duration>
      <onairtime>2021-10-20T03:10:00:00</onairtime>
      <mediaid>sas21main-id38-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Disjunctive Interval Analysis</title>
      <duration>00:04:50:19</duration>
      <onairtime>2021-10-20T03:25:09:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Hash Consed Points-To Sets</title>
      <duration>00:13:25:03</duration>
      <onairtime>2021-10-20T03:30:00:00</onairtime>
      <mediaid>sas21main-id36-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Hash Consed Points-To Sets</title>
      <duration>00:06:34:21</duration>
      <onairtime>2021-10-20T03:43:25:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Selective Context-Sensitivity for k-CFA with CFL-Reachability</title>
      <duration>00:12:43:01</duration>
      <onairtime>2021-10-20T03:50:00:00</onairtime>
      <mediaid>sas21main-id42-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Selective Context-Sensitivity for k-CFA with CFL-Reachability</title>
      <duration>00:07:16:23</duration>
      <onairtime>2021-10-20T04:02:43:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Making Weak Memory Models Fair</title>
      <duration>00:13:56:00</duration>
      <onairtime>2021-10-20T12:40:00:00</onairtime>
      <mediaid>oopsla21main-p9-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency</title>
      <duration>00:13:36:02</duration>
      <onairtime>2021-10-20T12:53:56:00</onairtime>
      <mediaid>oopsla21main-p14-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>The Reads-From Equivalence for the TSO and PSO Memory Models</title>
      <duration>00:14:21:00</duration>
      <onairtime>2021-10-20T13:07:32:00</onairtime>
      <mediaid>oopsla21main-p490-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>The Semantics of Shared Memory in Intel CPU/FPGA Systems</title>
      <duration>00:12:37:07</duration>
      <onairtime>2021-10-20T13:21:53:00</onairtime>
      <mediaid>oopsla21main-p99-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:25:29:14</duration>
      <onairtime>2021-10-20T13:34:30:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>SPLASH Conference at Chicago Starts Now</title>
      <duration>00:01:00:00</duration>
      <onairtime>2021-10-20T14:00:00:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern>c8da7aa6-2f36-4498-8dcc-2c6f2da523e4</recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>true</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Exascale and then what?: HPC and AI for Scientific Discovery</title>
      <duration>01:00:00:00</duration>
      <onairtime>2021-10-20T14:20:00:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern>4aea397e-24ec-43c4-a73b-26df9bb20557</recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>true</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Compiling with Continuations, Correctly</title>
      <duration>00:14:57:06</duration>
      <onairtime>2021-10-20T15:50:00:00</onairtime>
      <mediaid>oopsla21main-p75-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches</title>
      <duration>00:14:28:02</duration>
      <onairtime>2021-10-20T16:04:57:00</onairtime>
      <mediaid>oopsla21main-p32-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs</title>
      <duration>00:14:52:03</duration>
      <onairtime>2021-10-20T16:19:25:00</onairtime>
      <mediaid>oopsla21main-p181-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Efficient Compilation of Algebraic Effect Handlers</title>
      <duration>00:14:36:01</duration>
      <onairtime>2021-10-20T16:34:17:00</onairtime>
      <mediaid>oopsla21main-p24-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:21:06:12</duration>
      <onairtime>2021-10-20T16:48:53:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Translating C to Safer Rust</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-20T18:50:00:00</onairtime>
      <mediaid>oopsla21main-p101-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Modular Specification and Verification of Closures in Rust</title>
      <duration>00:14:41:07</duration>
      <onairtime>2021-10-20T19:05:00:00</onairtime>
      <mediaid>oopsla21main-p215-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-20T19:19:41:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:35:18:17</duration>
      <onairtime>2021-10-20T19:34:41:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Making Weak Memory Models Fair</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-20T20:40:00:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency</title>
      <duration>00:13:36:02</duration>
      <onairtime>2021-10-20T20:55:00:00</onairtime>
      <mediaid>oopsla21main-p14-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>The Reads-From Equivalence for the TSO and PSO Memory Models</title>
      <duration>00:14:21:00</duration>
      <onairtime>2021-10-20T21:08:36:00</onairtime>
      <mediaid>oopsla21main-p490-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>The Semantics of Shared Memory in Intel CPU/FPGA Systems</title>
      <duration>00:12:37:07</duration>
      <onairtime>2021-10-20T21:22:57:00</onairtime>
      <mediaid>oopsla21main-p99-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:24:25:14</duration>
      <onairtime>2021-10-20T21:35:34:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Exascale and then what?: HPC and AI for Scientific Discovery</title>
      <duration>01:00:00:00</duration>
      <onairtime>2021-10-20T22:20:00:00</onairtime>
      <mediaid>4aea397e-24ec-43c4-a73b-26df9bb20557</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Compiling with Continuations, Correctly</title>
      <duration>00:14:57:06</duration>
      <onairtime>2021-10-20T23:50:00:00</onairtime>
      <mediaid>oopsla21main-p75-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches</title>
      <duration>00:14:28:02</duration>
      <onairtime>2021-10-21T00:04:57:00</onairtime>
      <mediaid>oopsla21main-p32-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs</title>
      <duration>00:14:52:03</duration>
      <onairtime>2021-10-21T00:19:25:00</onairtime>
      <mediaid>oopsla21main-p181-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Efficient Compilation of Algebraic Effect Handlers</title>
      <duration>00:14:36:01</duration>
      <onairtime>2021-10-21T00:34:17:00</onairtime>
      <mediaid>oopsla21main-p24-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:21:06:12</duration>
      <onairtime>2021-10-21T00:48:53:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Translating C to Safer Rust</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-21T02:50:00:00</onairtime>
      <mediaid>oopsla21main-p101-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Modular Specification and Verification of Closures in Rust</title>
      <duration>00:14:41:07</duration>
      <onairtime>2021-10-21T03:05:00:00</onairtime>
      <mediaid>oopsla21main-p215-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust</title>
      <duration>00:14:34:03</duration>
      <onairtime>2021-10-21T03:19:41:00</onairtime>
      <mediaid>oopsla21main-p27-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:35:44:13</duration>
      <onairtime>2021-10-21T03:34:15:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers</title>
      <duration>00:14:58:05</duration>
      <onairtime>2021-10-21T12:40:00:00</onairtime>
      <mediaid>oopsla21main-p117-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>What we Eval in the Shadows</title>
      <duration>00:13:57:02</duration>
      <onairtime>2021-10-21T12:54:58:00</onairtime>
      <mediaid>oopsla21main-p121-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>How Statically-Typed Functional Programmers Write Code</title>
      <duration>00:12:32:01</duration>
      <onairtime>2021-10-21T13:08:55:00</onairtime>
      <mediaid>oopsla21main-p331-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:38:32:15</duration>
      <onairtime>2021-10-21T13:21:27:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Integrated Scientific Modeling and Lab Automation</title>
      <duration>01:00:00:00</duration>
      <onairtime>2021-10-21T14:20:00:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern>3cd9d6e6-482e-4d66-9453-b8af77578e91</recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>true</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations</title>
      <duration>00:14:56:03</duration>
      <onairtime>2021-10-21T15:50:00:00</onairtime>
      <mediaid>oopsla21main-p180-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Static Detection of Silent Misconfigurations with Deep Interaction Analysis</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-21T16:04:56:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Data-Driven Abductive Inference of Library Specifications</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-21T16:19:56:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Synthesizing Contracts Correct Modulo a Test Generator</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-21T16:34:56:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:20:03:20</duration>
      <onairtime>2021-10-21T16:49:56:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Study of the Subtyping Machine of Nominal Subtyping with Variance</title>
      <duration>00:14:23:06</duration>
      <onairtime>2021-10-21T18:50:00:00</onairtime>
      <mediaid>oopsla21main-p170-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Label Dependent Lambda Calculus and Gradual Typing</title>
      <duration>00:14:49:06</duration>
      <onairtime>2021-10-21T19:04:23:00</onairtime>
      <mediaid>oopsla21main-p43-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Relational Nullable Types with Boolean Unification</title>
      <duration>00:14:21:04</duration>
      <onairtime>2021-10-21T19:19:12:00</onairtime>
      <mediaid>oopsla21main-p47-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-21T19:33:33:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:21:26:08</duration>
      <onairtime>2021-10-21T19:48:33:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers</title>
      <duration>00:14:58:05</duration>
      <onairtime>2021-10-21T20:40:00:00</onairtime>
      <mediaid>oopsla21main-p117-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>What we Eval in the Shadows</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-21T20:54:58:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>How Statically-Typed Functional Programmers Write Code</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-21T21:09:58:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:35:01:19</duration>
      <onairtime>2021-10-21T21:24:58:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Integrated Scientific Modeling and Lab Automation</title>
      <duration>01:00:00:00</duration>
      <onairtime>2021-10-21T22:20:00:00</onairtime>
      <mediaid>3cd9d6e6-482e-4d66-9453-b8af77578e91</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations</title>
      <duration>00:14:56:03</duration>
      <onairtime>2021-10-21T23:50:00:00</onairtime>
      <mediaid>oopsla21main-p180-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Static Detection of Silent Misconfigurations with Deep Interaction Analysis</title>
      <duration>00:14:56:00</duration>
      <onairtime>2021-10-22T00:04:56:00</onairtime>
      <mediaid>oopsla21main-p183-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Data-Driven Abductive Inference of Library Specifications</title>
      <duration>00:14:55:01</duration>
      <onairtime>2021-10-22T00:19:52:00</onairtime>
      <mediaid>oopsla21main-p83-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Synthesizing Contracts Correct Modulo a Test Generator</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-22T00:34:47:00</onairtime>
      <mediaid>oopsla21main-p30-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:20:12:19</duration>
      <onairtime>2021-10-22T00:49:47:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Study of the Subtyping Machine of Nominal Subtyping with Variance</title>
      <duration>00:14:23:06</duration>
      <onairtime>2021-10-22T02:50:00:00</onairtime>
      <mediaid>oopsla21main-p170-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Label Dependent Lambda Calculus and Gradual Typing</title>
      <duration>00:14:49:06</duration>
      <onairtime>2021-10-22T03:04:23:00</onairtime>
      <mediaid>oopsla21main-p43-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Relational Nullable Types with Boolean Unification</title>
      <duration>00:14:21:04</duration>
      <onairtime>2021-10-22T03:19:12:00</onairtime>
      <mediaid>oopsla21main-p47-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation</title>
      <duration>00:13:21:00</duration>
      <onairtime>2021-10-22T03:33:33:00</onairtime>
      <mediaid>oopsla21main-p237-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:23:05:08</duration>
      <onairtime>2021-10-22T03:46:54:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>SPLASH Awards</title>
      <duration>00:20:00:00</duration>
      <onairtime>2021-10-22T14:00:00:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern>fa5fb5f4-0b6b-404a-90be-226c87cf9558</recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>true</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Designing Safe Programmed Molecular Systems</title>
      <duration>01:00:00:00</duration>
      <onairtime>2021-10-22T14:20:00:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern>35abc255-2ef4-4837-af5f-9c0784a6fcca</recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>true</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Rewrite Rule Inference Using Equality Saturation</title>
      <duration>00:14:18:05</duration>
      <onairtime>2021-10-22T15:50:00:00</onairtime>
      <mediaid>oopsla21main-p94-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>One Down, 699 to Go: or, synthesising compositional desugarings</title>
      <duration>00:14:06:05</duration>
      <onairtime>2021-10-22T16:04:18:00</onairtime>
      <mediaid>oopsla21main-p107-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Semantic programming by example with pre-trained models</title>
      <duration>00:14:57:03</duration>
      <onairtime>2021-10-22T16:18:24:00</onairtime>
      <mediaid>oopsla21main-p17-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-22T16:33:21:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:21:38:11</duration>
      <onairtime>2021-10-22T16:48:21:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Scalability and Precision by Combining Expressive Type Systems and Deductive Verification</title>
      <duration>00:13:54:03</duration>
      <onairtime>2021-10-22T18:50:00:00</onairtime>
      <mediaid>oopsla21main-p191-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-22T19:03:54:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Transitioning from Structural to Nominal Code with Efficient Gradual Typing</title>
      <duration>00:15:00:00</duration>
      <onairtime>2021-10-22T19:18:54:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:36:05:22</duration>
      <onairtime>2021-10-22T19:33:54:00</onairtime>
      <liveid>ROOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>SPLASH Awards</title>
      <duration>00:20:00:00</duration>
      <onairtime>2021-10-22T22:00:00:00</onairtime>
      <mediaid>fa5fb5f4-0b6b-404a-90be-226c87cf9558</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Designing Safe Programmed Molecular Systems</title>
      <duration>01:00:00:00</duration>
      <onairtime>2021-10-22T22:20:00:00</onairtime>
      <mediaid>35abc255-2ef4-4837-af5f-9c0784a6fcca</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Rewrite Rule Inference Using Equality Saturation</title>
      <duration>00:14:18:05</duration>
      <onairtime>2021-10-22T23:50:00:00</onairtime>
      <mediaid>oopsla21main-p94-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>One Down, 699 to Go: or, synthesising compositional desugarings</title>
      <duration>00:14:06:05</duration>
      <onairtime>2021-10-23T00:04:18:00</onairtime>
      <mediaid>oopsla21main-p107-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Semantic programming by example with pre-trained models</title>
      <duration>00:14:57:03</duration>
      <onairtime>2021-10-23T00:18:24:00</onairtime>
      <mediaid>oopsla21main-p17-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis</title>
      <duration>00:15:40:03</duration>
      <onairtime>2021-10-23T00:33:21:00</onairtime>
      <mediaid>oopsla21main-p410-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:20:58:07</duration>
      <onairtime>2021-10-23T00:49:01:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Scalability and Precision by Combining Expressive Type Systems and Deductive Verification</title>
      <duration>00:13:54:03</duration>
      <onairtime>2021-10-23T02:50:00:00</onairtime>
      <mediaid>oopsla21main-p191-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs</title>
      <duration>00:12:58:04</duration>
      <onairtime>2021-10-23T03:03:54:00</onairtime>
      <mediaid>oopsla21main-p161-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>PROGRAM</category>
      <title>Transitioning from Structural to Nominal Code with Efficient Gradual Typing</title>
      <duration>00:13:56:07</duration>
      <onairtime>2021-10-23T03:16:52:00</onairtime>
      <mediaid>oopsla21main-p130-p-video</mediaid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
    <event>
      <category>LIVE</category>
      <title>Discussion, Questions and Answers</title>
      <duration>00:39:11:10</duration>
      <onairtime>2021-10-23T03:30:48:00</onairtime>
      <liveid>ZOOMA</liveid>
      <recordingPattern></recordingPattern>
      <offset>00:00:00:00</offset>
      <endmode>FOLLOW</endmode>
      <ignoreincomingscte35signals>false</ignoreincomingscte35signals>
      <maxExtendedDuration>00:00:00:00</maxExtendedDuration>
      <scte35list/>
      <som>00:00:00:00</som>
      <playoutswitchlist/>
      <startmode>FOLLOW</startmode>
      <recording>false</recording>
      <twitchrpclist/>
      <untimedAdList/>
      <voiceoverlist/>
    </event>
  </eventlist>
</playlist>