{"pages":{"search":{"query":"PLDI 2019 Video Abstracts","originalQuery":"PLDI 2019 Video Abstracts","serpid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","parentReqid":"","serpItems":[{"id":"95072238439656082-0-0","type":"videoSnippet","props":{"videoId":"95072238439656082"},"curPage":0},{"id":"6864434206376635068-0-1","type":"videoSnippet","props":{"videoId":"6864434206376635068"},"curPage":0},{"id":"8111539039659072339-0-2","type":"videoSnippet","props":{"videoId":"8111539039659072339"},"curPage":0},{"id":"9902700851768513774-0-3","type":"videoSnippet","props":{"videoId":"9902700851768513774"},"curPage":0},{"id":"R-I-113683-5-0-4","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":4,"grab":"dFBMREkgMjAxOSBWaWRlbyBBYnN0cmFjdHMK","statId":4,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","ui":"desktop","yuid":"4159337341769558634"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"9516403221719409155-0-5","type":"videoSnippet","props":{"videoId":"9516403221719409155"},"curPage":0},{"id":"13327471745403852310-0-6","type":"videoSnippet","props":{"videoId":"13327471745403852310"},"curPage":0},{"id":"10554558005538708391-0-7","type":"videoSnippet","props":{"videoId":"10554558005538708391"},"curPage":0},{"id":"6855296219813780934-0-8","type":"videoSnippet","props":{"videoId":"6855296219813780934"},"curPage":0},{"id":"9167721179756441707-0-9","type":"videoSnippet","props":{"videoId":"9167721179756441707"},"curPage":0},{"id":"11748465298197046314-0-10","type":"videoSnippet","props":{"videoId":"11748465298197046314"},"curPage":0},{"id":"R-I-113683-5-0-11","type":"direct","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"","renderTo":"","pageNumber":11,"grab":"dFBMREkgMjAxOSBWaWRlbyBBYnN0cmFjdHMK","statId":11,"darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","ui":"desktop","yuid":"4159337341769558634"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"242678847144341331-0-12","type":"videoSnippet","props":{"videoId":"242678847144341331"},"curPage":0},{"id":"7763505178235516984-0-13","type":"videoSnippet","props":{"videoId":"7763505178235516984"},"curPage":0},{"id":"10419549089703432789-0-14","type":"videoSnippet","props":{"videoId":"10419549089703432789"},"curPage":0},{"id":"4441437380593694646-0-15","type":"videoSnippet","props":{"videoId":"4441437380593694646"},"curPage":0},{"id":"810587366740742983-0-16","type":"videoSnippet","props":{"videoId":"810587366740742983"},"curPage":0},{"id":"12434457341515997628-0-17","type":"videoSnippet","props":{"videoId":"12434457341515997628"},"curPage":0},{"id":"9906468952297009732-0-18","type":"videoSnippet","props":{"videoId":"9906468952297009732"},"curPage":0},{"id":"3506704383980618165-0-19","type":"videoSnippet","props":{"videoId":"3506704383980618165"},"curPage":0}],"filters":{},"serpFooter":{"linksGroups":[{"type":"geo","links":[{"label":"Columbus","title":"Columbus","url":"//yandex.com.tr/tune/geo/","logNode":{"name":"region"},"target":"_self","a11yLabel":"Bölgeniz Columbus","needRetpath":true}]},{"type":"help","links":[{"label":"Bize ulaşın","url":"https://yandex.com.tr/support/video/troubleshooting.html","logNode":{"name":"feedback"},"needRetpath":true},{"label":"Yardım","url":"https://yandex.com.tr/support/video/","logNode":{"name":"help"},"needRetpath":true}]},{"type":"settings","links":[{"label":"Ayarlar","url":"https://yandex.com.tr/tune/search/","target":"_self","logNode":{"name":"settings"},"needRetpath":true}]},{"type":"company","links":[{"label":"Şirket hakkında","url":"//yandex.com.tr/company/","logNode":{"name":"about"},"target":"_blank"},{"label":"Kullanım lisansı","url":"//yandex.com.tr/legal/termsofuse/","logNode":{"name":"license"},"target":"_blank"},{"label":"Gizlilik Politikası","url":"//yandex.com.tr/legal/confidential/","logNode":{"name":"confidential"},"target":"_blank"}],"a11yHidden":true}],"hasExtralinks":true},"currentPage":0,"prevPageToLoad":-1,"nextPageToLoad":1,"isTranslationsFilterEnabled":false,"isTranslationsDistributionEnabled":false,"isTranslationsDistributionOnboardingEnabled":false,"isFeedbackModalVisible":false,"prevention":{},"hasNextPage":true,"rightSerpItems":[{"type":"direct","id":"search-list-right","props":{"advRsyaActivateParams":{"pcodeParams":{"blockId":"R-I-8843654-1","renderTo":"search-list-right-0-R-I-8843654-1","pageNumber":0,"grab":"dFBMREkgMjAxOSBWaWRlbyBBYnN0cmFjdHMK","darkTheme":false,"lazyLoad":false,"extParams":{"reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","ui":"desktop","yuid":"4159337341769558634"}}},"isAdult":false,"position":0,"placement":"search-list-right"},"curPage":0}],"isAdultQuery":false,"errorList":[],"layout":"list","retpath":"https%3A%2F%2Fgs.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DPLDI%2B2019%2BVideo%2BAbstracts"},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"3871376086531613737169","expFlags":{"video_settings_toolbar_redesign":1,"velocity_delay_drawer":1,"video_feedback_in_d2d":1,"video_viewer_heartbeat_disabled_in_no_js_api":1,"video_search_toggle_with_text":1,"velocity_disable_suspense":1,"video_viewer_desktop_smart_layout":1,"dark_theme_desktop":"cookie","distr_splashscreen_on":1,"video_viewer_check_sandbox_origin":1,"video_font_yandex_sans":1,"video_adv_new_show_rules":1,"video_resource_loader":1,"video_adv_config_desktop":{"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"new_template_version":4,"video_search_page_no_islands":1,"video_vh_player_js":0,"video_masthead_ratio":"180,4","video_searchdata_scheme":1,"video_viewer_related_fail_error_screen":1,"velocity_delay_metrika":1,"video_viewer_no_islands":1,"video_viewer_channel_link_mode":2,"video_partner_label":1,"video_resource_loader_load_timeout":6000,"int_tr":1,"mmui_extended_escape_scheme":"searchdata.clips.0.authorname","tabs_order_version":"search,images,video,newstr,maps,translate,tr_ecom","spok":"id","video_suggest_use_serp":1,"video_search_grid_direct_repeat":6,"video_viewer_critical_error_codes":"101,102,103,100,151,152,153,154,155,156,150","video_direct_config_desktop_search":"search-grid-row:R-I-48058-718:R-I-474674-109,search-grid-head:R-I-2120168-7","init_meta":{"enable-yabs-distr":1,"ask-user-purchase-history":1,"use-src-videoquickp":1,"enable-begemot":1,"enable_masthead":1,"use-src-videop":1,"use-src-videoquickp_misspell":1,"enable_blackbox_multisession":1,"begemot-enable-cancelled-misspell-rtmr":1,"enable_video_iron_fetcher":1,"use-related-only":1,"ask-yandex-io-devices":1,"use-images-device-setup":1,"use-src-imagesp":1,"images-apphost-collections-front":1,"enable_aab_apphost":1,"graph-is-video-search":1,"bg-bert-video":1,"use-src-imagesp_misspell":1,"use-src-imagesultrap":1,"use-video-apphost-pre-templates":1,"use-src-videop_misspell":1,"use-video-apphost-post-templates":1,"use-src-imagesquickp":1,"enable_video_carousels":"1","restrict-max-docs":"1000","use-images-region-setup":1,"use-post-auto2":1,"use-images-settings-setup":1,"use-src-ugc_favorites":1,"video_vitrina_disable":"0","use-images-user-setup":1,"use-video-pre-search-data":1,"begemot-no-suggest-history":1},"video_depot_viewer_masthead_ssr_only":1,"video_blender":1,"video_search_grid_enable":0,"video_viewer_desktop_fix_d2d_scroll":1,"video_depot_viewer_legacy_counters":1,"video_search_grid_direct_start":3,"video_adv_new_show_rules_docs_count":1,"beauty_header_futuris_tab":9,"video_related_suggest_enable":1,"video_redirect_plug":2,"video_adv_grid_inplace":1,"distr_popup_on":1,"dark_theme_desktop_default_pref":"system","video_search_toggle_enable":1,"video_depot_viewer_related_adv_margin":400,"video_viewer_doc2doc_instant_load":1,"velocity_split_hydration":4,"video_duration_counter_new_format":1,"video_force_grid_on_premordie":1,"int_online_summarization_video_snippet":1,"video_morda_header_nav":1,"video_nohost_full_filter":1,"distr_pcode_off":1,"video_baobab_blockstat":1,"video_thumb_poster_full":1,"video_scrollpages":2,"video_serp_desktop_block_design":1,"video_nohost_youtube_filter":0,"video_viewer_host_link_mode":1},"slots":["1466868,0,86;1457622,0,64;1433081,0,80;1473742,0,99;1424968,0,95;1460956,0,10;1460717,0,23;1459297,0,42;1312966,0,81;1456929,0,6;1472029,0,15;898801,0,6;754545,0,6;1471624,0,81;1201469,0,5;27392,0,90;1469885,0,76;260555,0,28;182558,0,61;123842,0,58;45959,0,50;1464523,0,73;1470249,0,63;1373787,0,92;1466296,0,31;1465947,0,94;1467161,0,97;1146114,0,96;1470514,0,77;123856,0,62;1467621,0,73;1404022,0,68;263460,0,90;255407,0,90;40255,0,6;461653,0,99;1470317,0,46;1357004,0,1;1352005,0,55;1470415,0,53;151171,0,8;126312,0,10;126345,0,65;1281084,0,52;287509,0,33;1447467,0,61;1006024,0,6;1466397,0,77"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Fgs.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DPLDI%2B2019%2BVideo%2BAbstracts","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://gs.yandex.com.tr/video/search?text=PLDI+2019+Video+Abstracts","settingsUrl":"https://yandex.com.tr/tune/search/","helpUrl":"https://yandex.com.tr/support/video/","legalUrl":"//legal.yandex.com.tr/termsofuse/","feedbackUrl":"https://yandex.com.tr/support/video/troubleshooting.html","basename":"/video","currentPageName":"search","isYandexApp":false,"isYandexAppAndroid":false,"isYandexAppIos":false,"isAnyYaBro":false,"isAndroid":false,"isHamster":false,"serpid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","backUrl":"//ya.ru","url":"https://gs.yandex.com.tr/video/search?text=PLDI+2019+Video+Abstracts","isIntegrationTest":false,"isEndToEndTest":false,"shouldDropLogs":false,"seo":{"title":"PLDI 2019 Video Abstracts: Yandex'te 2 bin video bulundu","description":"Результаты поиска по запросу \"PLDI 2019 Video Abstracts\" в Яндексе","keywords":"яндекс видео, поиск видео, смотреть онлайн, сериалы, фильмы, клипы","shareTitle":"PLDI 2019 Video Abstracts — Яндекс — поиск по видео"},"isEmbedded":false,"isPumpkin":false,"sessionCsrfToken":"yf2f57d65abf5b024482726621f560340","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1466868,1457622,1433081,1473742,1424968,1460956,1460717,1459297,1312966,1456929,1472029,898801,754545,1471624,1201469,27392,1469885,260555,182558,123842,45959,1464523,1470249,1373787,1466296,1465947,1467161,1146114,1470514,123856,1467621,1404022,263460,255407,40255,461653,1470317,1357004,1352005,1470415,151171,126312,126345,1281084,287509,1447467,1006024,1466397","queryText":"PLDI 2019 Video Abstracts","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"4159337341769558634","uid":"0","isChildAccount":false}},"userTestids":"191768,238743,246500,253288,265553,270072,277807,274239,294077,278842,331010,338398,378416,359879,415420,644350,652605,645301,679708,689693,690449,696466,696473,722746,740796,776165,771230,781521,790415,801982,851450,886706,883477,900639,931367,937268,969063,935488,945314,989988,982463,991363,990185,1015567,1011895,1035320,1033956,1035241,1036046,1087297,1060131,1071879,1078818,1077703,1116602,1045814,1131637,1144233,1151726,1156933,1174275,1173000,1167408,1202006,1194718,1221235,1228280,1239596,1227266,1226860,1246754,1276447,1289213,1316370,1313283,1321224,1300570,1320679,1352408,1342688,1344637,1341968,1345362,1343279,1367583,1336673,1348424,1382036,1391511,1384451,1402882,1407422,1417605,1424780,1429092,1438908,1444206,1449283,1452713,1457995,1459277,1459585,1461130,1472666,1466451,1299604","regionId":20815,"isYaRu":false,"shouldUnmountSearchPageInViewer":false,"videoGlobalContext":{"platform":"desktop","isPumpkin":false,"language":"tr","user_time":{"epoch":"1769558640","tz":"America/Louisville","to_iso":"2026-01-27T19:04:00-0500","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","isEmbedded":false,"shouldShowMainPageButtonInViewer":false,"shouldDisableWebp":false,"removeLinkPrefix":"/video","shouldUseHighresPreview":true,"shouldCutSnippetTitle":true,"shouldShowPlusBadge":true,"reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1466868,1457622,1433081,1473742,1424968,1460956,1460717,1459297,1312966,1456929,1472029,898801,754545,1471624,1201469,27392,1469885,260555,182558,123842,45959,1464523,1470249,1373787,1466296,1465947,1467161,1146114,1470514,123856,1467621,1404022,263460,255407,40255,461653,1470317,1357004,1352005,1470415,151171,126312,126345,1281084,287509,1447467,1006024,1466397","queryText":"PLDI 2019 Video Abstracts","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"4159337341769558634","uid":"0","isChildAccount":false}},"deviceDetect":{"OSFamily":"Unknown","isTV":0,"x64":0,"GoogleToolBarVersion":"","MultiTouch":0,"BrowserBase":"","YandexBarVersion":"","isTablet":0,"YandexBar":0,"hasWebOmni":0,"isTouch":0,"hasYandexCamera":0,"isMobile":0,"DeviceKeyboard":"","device":"desktop","TurboAppPlatformVersion":"","historySupport":0,"BrowserShellVersion":"","DeviceVendor":"","isBrowser":0,"hasFlash":0,"MailRuSputnikVersion":"","isSameSiteSupported":0,"BrowserBaseVersion":"","BrowserVersionRaw":"","hasWebVert":0,"DeviceId":"","error":"","MailRuAgent":0,"ScreenWidth":0,"inAppBrowser":0,"hasHTML5":0,"isEmulator":0,"J2ME":0,"MailRuAgentVersion":"","BrowserEngineVersionRaw":"537.36","isRobot":1,"__is_plain":1,"BrowserEngineVersion":"0537.0036","BrowserName":"Unknown","DeviceModel":"","BrowserEngine":"WebKit","DeviceName":"","OSVersionRaw":"","OSName":"","GoogleToolBar":0,"ScreenSize":"","isTurboApp":0,"MailRuSputnik":0,"YaBuildName":"","isWAP":0,"PreferMobile":0,"DesktopMode":0,"BrowserVersion":"","BitsPerPixel":0,"BrowserShell":"","YaGUI":"","isBeta":0,"OSVersion":"","ScreenHeight":0},"nonce":"3871376086531613737169","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":155,"animated":false,"isDoc2DocScrollFix":true,"smartDesktopLayout":true,"enableVIImprovements":false,"enableLazyPoster":false,"isAdvDisabled":false,"shouldShowVideoPlaylistPane":false,"isVideoTranslationSupported":false,"isSummaryDisabled":false,"isSummaryOnlineEnabled":true,"shouldRenderBroSummaryApiContainer":false,"shouldDropLogs":false,"shouldUseBeacon":false,"hasAdBlock":false,"rknWarnHosts":[""],"relatedAdvRootMargin":400,"postInstreamScreenDuration":2000,"minVideoDurationForInstream":120,"isInstreamEnabledInTesting":false,"isFinalHeartbeatDisabledInNoJsApi":true,"wildcard":false,"isAdvUnderPlayerRedesign":false,"disableEarlyEventsInD2d":false,"isDoc2DocInstantLoadEnabled":true,"disableEarlyEventsUnsubscribe":false,"showDebugRelatedURL":false,"shouldUseBetaErrorLogging":false,"shouldShowMetaUnderPlayer":false,"isVideoViewerMetaTitleHidden":false,"isStickyPlayerDisabled":false,"headerNoFavicon":false,"headerBranded":false,"shouldCensorSensitiveContent":false,"isAdvUnderPlayerTransparent":false,"isDoc2DocGridLayoutEnabled":false,"detailsRedesignEnabled":false,"detailsRedesignV2Enabled":false,"detailsRedesignV3Enabled":false,"isIslandsDisabled":true,"isD2DEmptyLoadFixDisabled":false,"isRoundedPlayerEnabled":false,"isSettingsToolbarRedesign":true,"isDoc2DocEmptyRetryEnabled":false,"isAdvUnderPlayerWithBackdrop":false,"isTouchAdvWithBackdrop":false,"isDoc2DocErrorScreenEnabled":true,"isDoc2DocFeedbackKebabEnabled":true,"isCommentsEnabled":false,"isCommentsCountOnSnippetsEnabled":false,"criticalErrorCodes":["101","102","103","100","151","152","153","154","155","156","150"],"isVideoMainButtonInitiallyCollapsed":false,"isAdvUnderPlayerWithInnerPadding":false,"isKebabAdvancedActionsEnabled":false,"isKebabOnTouchVideoSearchEnabled":false,"isAdvVideoListLikeUnderPlayer":false,"isSummaryInMetaButtons":false,"isSummaryInMetaButtonsDesktop":false,"isMetaCommentsButtonEnabled":false,"preventAdvHideOnEmpty":false},"shouldShowAdvId":false,"isAdultQuery":false,"isSensitivePage":false,"showSensitive":false,"shouldReplaceHref":false},"user":{"tld":"com.tr","isEuDomain":false,"login":"","passportId":"","isLoggedIn":false,"locationName":"Columbus","isFamily":false,"yandexuid":"4159337341769558634","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1754.0__7d090cb2d4d9823803190509a95d03c049893005","isGridSupported":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"isSkinInitedOnClient":false},"counters":{"params":{"useBeacon":false,"clickHost":"gs.yandex.com.tr/clck","pid":197},"dict":{"viewer":"2921","user":"538","info":"1275","sources":"1500","select":"775","close":"486","open":"842","source":"186","link":"513","click":"882","tech":"690","player":"1242","change":"719","summary":"3410","init":"1309","item":"22","button":"440","shown":"3780","copy":"1276","text":"232","load":"1724","fallback":"2010","channel":"1345","hide":"1656","serp":"471","pager":"405","down":"601","up":"600","footer":"295","more":"75","page":"143","loaded":"1007","grid":"3223","support":"2458","client":"2989","layout":"54","list":"436","duration":"2136","within":"3247","on":"10","off":"11","host":"3052","supported":"3761","enable":"2396","disable":"2395","full":"318","video":"231","translation":"347","distrib":"316","onboarding":"2045","filters":"618","lang":"1144","advanced":"255","apply":"2461","reset":"3236","short":"142","toggle":"237","snippet":"254","icon":"1167","abuse":"1436","submit":"297","wizard":"358","incut":"1073","extralinks":"3557","show":"487","feedback":"296","out":"3218","popup":"1544","scroll":"768","retry":"3545","region":"287","help":"177","settings":"1137","recommendations":"2671","home":"1319","soo":"65","youtube":"624","google":"66","bing":"568"}},"clips":{"items":{"95072238439656082":{"videoId":"95072238439656082","docid":"34-9-16-ZF18B2B8E9C7D8717","description":"Verified Compilation on a Verified Processor https://pldi19.sigplan.org/details/pl...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/875566/5d900ff350c81a86e06192fbd3afdbee/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/isuZJAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"0","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D5XdemOg75aU","linkTemplate":"/video/preview/95072238439656082?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Verified Compilation on a Verified Processor","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=5XdemOg75aU\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhMKETk1MDcyMjM4NDM5NjU2MDgyWhE5NTA3MjIzODQzOTY1NjA4Mmq1DxIBMBgAIkQaMQAKKmhoanppcmp6bXliaWVjdWJoaFVDc3NjZmFvc3JpeUpOcU0zYWljc25wZxICABIqD8IPDxoPPxM_ggQkAYAEKyqLARABGniBBAf4_PwEAP4A7wj_B_0C8gAIAfv-_gDtAvwEAAAAAOr9DwQEAAAA-gL7_gYAAAD5_AP_A_4AABIK9vcDAAAABPkFAP4AAAAODf0DEf4BAQT-BQkD_wAAB_sGC_8AAAAADQH6_f8AAAv79_8AAAAADQLy9wAAAAAgAC0S1N87OBNACUhOUAIqhAIQABrwAX8M7ALMJff_3ATPAAr99QGl7vL_M-_NAd_l_QDe88oB2tvTAP3wE_8IBjEA1B4RAPvZFv9VCuoA5CDmACIj-QEgDzQBCO0KAfby9QHGIx__EfIU_gsVCwERATYAK_0M__7qE__z9vcADf_aAw_bFf_J_AIBTOkFAeQY_gAR8er8GwIpAMcL_QMcAPT64-z4__IJ2foTEAf65wIFChAC9gYk4Aj5DxgA-QbwGgTwHvQD_e3s-fcfGP7E8vgDCCAg-uTPIQYLGPD54_P1CPTu5QDz3fPz-dX1DfQY6_cbFvH5BQEA_AgK5P_f-AD-BP4HBiAALZE3KTs4E0AJSGFQAipzEAAaYCECAEEEG-AQElHy2Mjg-B7S5Qr5ljT_Fgb_3izwFPkcBckXKQBb6yoPogAAAP_ZL0HXABZ35t7g6PII4_DxOCYgfwceMI8gFOoQCmfp9-Ld-8kvHgAL7tYi5QmBXzXh7yAALaX3FDs4E0AJSG9QAiqvBhAMGqAGAABQQQAAQEEAAJBCAADowQAA-MEAAEBCAAAQwQAARMIAAAzCAACwQQAAcEEAAPhBAAAswgAABMIAAAhCAADYQQAASMIAANDBAACwQQAAcMIAADBBAAAQwQAAqEEAAOhBAAAMQgAAGEIAAODBAAAwwgAAskIAACBCAAAsQgAAgEAAAHDBAAA8QgAAEMIAALBBAACAPwAAbEIAALhBAAAAwgAACMIAAKjBAAAAQQAAUMEAAGTCAAAAQgAA8MEAAFDBAAAwQgAAaMIAAKLCAABMQgAAqMEAAAxCAACYwQAAgsIAABzCAAA0wgAAyEEAAIA_AAAgwQAA8MEAAETCAACEwgAA-MEAAMBBAACIQQAAJMIAAIjBAABwQgAAGEIAACxCAADAQAAAdEIAAODAAACgwAAAiMEAALhBAAAgwQAA4MAAAJjCAADIQQAAYEEAADBCAACgwAAAfEIAAJjCAAAoQgAAOEIAADBBAADIwQAA2EEAAODAAADQwQAA4MEAAKBAAACIQQAAvkIAAChCAADYwQAAkEEAAEDAAABwQgAAYMIAAIjBAACwwQAAQEIAAODAAACwwgAAoMEAAOjBAACAvwAAKMIAAADAAACAQgAAmEEAAKDAAAA4wgAAOMIAAJLCAADowQAAwMEAAIC_AABIwgAA4MEAAMjBAADAQQAAgMAAAEDCAADcwgAAMMEAAGDBAABAwQAAPEIAAPhBAAAAwAAAwEEAAODBAADgwQAAisIAAMDBAACwQgAAwEAAAABAAADgwAAAsMEAAI5CAABYQgAAAMEAAODAAABAwQAASEIAABxCAACgwQAAwEEAAMhBAADIQQAAeMIAAGDBAACAvwAAiMEAAIjBAAAkwgAATEIAAODAAAB8wgAAoEEAAFDBAADoQQAA8MEAAJbCAABAQAAALEIAAJBBAADowQAAoEIAAIbCAAAMwgAAAEEAAJRCAADQwQAAUMIAAOhBAABwwgAAAEEAABhCAAAUwgAAsEIAADBBAABgwQAASMIAALRCAABQwgAAoEAAAJjBAABgQQAAksIAAKhBAAAUwgAAAMIgADgTQAlIdVABKo8CEAAagAIAACy-AAAEPgAAPD4AAMg9AACCvgAAgj4AABC9AAAJvwAAqr4AADA9AACiPgAA4DwAAOI-AADIPQAAcD0AAOg9AACOPgAAcL0AAHw-AAAjPwAAfz8AAOA8AADIPQAA4DwAADQ-AADgvAAAuL0AAJK-AAAEvgAALD4AANg9AAD6PgAAmL0AABC9AAARPwAAxr4AAGy-AAAkvgAAbL4AAJi9AABQvQAAXD4AAAU_AABAvAAAjr4AAHC9AAC2vgAAvr4AANi9AACgPAAAML0AANg9AABsPgAATD4AABQ-AACIPQAAMz8AAKA8AADKPgAAQDwAAEw-AABUPgAAgLsAAAy-IAA4E0AJSHxQASqPAhABGoACAAA0vgAAXL4AAIC7AABnvwAABL4AAFQ-AACuPgAAyD0AALi9AAD4PQAAmL0AABS-AADoPQAAEL0AABS-AABAvAAA4DwAADM_AAAQPQAAqj4AANi9AACYvQAAHD4AAKi9AABAvAAA6L0AAAS-AACgPAAALD4AAOC8AAAwPQAAoLwAAJg9AACivgAALD4AAHS-AACoPQAAmL0AAOi9AACKPgAAoj4AAIi9AABAvAAAcL0AAEy-AABwvQAAf78AACw-AAC4PQAARD4AAJo-AABwvQAA4DwAAEQ-AABMPgAAmD0AAIi9AADgPAAAgDsAAGS-AAA8PgAAiL0AABS-AACAuyAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=5XdemOg75aU","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["95072238439656082"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"3702658399"},"6864434206376635068":{"videoId":"6864434206376635068","docid":"34-7-6-Z5B7B604D346CA966","description":"Embedding Hindsight Reasoning in Separation Logic (Video, PLDI 2023) Roland Meyer, Thomas Wies, and Sebastian Wolff (TU Braunschweig, Germany; New York University, USA; New York University, USA)...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2756605/cfe4ef73438bab727741d7f96145b04a/564x318_1"},"target":"_self","position":"1","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dpgn9nhPPcKA","linkTemplate":"/video/preview/6864434206376635068?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'23] Embedding Hindsight Reasoning in Separation Logic","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=pgn9nhPPcKA\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzY4NjQ0MzQyMDYzNzY2MzUwNjhaEzY4NjQ0MzQyMDYzNzY2MzUwNjhqrw0SATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8T0QmCBCQBgAQrKosBEAEaeIH0DAbzBfoA6AQKAvgBAQD9AvMH9_38AOv37vsFAAAA_AL4AwcAAADy_AT9BwAAAPP18vD9_gAAFP7uCAIAAAAJBBAN_wAAAAUTDfv-AQAA8_YIAwMAAAAI_RYFAAAAAAEG_Af4_gABBQIICgAAAAAT9P39AAEAACAALRyPwTs4E0AJSE5QAipzEAAaYAwJAAsNIQr4CwD45wXxEdwWDv7y5_UA_MYAAyzsBQoH5t_5AAAS7PoG0gAAABQL5g0SAP81_fr5KAD07eDn7xEDfwQV5AkJ_v7a8gEDDALzBQgaGwD86hUGCebGMf0KIiAALehhijs4E0AJSG9QAiqvBhAMGqAGAAAwwQAABEIAAPhBAAA8wgAA2EEAAABBAADgQQAAgsIAAGBBAACgQQAAwEEAAHjCAAD4wQAAOMIAAIRCAABAwgAAgD8AABTCAACgwAAAIMIAABDBAABQwQAAAEEAAI5CAACgQQAAJMIAAILCAAC-wgAAkEEAAHhCAACgQQAAZEIAALDBAABQwQAAHMIAAHDBAACQQQAAtEIAADjCAACuQgAA2MEAAIDAAACyQgAAEEEAAIBCAAAswgAAosIAAChCAABQQgAAuEEAADDCAABwQQAAoEEAAEDBAAA8QgAAEEEAAPrCAACgQAAANMIAAIhBAAAQQgAAQEAAAOjBAACiwgAAIEEAAGTCAADYwQAANMIAAMDAAADAwAAAbEIAADBCAABwwQAAQEEAAJjBAACUwgAAAAAAAIDBAACAvwAA4MAAADjCAABAQQAA0MEAAExCAAAAwAAAMMEAACRCAABsQgAAOEIAAFjCAACgQQAAIEIAAMDAAACUwgAABMIAAEzCAAAwQQAAAAAAAERCAABQwQAAyMEAABBBAACiQgAAjMIAAJjBAAAwwQAAgL8AALBBAAAkwgAANEIAANhBAABAQAAAHMIAAGDBAACYQQAAmEEAAIDBAABEwgAAcMEAAABAAACAQAAAGMIAAGzCAACwwQAAIEIAAABCAAAAQQAAwEAAAIjBAADgwQAAIMEAAKDAAAAAwgAAQEEAACjCAABAQAAAAEAAAMDAAAB8wgAAqMIAAMDAAADwwQAA8EEAAEBAAADQQQAA8MEAAGDCAAAAQgAAhkIAALjBAAB8wgAAXEIAADhCAABAQAAA4MAAAFDBAAAAAAAAXMIAAFzCAAAgQgAAFMIAAJBBAACYwQAAhMIAAKDBAADAQQAAOEIAAKJCAAD4QQAAiMEAAMDBAACKQgAAAEAAAKDAAAAUwgAA4EAAAJBBAAA8wgAAjEIAANhBAAAwQgAAwMEAAABCAAD4QQAAnkIAAATCAAAkwgAA0MEAAFDBAACAwAAAAMIAAJzCAACGQgAAIMEAAPBBAACoQQAAgsIAAMDBAAAgwQAA8MEgADgTQAlIdVABKo8CEAAagAIAAKi9AAAwvQAAND4AADw-AABQvQAALD4AAHA9AABVvwAAA78AAHA9AACYPQAAbL4AALg9AAAcPgAAqr4AAHC9AABwvQAA-D0AAKI-AAAfPwAAfz8AAFQ-AADYPQAALL4AAEC8AADovQAAoDwAAKg9AACAuwAAVD4AAJI-AACIPQAAlr4AALi9AABkvgAAuD0AAEQ-AAC4vQAAwr4AAI6-AAC4vQAAiD0AAEw-AAAMvgAAfL4AAIo-AAAcPgAAdL4AADw-AACyvgAAHD4AAIA7AAAUPgAAhj4AAOi9AAAQvQAAWz8AAIA7AACgPAAAZD4AAKC8AADYPQAA6D0AAIa-IAA4E0AJSHxQASqPAhABGoACAACgvAAA6D0AADC9AAAtvwAAiL0AAOA8AACIvQAA-D0AAHS-AADCPgAAUD0AAMi9AAAwvQAARL4AABS-AAAwvQAA6L0AACE_AACYPQAAZD4AACQ-AACYPQAABD4AABy-AAAUvgAAoDwAACS-AACoPQAAmL0AACw-AAAEPgAAuD0AANi9AACAOwAAuL0AACy-AACCPgAAjj4AAIa-AACAOwAAbD4AAOC8AADovQAAoDwAALg9AAA8PgAAf78AADA9AADYPQAAuD0AABw-AACIvQAAjj4AAAQ-AAAUPgAAUD0AAKC8AAC4vQAAiL0AAJi9AACgPAAADD4AAOi9AADYvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=pgn9nhPPcKA","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["6864434206376635068"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"8111539039659072339":{"videoId":"8111539039659072339","docid":"34-8-3-ZF46982FEA77FF11A","description":"Compiling with Abstract Interpretation (Video, PLDI 2024) Dorian Lesbre and Matthieu Lemerre (Université Paris-Saclay - CEA LIST, France; Université Paris-Saclay - CEA LIST, France) Abstract...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/367509/43ff55205a11f020d81af51ba0cdb6e6/564x318_1"},"target":"_self","position":"2","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D2Btkn9AvM8o","linkTemplate":"/video/preview/8111539039659072339?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[Pldi24] Compiling with Abstract Interpretation","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=2Btkn9AvM8o\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzgxMTE1MzkwMzk2NTkwNzIzMzlaEzgxMTE1MzkwMzk2NTkwNzIzMzlq_QYSATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8TqAiCBCQBgAQrKosBEAEaeIH9B_4N_gIAA_oNDgYL-gIPDPoCCP8AAP__9Pv9Bf4A7gMFCgUAAAAI-_4HAQAAAPMD9_r8AAAAFg_2BwMAAAAJ9gAG8wEAAAIGA_8H_wAA-Qf6-fYBAAEPAwcQAAAAAPkO-xD_AAAA_wEAAPn-AAAR9f79AAEAACAALY2P2js4E0AJSE5QAipzEAAaYPkOACXqDwfXMjvnB_7eCQ_hC_Me8BQA2fcA8xX23hX20N30DgAkxgX9xQAAAOwM8DcGAOlS4-zv_Arn2f7i6iEof-YpKO0ECOfFCvQEC_z--ikoFADR8AUpGerlRgQZDCAALYK9Vzs4E0AJSG9QAiqPAhAAGoACAADmvgAAQLwAAEy-AADuPgAAMD0AANi9AAA8PgAA9r4AAI6-AAD4PQAAFD4AAIA7AACAuwAAiD0AAFC9AACAOwAALL4AAFA9AAAMPgAA3j4AAH8_AABcPgAAQLwAAKi9AADIvQAAiD0AAAy-AAAwvQAADL4AAHA9AACGPgAAUD0AAMi9AACAuwAADD4AADw-AACGPgAAor4AANa-AABQPQAAjr4AAKg9AAAkPgAAmL0AAOA8AAA0PgAAPD4AAGy-AACgvAAA8r4AAEA8AAC4vQAApj4AADw-AAAwPQAAML0AACE_AAAwvQAAhj4AAAQ-AACgPAAA4LwAAJi9AAC4vSAAOBNACUh8UAEqjwIQARqAAgAAcL0AAFQ-AADavgAAI78AADS-AABQvQAAoLwAAHC9AABUvgAA0j4AAIg9AACovQAALL4AAKK-AAC4vQAAML0AAOi9AAATPwAAuL0AAJY-AAA8PgAA6D0AAKA8AAAwvQAA-L0AAAQ-AACCvgAA6D0AAPi9AADIvQAA6D0AAKC8AAAkPgAA4LwAAKi9AAAcvgAAFD4AAAQ-AAA0vgAAyL0AAJY-AABQPQAABL4AAAS-AAAwPQAAND4AAH-_AAC4vQAAoDwAABC9AAAUPgAAmL0AAAw-AAAEPgAAMD0AABA9AACYvQAAuD0AABC9AABAvAAABL4AAFQ-AAAQvQAAQDwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=2Btkn9AvM8o","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["8111539039659072339"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"9902700851768513774":{"videoId":"9902700851768513774","docid":"34-3-8-ZCCCE7E92CE9263A6","description":"An Overview of the Cangjie Language (Video, PLDI 2025) Xinyu Feng (Nanjing University & Huawei) Abstract: Cangjie is a new programming language developed at Huawei for mobile application...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2835818/1d70fceebec9d18871dbf6e710b918f8/564x318_1"},"target":"_self","position":"3","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DBuhNS7z49Jk","linkTemplate":"/video/preview/9902700851768513774?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'25] An Overview of the Cangjie Language","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=BuhNS7z49Jk\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzk5MDI3MDA4NTE3Njg1MTM3NzRaEzk5MDI3MDA4NTE3Njg1MTM3NzRqrw0SATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8TuAqCBCQBgAQrKosBEAEaeIEFCgEA_AQA8gEPA_oE_wEAA__4-P7-APIB9wIHAf8A9Q3__gYAAAAHCAX9AgAAAPv9_gf-_gAAEwP7BgQAAAAJAvgA_QAAAAn6AwP_AQAA-Ar-_AMAAAAX-v4MAAAAAP4NBQkBAAAACgT3BAAAAADy6wMBAAAAACAALcUk3zs4E0AJSE5QAipzEAAaYFMXAAoiDhjv-R7J8vXp7fULDhTe5gEAE_AA3fggESj3450T-v8nEg8EvQAAACH0-hIYAPZZLdz8AuYmDBLl1AUSfwQABRXVGeHm7B0ZKtgs6UUcHgDx9fUMH-EBVvtDEyAALdSmRDs4E0AJSG9QAiqvBhAMGqAGAABQQQAAAEAAABDBAAAwwgAApEIAAGxCAABMQgAAAMIAAADBAADYwQAAQEEAAFTCAABQwgAACMIAAL5CAAAcwgAAqEEAADDBAABgwQAAhMIAAEDAAADYwQAAPMIAAIJCAACgQQAAiMEAAJLCAAB0wgAAoEAAACBBAAAEQgAAeEIAAFjCAAA4wgAAEMEAAIBBAADQQQAA_kIAAEjCAAAYQgAATMIAACxCAAB8QgAA2EEAAFxCAAAgwgAAfMIAANhBAACIQQAAAMAAAJTCAAAQQgAAkEEAALDBAADIQQAAAMEAAO7CAACYwQAAoMEAAFBCAAAQwQAAqMEAAFDBAACWwgAAkEEAAGjCAAAAQQAAIMIAAKDBAABQQQAAVEIAACRCAADIwQAA8EEAABTCAAC0wgAAIMEAAODAAADAQQAAMEEAAMjBAAAcQgAAIMEAABBCAABkwgAAQMAAADhCAAC8QgAAOEIAALDBAABEQgAAUEIAAPjBAAC0wgAA6MEAAEDBAACQwQAAgMEAADBCAAAswgAA-MEAACDBAADYQgAA8MEAABzCAACAwAAAAAAAAIA_AACYwQAAmEEAAKBAAAAQwgAAoEAAAFDBAACYQQAAEMEAACBBAACawgAAYEEAAEDAAADgwAAAiMEAABTCAABAwgAAbEIAAEBBAACAwAAAYEEAAMDAAACAwQAA8MEAALhBAACowQAAQEAAAEzCAADAQQAAFEIAAEDBAAA4wgAAusIAALDBAADQQQAATEIAAMDAAACYQQAAqEEAAIrCAADQQQAAlEIAAKBAAACUwgAAYEEAAFBBAABAwAAAUEEAANBBAACgwAAA-MEAAJTCAAAAAAAAAEAAACBBAAAIwgAAgMEAADBBAADAwAAApkIAAPhBAABwQQAAMEEAAKDAAABwQQAABMIAAJBBAAAAwAAAKMIAAEDBAAC4wQAAgEIAALBBAADYwQAAJMIAAMhBAABgQgAAtkIAAMDBAACwwQAAMEEAAIBAAADgQAAACMIAAHTCAAAEQgAAIMEAAGDBAAA0QgAATMIAAAAAAABgwQAA-MEgADgTQAlIdVABKo8CEAAagAIAAHA9AADIPQAATD4AAHQ-AADgvAAAED0AABA9AAADvwAABL4AAGw-AABUPgAAML0AACw-AADYPQAA-L0AAIi9AACAOwAAED0AAEw-AAC2PgAAfz8AAIo-AABAPAAARD4AAKi9AADePgAAqL0AAIC7AACgvAAADD4AAOA8AAAQvQAAHL4AAGw-AADgPAAAML0AAII-AAB0vgAAzr4AADy-AABAPAAABD4AAFw-AAAEPgAAgDsAAAE_AACYPQAAQLwAAEA8AACmvgAARD4AAFQ-AAB8PgAApj4AANi9AACAOwAAGz8AAOA8AACYPQAAwj4AAEw-AAAMvgAAQDwAAIK-IAA4E0AJSHxQASqPAhABGoACAAAsvgAADL4AAJq-AAAtvwAAoLwAAHA9AADYvQAADD4AAIK-AAAMPgAAQDwAAPi9AABsvgAAur4AABy-AABQPQAAfD4AACE_AACgPAAAZD4AACy-AACGPgAAEL0AAEA8AABcvgAAdD4AAFC9AACYvQAAZD4AAOC8AAA0PgAAiD0AAMi9AABQvQAAEL0AAHA9AACOPgAAfD4AAJq-AAAcvgAAJD4AAJg9AAAMvgAAgLsAAKi9AACuPgAAf78AACy-AAC4vQAAcD0AAHQ-AAB8vgAApj4AAKA8AAAkPgAAUL0AAJg9AADIPQAAyL0AAHC9AAAQvQAAED0AAFS-AABAPCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=BuhNS7z49Jk","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["9902700851768513774"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"9516403221719409155":{"videoId":"9516403221719409155","docid":"34-4-11-ZD72D433FD0293E0B","description":"A video abstract for the PLDI’15 conference talk on Herbie, a tool to automatically improve the accuracy of floating-point expressions.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2463741/69ace89335ff0f3f581c003a73dc9ac8/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/Bl_9TAAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"5","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DqnkElmpTtBw","linkTemplate":"/video/preview/9516403221719409155?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Herbie PLDI’15 Video Abstract","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=qnkElmpTtBw\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzk1MTY0MDMyMjE3MTk0MDkxNTVaEzk1MTY0MDMyMjE3MTk0MDkxNTVqhhcSATAYACJDGjAACiloaHBuZ3l2d3d1enB3endoaFVDeklmNUR3ZVpMVlMzb2tpb1d2V2VkURICABEqD8IPDxoPPxM5ggQkAYAEKyqLARABGniB8_8DC_0DAPv8_w8BCPsC_gYFAAn9_gD1APX0AwL_AOsDBgAC_wAAAvT79P8AAADuAP_7-wEAABcKAgwEAAAAA_77DwAAAAAGAwT6_wEAAAEG__cCAAAACQoNCQAAAADyCPcJAQAAAPoBBQAAAAAAAOv29wEAAAAgAC1Csds7OBNACUhOUAIqhAIQABrwAXUECAG4-Q797-r6AA3y7gCBFfD_LRDRANwgHf_L7uUA5wb1APsJKAH5GRMAyAMTAOreBP9A7fwAKvEA_x3zBgD59RUAUwMfAgMOKQLuDA7_FxMH_xEHJAAA9QsA9Qn0AhMAEP_e6NYB3_bcAAz-MwESDQUCH_EAAdkgBf_I_BMBKBvtAPX_6f4Gz_cA-Sv6ABD_7wcKIgb6CgjyBfwADgYY7g71G-j1-RQGAwMFEwn-G_j0_BT3_gTiB-r_9ysTAtH2Efju7AsJAhrn-P_k7wcH9fz_8_oE9QD9ABAa9PT2BQYT-9__-ATNMQsD-wP8DCAALVH0NTs4E0AJSGFQAirPBxAAGsAHBKoHvykInryYq3o87tKhvAeoGj0gES485sSiu04Tkbw5tK28isITPbRNWz22DhA8_Iy7vlpTD7zG6sW7_b10PpJUS70Dsew81tWDveqeC70WXY08RBhfvtRkZzulnT88dtpgO_bRKT1yKI28LfqkPXt8Zzy_oGA8c69dPPMsgj0lweW8tjPHPRAkH760sa-7Wt82PenbnbxTkco8ELEhPnxZpDwpzPu8ojDDvQJB5zv3EEO88ijAva-txDyFcxE79z8QPhegbbyfSfI7N_RAvbf7yzxvqy-9nPrAPBoAhbxDtmI8hUIkPjuHF716GrA8FsLqPQdPlz1eBq27l-QwvkRvLD3sgma8Puq_Pei0-Dx2Co-3q069vJEUrDxMcOY7R6h-vUw0SDx8ZZ48XEmhPNhr1Tzi8s48xDHBPDQO1T0qQG88OH2SPR-epTzvITy8zRVPvQJITT2mVuk88UibOtGuQjyJkjW8WeWdvQLBV72jhRc8I4m5vJGe4DtPEj87lpYRPqizCb3PZ4C8JsILPVEJ2Ty1a0I8yF2EPI2Ugj02yCS8ocaDPVyGybzH2yW8maiUvMfzWT23jjs7m9eyvexq8jzDMxm5pH29PXPJh70vyC87HUspPWayyTwsfQ28mG3nPOnnE7yeP9C7xJJ2O99vpD1cQMM6KcSrOyfrob1sBno7tGBYPc_56TzEL6s6fQ0cvXJZ-7wq-m26rG8wPuSezr3Zxyu4VmGovV9wF73joK25KOB_OjR2gz1_46W6gc4kvKrNAzszpIo6qvBKu_R-7TuZZKK6C4nJuxW1Cj33Tcw5wdIQvP2TLjy9q4s5fb48vbMB_Tw_jEm59NIePSA197wAwl444WsfPL4n4DyFwCG6TBjNOljdsLv-F9W4cOldvRfkfLsnRQ62UhefPFL2wT2Xju24QgbRu7ZQzbyLRSa5SKcOPVYYMb00ehS3V9IFvdZMCD1_QYw38p0TPXuvkLx1KCg4WQ2DPfENxTzdu-84TJc0vHt_qLx4PkO4jsCZvRPu1byJnFa2nA5Jvcj1Cr2Aq_G3nsfyPAZuWD1slHa4yXl6veKBFjxZzWU4AQcjvR-ua71WvnK27BiyPHn8KLymXey3LHqvO7WSjL1w8V84BOn9PFmUKL2_vGO4YGcUPX_NBbyZDyC4OJyOvY-jvTqH0fu34kYjvNyElrx3Q8C3VmaFPVtsyTxkaIC4VRimPW0LxT2Dx-c4p4xkvUFECj14FOS46YtzPM4DFLwoMiK32OBzvcz8dL3MFo24IAA4E0AJSG1QASpzEAAaYAMLAAvuOQgTHjjtA_zmKP0G9vkH8iYAAuUAHhXj8Bjax84Z9f8b8wAGvQAAAPsG8izeAPdV7dwb4voX8u3YAD0Cf_UUJLjjCfTjvO4J5Qf1HQ8pJgDH79YXGuG6JgDr6iAALVsITTs4E0AJSG9QAiqvBhAMGqAGAACQQQAA6MEAAEBBAADAQAAA4MEAAFRCAACQQQAAwEAAABTCAADAQQAAAEAAAOBBAACwQQAACEIAACxCAAC4wQAAFEIAALjBAADAwQAAmsIAAJ7CAABgwgAAQMEAAEhCAACoQQAA-EEAAETCAADgwAAAoEIAAERCAAAMwgAAQMAAACTCAABwwQAAZMIAAADCAAAQQQAAyEEAAJBBAAAAAAAAwMAAACRCAABQwQAAJEIAAMBBAABAQAAA4MEAABzCAAC4QQAAKMIAAFDBAADYwQAA4MAAADBBAADgQAAALEIAADzCAACAQAAA8EEAAMBBAADIQQAAQEAAADjCAAAYwgAAYMIAAIBBAACAwAAALMIAAEDBAACgQQAAAEIAAFDBAAAAQgAAqEEAAGhCAACgwgAAbMIAALBBAACowQAAVMIAALbCAABAwAAAgMAAAL7CAABgwQAAWEIAABzCAADgwAAAgEIAAEjCAAC4QQAAcMEAAExCAABAwQAAwEEAAJzCAADwQQAAiEIAAJDBAAAEQgAAgL8AADDBAABoQgAAiMIAAJLCAADYQQAArsIAAGBCAABwwgAAqkIAAAhCAABwwQAA4EAAAKBBAAA8QgAAqEEAAMBAAAAwwgAASEIAAHTCAAAAAAAA4MEAAMDAAABswgAAMEIAACDBAABgwQAACMIAAAAAAACWwgAAEEIAAAzCAADwQQAAYEEAALBBAAAoQgAAgkIAAJDBAAD4wQAAHMIAAPBBAACAwQAAEEEAAMBBAABUQgAAoEAAABRCAADgQAAAMEEAALDBAADgwQAASMIAAPhBAABAwgAAQMEAAHzCAAB0wgAAAEIAAKBAAAAEQgAA2MEAAMpCAADAwQAABMIAAKBAAACgwQAAmEEAAIDAAACKQgAAfMIAAJzCAABgQQAADEIAAABBAAAIQgAAmEIAAChCAACgwQAA4MAAAExCAACgwAAAqMIAALhBAABMwgAADEIAANDBAABUwgAA5kIAAOBBAAAYQgAAQMAAAOBBAADQwQAABEIAAGDBAADIwQAAsMEAAFDBAACWwgAAAMAgADgTQAlIdVABKo8CEAAagAIAAEC8AAD4PQAAED0AAII-AACoPQAAcD0AADA9AACqvgAAJL4AAEw-AAAUPgAAQLwAAFw-AADgvAAADD4AADy-AADYvQAARD4AANg9AAC2PgAAfz8AAKI-AAB8vgAAuD0AAKi9AADYvQAAmL0AADC9AAAMvgAATD4AAHA9AAC4PQAAEL0AAPg9AAAEPgAAMD0AABw-AAD4vQAAjr4AAKA8AABQPQAAuL0AANi9AADgPAAAyD0AADw-AAAsvgAAcD0AAIA7AAAcvgAAjj4AAAQ-AACyPgAAUD0AAPi9AABQPQAAFz8AACy-AAA0PgAAXD4AADA9AABwvQAAQLwAAKi9IAA4E0AJSHxQASqPAhABGoACAACgPAAAFL4AAAy-AAA3vwAAqL0AAKC8AABwvQAAqD0AAGS-AAAkPgAAUL0AAPi9AADIvQAAFL4AACy-AAAwvQAAQLwAAEU_AAAwvQAAhj4AAIi9AABEvgAAqD0AAAS-AADYvQAAiD0AANi9AAAQvQAAmj4AAEQ-AABQPQAAUD0AAHC9AADIvQAAoLwAAEA8AADYPQAA4DwAAFC9AACAOwAAwj4AAAS-AAAMvgAAQLwAAIK-AACKPgAAf78AAGy-AAAEvgAA-D0AAAQ-AABQvQAAXD4AAFA9AADgvAAAEL0AAKC8AAAkPgAAcL0AABC9AADoPQAAiD0AAGS-AAAcviAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=qnkElmpTtBw","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["9516403221719409155"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2894966673"},"13327471745403852310":{"videoId":"13327471745403852310","docid":"34-3-16-Z0A9151D4D534225C","description":"Full program: https://pldi25.sigplan.org/program/pr...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4310179/fa16acb7641d3b81cbb6cbb5303d1a7e/564x318_1"},"target":"_self","position":"6","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DYhXlZp45HLs","linkTemplate":"/video/preview/13327471745403852310?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 19th)","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=YhXlZp45HLs\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwWhQxMzMyNzQ3MTc0NTQwMzg1MjMxMGqtDRIBMBgAIkMaMQAKKmhoZHdxd3JvcWNjbHpoeWJoaFVDd0c5NTEyV203alNTNklxc2h6NERwZxICABIqDsAPDxoPPxOCBCQBgAQrKosBEAEaeIEFABQGB_gA8u37CgAF_gEHERL89gD_AOLv9P_7_AIACxD79wgBAAD4BQX2CAAAAPsDBAX0_gEAHQbu_gQAAAATAPD1_AAAAAIX8_f-AQAABBb59AEAAAAMCwT6_wAAAPX78BD_AAAAAvL0DwAAAAD68fr4AAAAACAALT3-vzs4E0AJSE5QAipzEAAaYAYeAA8RGw3e-Bfs__gCAvEF_Or79AYAGfYA_QL29RMQ29wD8wAZ8wkH2gAAAAISCgwEAOYoDPjz7_8TF_L8EQkTf_QF6AQRB_MO7PriAgsB_xAeGAD3Dij5DfXuFg4AFCAALcWNnjs4E0AJSG9QAiqvBhAMGqAGAAA4wgAAOMIAAOhBAACKwgAAAEAAADBCAAC4QQAAIMEAACTCAAC4wQAAAEEAAJDBAABUwgAAUMIAAAAAAADIQQAAAEAAAFjCAACOwgAAsMEAAEBBAADIQQAAwEAAAJpCAACgwQAAgL8AADzCAADAwAAAiEEAAIBBAADIQQAAqkIAAFBBAABAwQAAIMIAACBBAACAQQAAgEIAAADAAACAvwAA2MEAALjBAAAEQgAAoEAAAFhCAABAQQAACEIAAHxCAAA0QgAA4MAAAEDAAADgwAAAPMIAAIDBAACAwQAAwMEAAIA_AABgQQAA-EEAAJhBAAAgQgAAwEEAABjCAAC4wQAAQMEAAPjBAAAAQgAAgL8AAITCAADAQAAAAMAAAJxCAADAwQAA6kIAAKBBAADKwgAA4EAAAIBAAADoQQAAwEAAAOBBAABEQgAAsEEAAFTCAADgwAAAAAAAAIRCAADAQAAAEEEAAKbCAABwwgAACEIAAARCAAAowgAAuMEAAKBBAACYwgAA5EIAAFhCAADgQAAAIEIAAPBBAACgQQAAMMEAAHzCAADgwQAA-MEAAJxCAADYQQAA8EEAADhCAADgQAAAKMIAADBBAACwQQAAMEEAAABAAADQwQAAUEIAAIC_AAC4wQAAUMIAAFzCAACAwgAAYEEAACDCAABUwgAALEIAALhBAAAMwgAAqMEAAABCAACowQAA-EEAAIDBAADYQQAAUEEAALDBAAAsQgAAksIAAETCAABAQQAA4EEAAKBBAAAAAAAAmEEAAKBBAABUQgAAAEAAALhBAAAUwgAAUMEAAIDBAAAYwgAASEIAAEBAAAAgQQAAAEEAAADBAABAQAAAgEEAAABAAAAkwgAAjMIAAHDCAABIQgAA9EIAAKBBAADIQQAAcEEAANhBAAAAQAAAEEEAAPDBAACIQQAAqEEAAOBBAADOwgAAAMAAAOZCAABkwgAAQMEAAKjBAADgQAAAnkIAAHTCAAAIwgAAkEIAABBBAAA0wgAAgsIAABTCAADgQAAAMMEAAJjCAACWQgAAgD8AAKBAAADgQAAAUMIgADgTQAlIdVABKo8CEAAagAIAAK4-AAAQPQAAVD4AAEQ-AADIvQAAHL4AAOi9AAAVvwAAuL0AAAw-AACKPgAAoj4AACQ-AAC2PgAAiL0AAJ6-AABwPQAAqD0AAMg9AAD-PgAAfz8AAJo-AAAkPgAAnj4AAHA9AACoPQAADD4AALi9AAAUPgAA1j4AAOA8AACoPQAA4DwAANo-AACYvQAAnj4AAFA9AACKvgAArr4AADy-AADovQAAkj4AANg9AAD4vQAAFL4AAHA9AAAEPgAAVL4AABS-AAAHvwAAvj4AAK4-AADGPgAAgDsAAIC7AAAMvgAAPz8AAHC9AABQvQAAoDwAAAw-AAD4vQAAFD4AAAy-IAA4E0AJSHxQASqPAhABGoACAAAQvQAAgLsAAHC9AABdvwAARL4AABQ-AADoPQAAmD0AAFy-AACWPgAAUD0AAFS-AABEvgAARL4AAIC7AABAvAAAmD0AAEE_AACgPAAAnj4AAOi9AAAkvgAAoDwAAKi9AAC4vQAATD4AABS-AABwvQAAVD4AANg9AAAQvQAAUL0AAKA8AADuvgAAgLsAAPg9AACgvAAAoDwAAKi9AACAuwAAUD0AABA9AACAOwAA4LwAABS-AABkPgAAf78AAGy-AAC4vQAAHD4AAPg9AADYvQAAjj4AAEC8AAAQPQAAiL0AAEC8AACoPQAAUL0AANi9AACSPgAAJD4AAKg9AACAOyAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=YhXlZp45HLs","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":480,"cheight":360,"cratio":1.33333,"dups":["13327471745403852310"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"10554558005538708391":{"videoId":"10554558005538708391","docid":"34-11-1-Z0006191F7513EAAD","description":"Full program: https://pldi25.sigplan.org/program/pr...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4310179/fa16acb7641d3b81cbb6cbb5303d1a7e/564x318_1"},"target":"_self","position":"7","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DFLj1iu9qjfc","linkTemplate":"/video/preview/10554558005538708391?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 18th)","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=FLj1iu9qjfc\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhYKFDEwNTU0NTU4MDA1NTM4NzA4MzkxWhQxMDU1NDU1ODAwNTUzODcwODM5MWqwDRIBMBgAIkYaMQAKKmhoZHdxd3JvcWNjbHpoeWJoaFVDd0c5NTEyV203alNTNklxc2h6NERwZxICABIqEcIPDxoPPxOGjwKCBCQBgAQrKosBEAEaeIEFABQGB_gA8u37CgAF_gEHERL89gD_AOLv9P_7_AIACxD79wgBAADzAwfv_gAAAP4D_xL2_QEAKvz1_QEAAAATAPD1_AAAAO4W9_b_AQAABBb59AEAAAAMCwT6_wAAAPX78BD_AAAAAvL0DwAAAAD68fr4AAAAACAALT3-vzs4E0AJSE5QAipzEAAaYA0aABIPHg7Y9CDpAff_--oBAOL59A8AIPQABvr29Q8X1dP--wAV8w0F1QAAAAIWCBT-ANsxB_Xy6QAXGu0GFA0ef-0E6gUSBvgM7PndAgQO-hoXIADoEy_3C_T0FQz8HyAALT-Kjjs4E0AJSG9QAiqvBhAMGqAGAAA4wgAAOMIAAOhBAACKwgAAAEAAADBCAAC4QQAAIMEAACTCAAC4wQAAAEEAAJDBAABUwgAAUMIAAAAAAADIQQAAAEAAAFjCAACOwgAAsMEAAEBBAADIQQAAwEAAAJpCAACgwQAAgL8AADzCAADAwAAAiEEAAIBBAADIQQAAqkIAAFBBAABAwQAAIMIAACBBAACAQQAAgEIAAADAAACAvwAA2MEAALjBAAAEQgAAoEAAAFhCAABAQQAACEIAAHxCAAA0QgAA4MAAAEDAAADgwAAAPMIAAIDBAACAwQAAwMEAAIA_AABgQQAA-EEAAJhBAAAgQgAAwEEAABjCAAC4wQAAQMEAAPjBAAAAQgAAgL8AAITCAADAQAAAAMAAAJxCAADAwQAA6kIAAKBBAADKwgAA4EAAAIBAAADoQQAAwEAAAOBBAABEQgAAsEEAAFTCAADgwAAAAAAAAIRCAADAQAAAEEEAAKbCAABwwgAACEIAAARCAAAowgAAuMEAAKBBAACYwgAA5EIAAFhCAADgQAAAIEIAAPBBAACgQQAAMMEAAHzCAADgwQAA-MEAAJxCAADYQQAA8EEAADhCAADgQAAAKMIAADBBAACwQQAAMEEAAABAAADQwQAAUEIAAIC_AAC4wQAAUMIAAFzCAACAwgAAYEEAACDCAABUwgAALEIAALhBAAAMwgAAqMEAAABCAACowQAA-EEAAIDBAADYQQAAUEEAALDBAAAsQgAAksIAAETCAABAQQAA4EEAAKBBAAAAAAAAmEEAAKBBAABUQgAAAEAAALhBAAAUwgAAUMEAAIDBAAAYwgAASEIAAEBAAAAgQQAAAEEAAADBAABAQAAAgEEAAABAAAAkwgAAjMIAAHDCAABIQgAA9EIAAKBBAADIQQAAcEEAANhBAAAAQAAAEEEAAPDBAACIQQAAqEEAAOBBAADOwgAAAMAAAOZCAABkwgAAQMEAAKjBAADgQAAAnkIAAHTCAAAIwgAAkEIAABBBAAA0wgAAgsIAABTCAADgQAAAMMEAAJjCAACWQgAAgD8AAKBAAADgQAAAUMIgADgTQAlIdVABKo8CEAAagAIAAIY-AAAwPQAAVD4AAGQ-AABwvQAA2L0AANi9AAAbvwAAQLwAAJg9AACKPgAAfD4AAEw-AACaPgAAML0AAKK-AAAQPQAA6D0AABQ-AADqPgAAfz8AAJY-AADYPQAAij4AACQ-AACoPQAADD4AAPi9AAAkPgAA6j4AABA9AADYPQAAqL0AALI-AACYvQAAjj4AAEA8AACGvgAAsr4AAES-AAAEvgAAbD4AAHA9AABwvQAA6L0AADA9AAD4PQAAJL4AAFy-AADavgAAtj4AALY-AACePgAA4LwAAOg9AADYvQAALz8AAIC7AADgvAAABD4AAJ4-AAAsvgAAyD0AABy-IAA4E0AJSHxQASqPAhABGoACAACgPAAAqD0AAIA7AABTvwAAbL4AACw-AADYPQAAPD4AAEy-AACaPgAAmD0AAHy-AAAMvgAARL4AADC9AACAOwAAcD0AAFE_AACAOwAAZD4AAIi9AAB0vgAAiD0AAOi9AACYvQAAdD4AAEy-AACAuwAAJD4AAOg9AABwvQAAmL0AAOC8AADKvgAAQLwAAHA9AACgvAAAcL0AAKi9AABQvQAAuD0AAEC8AABAPAAAEL0AAAy-AABkPgAAf78AADS-AADYvQAAFD4AAOg9AACAuwAATD4AAEA8AABwPQAAcL0AABC9AADYPQAAQLwAAJi9AACePgAAqD0AAFA9AAAwvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=FLj1iu9qjfc","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["10554558005538708391"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":false,"contentTypeId":null,"censored":false},"6855296219813780934":{"videoId":"6855296219813780934","docid":"34-8-6-Z4CD23DA04120D921","description":"Nouvelle vidéo avec le nouveau jouet qui vous attend ! Qu'est-ce qu'il a dans cette grande boîte ? Il y a un labyrinthe en jouet avec des perles : les perles glissent le long des filaments de...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3767134/b1f4f9ae181fd09cdd4e7b3d203c086e/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/z9UuUAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"8","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","isAdultDoc":false,"relatedParams":{"text":"Vidéo en français pour enfants. Boîte à jouets : labyrinthe avec des perles","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/ok.ru\\/video\\/1897769275651\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzY4NTUyOTYyMTk4MTM3ODA5MzRaEzY4NTUyOTYyMTk4MTM3ODA5MzRqog8SATAYACIxGhcAChFoaGxub3JhY2xpZ3Jnc3JoaBIBACoWwg8PGg8_E6kCggQkAZAEK9qg4pu_ECqLARABGniB-_YO_v8BAPUE9w4GBvwB6AX-A_v__wDn8w_5A_4BAAf7CAH7AQAA8wYKCgEAAAAC_v328_0BAB4LAP3yAAAAAgAD_gIAAAD_CPH9_wEAAOoBAQD2AgABGPsD9P8AAADp-fkIAQEAAP0NAPkAAAAABvUA9QAAAAAgAC0q59Q7OBNACUhOUAIqhAIQABrwAVYFCPgk5QQFngvp_7IJEAEcASH_TCXaAAAo-wFa4R0AzSMHAP6o-gJeKgQC_dcd_1HlJf1x6lEDCQcCACoowwD87_UAINjVAOH2_AF_2fwBtxIOAZUb5P4EAg8DEB7v_UD02wDk3PX8_wjZBMYOBAU3zv8DLuoBAdsWCQIEsAH_NvkF-hDQ6gmYEvL-5uweBfwS3AbgLvP3zRfw_Nv_Ff3jBOQEG_jq-ij86fjO8On2DjUHBxoSDAUZE_b6Auny-i7n5gPkCOoIIfnnBwsi-Qk4OgQENtAe8A_V9wcaPv0FDfjuBPQ8HQAMzOwRGxcA_yAALR-_9jo4E0AJSGFQAipzEAAaYErxABEjHNgGE-7qsgUv9-zWCZEdsf7_GtX_6-LK6lYX1Pb_MwAJ70IenAAAAOfwIfAZAPZ3VgqtugkI_heuDA_ufwEjHw4vIn_g0s6qQ1Hi3yIEQQD1GukAycIUJODxGiAALSh1EDs4E0AJSG9QAiqvBhAMGqAGAAAwwQAAwEEAAJDBAAAAQgAAoMAAANDBAABgwgAAcEEAADxCAAC6wgAAJMIAAChCAACUQgAAoEEAAODBAAC-QgAAFEIAACBBAADwQQAAsMEAAGxCAACgQAAAHEIAAADAAACYwQAAAMIAAKDAAAAgQgAAQEIAAKDAAACQQQAAwEEAAILCAAAowgAASMIAAFDCAADoQQAAaEIAACzCAAAQQgAA6EEAALDBAAAYQgAARMIAAPhBAADIwQAAZEIAAIjBAAAQQQAAYMEAACDCAAAwwgAAEMIAAAxCAAAcwgAAMEEAAEDBAABwQQAAoMEAAIA_AABMQgAAvsIAAJBBAABwQQAAgEEAAERCAACgQAAAYEEAAJDBAAAwwgAAgL8AAMjBAABwQQAA8EEAAKDBAADWwgAApMIAAIBBAAAAQQAAAEIAAIBAAADYwQAAEMEAACBBAADgQQAAsMEAAEDBAADYQQAA8EEAAMZCAAC0wgAADMIAADxCAABAQQAAsEEAAEBBAAAEwgAAmEIAAEDAAADQQQAAbMIAADBBAADgwAAAXEIAAPjBAABEQgAAGMIAAPjBAAB0wgAA4EEAABBBAAAowgAAiMEAADDBAAAoQgAAaMIAADBBAAAkQgAAQMIAAGzCAACYQgAA6EEAALhBAACIwQAAuEEAAIhBAACSwgAAsMEAABBBAABgQQAAqkIAAJDBAAB0wgAAikIAAFRCAAAIQgAAQEAAACRCAABwwQAAyMIAAFBBAAAAwgAAmMIAAGDBAAAwQQAAiEIAAKjBAABQwQAAIEIAAGDBAACoQgAA0MEAAGBCAADAwAAAsEEAAABBAAAgwQAAoMEAAATCAACYQQAAsEEAAPhBAADYwQAAwMEAANjBAADAQAAAhkIAAPDBAACcQgAAAEIAAMBAAACYQQAA6EEAAFBCAACwQQAAIEIAAEBBAABowgAAgL8AAARCAAAAwgAAAEEAAFDBAABAwQAAgMEAAFhCAACAwQAASEIAADzCAABAQQAAUMEAAMLCAABEQgAAaMIAAIDCAABwQQAAnsIAAEDAAAAAwAAAiEEgADgTQAlIdVABKo8CEAAagAIAAFC9AADIvQAAij4AAOC8AAAwPQAAyD0AAES-AADqvgAAQDwAAFA9AAA8PgAAiD0AAKg9AAC4PQAAqL0AAKg9AADYPQAAUD0AADA9AABUPgAAfz8AAOg9AAA0vgAAFD4AAKC8AAAsvgAAiL0AAAy-AAD4PQAAZD4AAIA7AACgPAAAcL0AAFC9AAAEPgAAoDwAABA9AABwvQAADL4AAJq-AACAOwAAqL0AAAy-AADIvQAA-L0AAEy-AABMPgAAoDwAACy-AACSvgAADD4AAIg9AAAkPgAAUL0AAM6-AABAPAAAAT8AABA9AAAsPgAAUD0AALi9AADIPQAAED0AACy-IAA4E0AJSHxQASqPAhABGoACAADYvQAA6D0AAEC8AAA1vwAAgLsAABw-AAC4PQAAyL0AAFy-AAAFPwAATD4AADC9AAAUvgAAoDwAAFC9AADgPAAAFD4AAEk_AABwvQAAfD4AABS-AAAMvgAAmD0AAMi9AAAMPgAAPD4AAJi9AADgPAAAyL0AAEQ-AAC4PQAAqL0AAIA7AADgPAAA2D0AAIC7AABEvgAAHD4AABC9AABkvgAA3j4AAJg9AAAEvgAAcL0AABS-AABcvgAAf78AALg9AABUPgAAJD4AAMY-AABAPAAAmD0AAOA8AACovQAAQDwAADC9AABMPgAAyL0AADS-AAD4PQAAuD0AAOC8AAAQvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://ok.ru/video/1897769275651","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["6855296219813780934"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"ОК","hasTranslation":false,"contentTypeId":null,"censored":false,"videoContentId":"428656908"},"9167721179756441707":{"videoId":"9167721179756441707","docid":"34-5-1-ZC7D87F433E8433B1","description":"Modular Hardware Design with Timeline Types (Video, PLDI 2023) Rachit Nigam, Pedro Henrique Azevedo de Amorim, and Adrian Sampson (Cornell University, USA; Cornell University, USA; Cornell...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1030700/63182ab044ef11245e2c50a074bdf34d/564x318_1"},"target":"_self","position":"9","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DSlvHMsdooAg","linkTemplate":"/video/preview/9167721179756441707?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'23] Modular Hardware Design with Timeline Types","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=SlvHMsdooAg\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzkxNjc3MjExNzk3NTY0NDE3MDdaEzkxNjc3MjExNzk3NTY0NDE3MDdqrw0SATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8TsAmCBCQBgAQrKosBEAEaeIEEC_MBAAAA-P79AfkE_wEP_QYC9wAAAN33Avz5-gMABPoP_gYBAADz-vYL_QAAAP4D_xD3_gEAFQT0APUAAAAN9ggC-wAAAPgLAQX-AQAA5wH9AAMAAAAH-wcM_wAAAPgJ_wj8AAAABAT8BwAAAAAD8AAFAAEAACAALXgc1Ts4E0AJSE5QAipzEAAaYAoNAB8MDfPIHALsAAD8D__jCt8I7OsA_eAA7wzwCQfrAr8JBf8q9_f3zAAAAAD7CCT_APZDDu75_foQAfbO9wwBfyYaCg4cHuPXBfziHAIF7TccSQDjAgUFHObqIhkO-CAALWT5djs4E0AJSG9QAiqvBhAMGqAGAADgwAAA0EEAAPBBAAD4wQAA0EEAADBBAAAYQgAAWMIAAFBBAABwQQAA4EEAAITCAAA0wgAAKMIAAJZCAAAowgAAwEAAAAzCAADgwAAADMIAABBBAACYwQAAQMAAAIpCAACYQQAAJMIAAJbCAACwwgAAmEEAAIJCAADAQQAAUEIAAADCAAAwwQAAQMIAAKDBAADAQQAAtEIAADjCAACYQgAA0MEAAIA_AACyQgAAAEEAAJZCAAA4wgAApsIAACxCAABIQgAA2EEAACjCAAAgQQAA-EEAAIC_AABMQgAAIEEAAOLCAAAAwAAAMMIAADBBAADIQQAAUMEAABDCAACWwgAAAEEAACjCAACYwQAA8MEAAODAAAAAQAAAYEIAADhCAABwwQAAUEEAAKDBAACewgAAwEAAAHDBAADgwAAA4MAAADjCAACQQQAA2MEAAJBCAACIwQAAwMAAABRCAABIQgAAIEIAAFzCAAAcQgAAIEIAAIBAAACowgAAsMEAADDCAACAQAAAgL8AADhCAABgwQAAwMEAALBBAAC2QgAAVMIAAOjBAADIwQAAQEAAAHBBAAAkwgAASEIAAMBBAACgQAAA8MEAAJjBAADIQQAAQMAAAKDBAABQwgAAwMEAAIDAAAAgQQAAAMIAAIjCAADQwQAANEIAADBCAAAAAAAAgL8AALjBAADAwQAAUMEAAMDAAAAkwgAAiEEAAFDCAACAQAAAoEAAAIC_AAB0wgAApMIAALDBAACwwQAACEIAAAAAAACgQQAAuMEAAIjCAADgQQAAZEIAAMjBAACawgAAfEIAACRCAAAAwAAAoMAAAEDBAADgwAAAhsIAAGzCAAAwQgAAKMIAAJBBAACowQAAYMIAALDBAABwQQAASEIAAJhCAADYQQAAEMEAAPjBAACQQgAAoMAAAIBAAAAIwgAAoMAAAJBBAAAAwgAAkEIAANhBAAAgQgAADMIAAOBBAAA0QgAAlEIAACTCAAAIwgAAYMEAAJjBAAAAwAAAmMEAAJDCAABwQgAAQMEAAPBBAADAQQAAaMIAANDBAADQwQAAwMEgADgTQAlIdVABKo8CEAAagAIAAIq-AADgPAAAND4AAPg9AABwPQAA6L0AALg9AAD6vgAAPL4AAAy-AAAQPQAAQLwAAKA8AACGPgAAVL4AAIi9AAAkPgAAQDwAAFw-AAA9PwAAfz8AABC9AADgvAAAmL0AAOg9AACGPgAAUD0AAHA9AABMPgAAbD4AANg9AAAQPQAAdL4AAIi9AAAkPgAATL4AAKg9AAAEvgAAVL4AACS-AABAvAAAFL4AAJY-AAAwvQAANL4AAHw-AACWPgAAXL4AABC9AAC4PQAAoDwAAJg9AAAMPgAAJD4AAFA9AAAQPQAAMT8AAES-AABkPgAAXD4AADA9AACoPQAAoLwAAAS-IAA4E0AJSHxQASqPAhABGoACAACWvgAAoDwAAFy-AABdvwAA4DwAABS-AABAPAAAVL4AAFy-AABkPgAAQLwAAPi9AABEvgAAZL4AAHA9AACIvQAAFL4AAAM_AACIPQAAbD4AAEC8AABUPgAAyL0AAIg9AACovQAAqL0AACy-AACAOwAAQLwAAHC9AACIPQAA6D0AAIg9AADYvQAAiL0AAES-AACqPgAAJD4AAI6-AADIvQAAUL0AAIg9AAB0vgAAUD0AAKg9AADgvAAAf78AAEA8AABEPgAAUD0AAFw-AACSvgAAJD4AAMg9AAC4vQAAmD0AAKA8AAAwPQAAiD0AADC9AACoPQAAJD4AAKi9AAAQvSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=SlvHMsdooAg","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["9167721179756441707"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"11748465298197046314":{"videoId":"11748465298197046314","docid":"34-9-0-Z13E5A1B1283F0B0F","description":"Research on Different Time Horizons (and an Example with Machine-Checked Proofs) (Video, PLMW @ PLDI) Adam Chlipala (Massachusetts Institute of Technology) Abstract: One of the fundamental aspects...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1020930/811333d4e2e2cb9560ca64aed1cab6bb/564x318_1"},"target":"_self","position":"10","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DrMIUZYbhgmo","linkTemplate":"/video/preview/11748465298197046314?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLMW @ PLDI'25] Research on Different Time Horizons (and an Example with Machine-Checked Proofs)","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=rMIUZYbhgmo\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhYKFDExNzQ4NDY1Mjk4MTk3MDQ2MzE0WhQxMTc0ODQ2NTI5ODE5NzA0NjMxNGqvDRIBMBgAIkUaMQAKKmhoZHdxd3JvcWNjbHpoeWJoaFVDd0c5NTEyV203alNTNklxc2h6NERwZxICABIqEMIPDxoPPxPXGoIEJAGABCsqiwEQARp4gfUBAv4F-gDvDhH7BwL_AQj_AO72__8A8fr8-wgB_wDpEPjzAP8AABf7DQAKAAAAAPvwDvj9AAALEv0NBAAAAAIFB_z2AAAAAgz2B_4BAAD58AD3AwAAAAPyAP__AAAAAQb8B_j-AAENAQf4AAAAABnz9QMBAAAAIAAtt8nCOzgTQAlITlACKnMQABpg_RkADx4Z4NkDIdTc8OoJ89QE5uvk_AAJ7wD9G9zSBQ7buAwT_zPYHvu4AAAAKd76DPwA0Von5dPyFQQF1vvdAQZ_5w_TCPdD1Mzg7PoW6O3y-EMuAOsAEicg68tU-CEAIAAtjBBDOzgTQAlIb1ACKq8GEAwaoAYAAAAAAAAAQAAAUMEAADDCAACgQgAAGEIAAERCAABEwgAAIEEAAHDBAABgQQAASMIAAFDCAAD4wQAAvkIAAEDCAACgQAAAiMEAAFDBAACOwgAAAMAAAHDBAAAswgAASEIAAIBBAAAQwgAAtMIAALbCAABwQQAAEEEAANhBAABcQgAAVMIAAMDBAAC4wQAAQEEAAKBBAADmQgAAJMIAAIhCAAAkwgAAIEIAAHRCAACIQQAAkEIAAKTCAACAwgAA2EEAAPBBAACAQAAAjsIAAMBBAADQQQAAoMEAABRCAAAAQQAAAMMAAMDAAADIwQAAREIAAMBAAACgwQAAQMEAAJ7CAACIQQAABMIAACDBAABIwgAAAMAAAIA_AABgQgAAJEIAAODBAACgQQAA6MEAALbCAAAQwQAAcMEAAIDAAACAPwAA8MEAAAxCAADAwQAAaEIAAAjCAABAQQAAGEIAAJ5CAABUQgAAoMEAAChCAABAQgAAYMEAAJzCAADowQAAyMEAAEDBAACgwQAAKEIAAKDBAAAEwgAA2EEAALBCAAAYwgAAOMIAAIDBAABAwAAAgEAAAIDBAAAwQgAAAEEAAFDBAAAQQQAA-MEAAGBBAACowQAAUMEAAIjCAAAAwQAAkEEAAAAAAADgwQAAVMIAADjCAAA8QgAA0EEAAFBBAABwQQAAEMEAAJDBAACgwQAAgEAAAKDBAACAQQAAgsIAAIhBAAAQQgAAUEEAAEjCAACkwgAAqMEAAEBBAAB8QgAAEMEAABBBAABAQQAAYMIAAEDAAACsQgAAQEAAAITCAAA4QgAAFEIAAJBBAABQQQAAQEEAACDBAAAswgAAjMIAAABAAAAAwQAAiEEAAKDBAADYwQAAIMEAAADBAACGQgAAQEIAAKhBAABAQQAAkMEAAKhBAAC4wQAA4EEAAADAAABcwgAAAEAAAIjBAABwQgAAUEEAAIBAAADYwQAAIEEAADBCAAC0QgAA6MEAAMjBAACAvwAAIEEAAAAAAADIwQAAfMIAADBCAABgwQAAsEEAABhCAAA0wgAAYMEAAMDBAAC4wSAAOBNACUh1UAEqjwIQABqAAgAAqL0AAFA9AADIPQAA7j4AAFy-AAAsPgAAij4AAAG_AAAMvgAAuD0AAKA8AABQvQAA-D0AAAs_AADIvQAAZL4AALg9AAAwPQAAZD4AADs_AAB_PwAAXD4AABC9AACAuwAA4LwAAEw-AACYvQAAgDsAAIC7AABEPgAAmD0AAFC9AABMvgAAgj4AAKi9AAAcvgAAmj4AACy-AAD-vgAAoLwAADS-AACaPgAA2D0AALi9AADgPAAAmD0AAFQ-AAAMvgAAgj4AANa-AAAkPgAA-D0AAIo-AACmPgAAZD4AAIA7AABxPwAA2L0AAEw-AADSPgAAJL4AABy-AAAwPQAA4LwgADgTQAlIfFABKo8CEAEagAIAAFy-AABAvAAAoDwAAEO_AABAvAAAoj4AAEw-AAAUPgAAor4AAHQ-AACgPAAAdL4AAIi9AACivgAA6L0AAFA9AAA8PgAARz8AAOg9AABcPgAAuL0AALg9AADoPQAAgDsAAKC8AAAQvQAAVL4AAKA8AABwvQAAJL4AAIg9AABwPQAAQLwAAES-AADoPQAAhr4AABQ-AAAwPQAAkr4AAEA8AACIPQAAEL0AAMi9AAAsvgAAMD0AAHA9AAB_vwAA4LwAAIg9AAAkPgAA8j4AAJi9AAAMPgAAmD0AANg9AAAQvQAAQLwAADw-AACAuwAAEL0AADQ-AAAwPQAAiL0AAEA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=rMIUZYbhgmo","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":null,"cheight":null,"cratio":null,"dups":["11748465298197046314"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"242678847144341331":{"videoId":"242678847144341331","docid":"34-5-9-ZA73795AA419DB63B","description":"ImageEye: Batch Image Processing using Program Synthesis (Video, PLDI 2023) Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, and Işıl Dillig (University of Texas at Austin, USA; University of Texas...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/877971/0a671a76667aaa61784e1a0a8b30a8f7/564x318_1"},"target":"_self","position":"12","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D0PJgcibndes","linkTemplate":"/video/preview/242678847144341331?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'23] ImageEye: Batch Image Processing using Program Synthesis","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=0PJgcibndes\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhQKEjI0MjY3ODg0NzE0NDM0MTMzMVoSMjQyNjc4ODQ3MTQ0MzQxMzMxaq8NEgEwGAAiRRoxAAoqaGhkd3F3cm9xY2Nsemh5YmhoVUN3Rzk1MTJXbTdqU1M2SXFzaHo0RHBnEgIAEioQwg8PGg8_E8wJggQkAYAEKyqLARABGniB_wkC9f4DAPAFDAUQA_0AIQIHAvQEBADpAfj7-f4BAATy_gIEAAAA8QYBAQkAAAD9BgH7-v4AAAz7BvwEAAAAHPwCAwIA_wD9EQEP_gEAAO0IAvoCAAAAHQII-_8AAAAIA_oHAAAAAP0R9fYBAAAADPUABQAAAAAgAC3ovdk7OBNACUhOUAIqcxAAGmAKDQAoBCbK5hk95BIA1RX3Awzq9ckH_xjlAOQjCJgDIdm2Chb_JSwM_KwAAAD-AL4aBQDhaOPx2v7tC-ytsds8C3_-Dv_z9h3j_QzQJj3VEA7_MDIA0P7-FyTOrz4BFx8gAC2NIyw7OBNACUhvUAIqrwYQDBqgBgAAEMEAAOBBAAAUQgAABMIAADBCAABgQQAA4EEAAKzCAAAQQQAA4EEAALBBAACKwgAAsMEAACTCAACAQgAAAMIAAHBBAAAIwgAAAEAAABjCAABQwQAAwMAAAOBAAACKQgAAIEEAABDCAABAwgAAtsIAAIC_AABQQgAAJEIAAKZCAACQwQAAMMIAALDBAAAAwQAAuEEAAMhCAAAgwgAApEIAAFTCAADAwQAAyEIAAABAAABkQgAA8MEAAL7CAABIQgAABEIAANBBAAA8wgAAgEEAABBBAACwwQAAcEEAAGBBAADKwgAAcMEAAADCAAAgQQAA0EEAAEBAAADgwQAAjMIAAMBAAACWwgAAQMEAABzCAABAwQAAoEAAAFBCAABAQgAAAEAAAIBAAADwwQAAksIAABDBAACgwAAAwMAAAHDBAAAowgAA6EEAAOjBAAAYQgAAIEEAAEDBAACwQQAAhkIAABxCAACQwQAAgEEAABxCAADYwQAAgMIAABTCAAAAwgAAqEEAAEDAAABoQgAA8MEAAIjBAACYwQAAwkIAAIjCAADAwQAAAEAAALBBAACAQQAADMIAAAxCAAAAQQAAoMAAAATCAABwwQAAoEEAABxCAAAQwQAAQMIAAEDBAAAwQQAAgD8AAEzCAABQwgAA8MEAAPhBAAAMQgAAwEAAAKDAAABAwAAA4MEAAATCAACAQQAAoMEAAEDAAABowgAAEEEAAEBAAACgwAAAeMIAAIrCAAAAQQAALMIAAKhBAACAPwAA-EEAAIjBAABwwgAAREIAAIJCAABwwQAAgsIAAIpCAAAEQgAAgL8AAIBBAAAwwQAAwMAAAFzCAAAwwgAA-EEAAMDAAAC4QQAA8MEAAGjCAADQwQAA6EEAAHhCAACgQgAADEIAALDBAAAAwAAAXEIAAEBBAACAvwAALMIAAEBAAABwQQAAhsIAAHxCAAAQQgAABEIAAHDBAADYQQAADEIAAKpCAAAUwgAAEMIAAADCAABAwAAAEEEAAODBAACYwgAAmEIAAHDBAADgQAAAAEEAAIbCAACgwAAAMEEAAHDBIAA4E0AJSHVQASqPAhAAGoACAACivgAAyL0AAAQ-AACoPQAAyL0AADQ-AACoPQAAJ78AALq-AACAOwAAHD4AAOC8AAD4PQAAdD4AAKi9AADgPAAAyj4AABA9AAAsPgAADz8AAH8_AABQPQAAUD0AANi9AAAMPgAAVD4AANi9AADovQAAFL4AABQ-AAAsPgAAjj4AAKC8AACGvgAAmD0AAJo-AABsPgAAyL0AACS-AABMvgAAgr4AAOA8AACGPgAALD4AAJi9AAB0PgAAiD0AADS-AAA0vgAA-L0AAPg9AAC4vQAAjj4AAEw-AACuvgAAED0AAEs_AAAwvQAAuj4AAKA8AABQvQAAoLwAAHA9AABAPCAAOBNACUh8UAEqjwIQARqAAgAAgr4AADC9AAAkvgAAJ78AAOC8AACAOwAA4LwAAHC9AADYvQAAJD4AABy-AAC4vQAAmL0AALi9AACIPQAAoLwAALg9AAAfPwAAoDwAAK4-AACYPQAA4DwAAMg9AAC4vQAAQDwAADQ-AADYvQAAQDwAABC9AAAkPgAAMD0AACQ-AACgvAAALL4AADA9AACAuwAARD4AAGQ-AAAEvgAAiL0AAI4-AACAOwAAUL0AAKA8AACYPQAAcL0AAH-_AAAEvgAAmL0AABw-AAB0PgAARL4AAEA8AAA8PgAA2D0AALg9AACAuwAAgLsAABy-AADgPAAALD4AALg9AACAuwAA2L0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=0PJgcibndes","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["242678847144341331"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"7763505178235516984":{"videoId":"7763505178235516984","docid":"34-3-2-Z2173B893B59C65E9","description":"Full program: https://pldi25.sigplan.org/program/program-PLDI-2025...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4310179/fa16acb7641d3b81cbb6cbb5303d1a7e/564x318_1"},"target":"_self","position":"13","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dfd59n74kOso","linkTemplate":"/video/preview/7763505178235516984?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'25] Orchid - PLDI Research Papers (Jun 18th)","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=fd59n74kOso\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzc3NjM1MDUxNzgyMzU1MTY5ODRaEzc3NjM1MDUxNzgyMzU1MTY5ODRqsA0SATAYACJGGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhHCDw8aDz8T240CggQkAYAEKyqLARABGniBAQwK9wP9APb0EAj6B_0CAg8G8_f__wD98fP4_gX-AAEM-gAGAQAAAQMH_P8AAAAPCPgG-gAAARP_7ggCAAAAIP3y-vwAAADvFfj2_wEAABQDCPEBAAAAAAn27f8AAAAF9foFAgAAAQL2ARMAAAAA8un3BgAAAAAgAC13-ck7OBNACUhOUAIqcxAAGmALHQAeFQ0T4fcR5fb3DgD1__LzAfH5ACDZAAcF8-oCCN3IJfsAHfgLFdIAAAATBv0IDADiMhzv9PX6GBL-CgkMEX_tCd8CAyf3Eurq1AgQ9v7_KCQA8BIhBgLr2BYG_AIgAC3eyok7OBNACUhvUAIqrwYQDBqgBgAAOMIAADjCAADoQQAAisIAAABAAAAwQgAAuEEAACDBAAAkwgAAuMEAAABBAACQwQAAVMIAAFDCAAAAAAAAyEEAAABAAABYwgAAjsIAALDBAABAQQAAyEEAAMBAAACaQgAAoMEAAIC_AAA8wgAAwMAAAIhBAACAQQAAyEEAAKpCAABQQQAAQMEAACDCAAAgQQAAgEEAAIBCAAAAwAAAgL8AANjBAAC4wQAABEIAAKBAAABYQgAAQEEAAAhCAAB8QgAANEIAAODAAABAwAAA4MAAADzCAACAwQAAgMEAAMDBAACAPwAAYEEAAPhBAACYQQAAIEIAAMBBAAAYwgAAuMEAAEDBAAD4wQAAAEIAAIC_AACEwgAAwEAAAADAAACcQgAAwMEAAOpCAACgQQAAysIAAOBAAACAQAAA6EEAAMBAAADgQQAAREIAALBBAABUwgAA4MAAAAAAAACEQgAAwEAAABBBAACmwgAAcMIAAAhCAAAEQgAAKMIAALjBAACgQQAAmMIAAORCAABYQgAA4EAAACBCAADwQQAAoEEAADDBAAB8wgAA4MEAAPjBAACcQgAA2EEAAPBBAAA4QgAA4EAAACjCAAAwQQAAsEEAADBBAAAAQAAA0MEAAFBCAACAvwAAuMEAAFDCAABcwgAAgMIAAGBBAAAgwgAAVMIAACxCAAC4QQAADMIAAKjBAAAAQgAAqMEAAPhBAACAwQAA2EEAAFBBAACwwQAALEIAAJLCAABEwgAAQEEAAOBBAACgQQAAAAAAAJhBAACgQQAAVEIAAABAAAC4QQAAFMIAAFDBAACAwQAAGMIAAEhCAABAQAAAIEEAAABBAAAAwQAAQEAAAIBBAAAAQAAAJMIAAIzCAABwwgAASEIAAPRCAACgQQAAyEEAAHBBAADYQQAAAEAAABBBAADwwQAAiEEAAKhBAADgQQAAzsIAAADAAADmQgAAZMIAAEDBAACowQAA4EAAAJ5CAAB0wgAACMIAAJBCAAAQQQAANMIAAILCAAAUwgAA4EAAADDBAACYwgAAlkIAAIA_AACgQAAA4EAAAFDCIAA4E0AJSHVQASqPAhAAGoACAADGPgAAND4AABw-AABcPgAAcL0AAFA9AAA0vgAAEb8AAEy-AABMPgAAFD4AABQ-AADIPQAAjj4AABC9AACOvgAAMD0AANg9AAD4PQAADz8AAH8_AADgPAAAML0AAJg9AACAuwAAmD0AAFC9AAAwvQAAiD0AAKY-AACgvAAABD4AACy-AADePgAAED0AAMg9AACgvAAAHL4AALa-AAAsvgAAoLwAAII-AABwPQAAoLwAAES-AACYPQAADL4AAOg9AADgvAAAbL4AAOg9AACOPgAApj4AAFw-AADYvQAAgDsAACU_AADIvQAAQDwAAJI-AAA0PgAA6L0AABw-AACIPSAAOBNACUh8UAEqjwIQARqAAgAAFL4AAKC8AAAwvQAAS78AADC9AACGPgAAFD4AAJg9AABkvgAAij4AAMg9AAAMvgAABL4AAHS-AACovQAAiD0AAHA9AABfPwAAiL0AAGw-AAAcvgAATL4AAJg9AABwvQAAyL0AAEw-AABsvgAA4LwAAKg9AADgvAAA4DwAABC9AABQPQAAjr4AABw-AACAOwAAiL0AAIC7AAD4vQAAEL0AADQ-AAC4vQAAgLsAADS-AABMvgAAHD4AAH-_AABsvgAAmL0AAEA8AACaPgAAqL0AAKY-AACgvAAAcD0AAJi9AADgvAAA2D0AAKC8AABwvQAATD4AAIC7AADYvQAAuD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=fd59n74kOso","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["7763505178235516984"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":false,"contentTypeId":null,"censored":false},"10419549089703432789":{"videoId":"10419549089703432789","docid":"34-1-3-ZFF0CDA742064479E","description":"PLDI - PLZ(Please) 3D Camera Use your smartphone to easily make any products(cherished goods), scene or places into 3D contents by Product360, Stopmotion, Panorama, Movie, StoryMix or VRStudio and...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/2431894/a2dd2cbab0a868efa5cee4a5f1701f83/564x318_1"},"target":"_self","position":"14","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DspQ2b1cjHNg","linkTemplate":"/video/preview/10419549089703432789?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"PLDI that can make high quality videos such as 3D and VR!","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=spQ2b1cjHNg\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhYKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5WhQxMDQxOTU0OTA4OTcwMzQzMjc4OWq1DxIBMBgAIkQaMQAKKmhoenhqcHZsbnh2emp1b2RoaFVDSzZzMDJVNmVWN3NkUlpPeFpfREIyQRICABIqD8IPDxoPPxMwggQkAYAEKyqLARABGniBAf36BQAAAAP1-wkHCfwCDAD7-vYAAADc9Pf2B_kDAAYABwcLAQAAAv0A-AIAAAD0A_77BAAAAAj89f34AAAADgH0D_0AAAAHAA72_wEAAPYEAvgCAAAADv7--P8AAADzBPcD-v__Afv57PsAAAAACPL5AgAAAAAgAC0sYNU7OBNACUhOUAIqhAIQABrwAWjjHwDIDfv_r_0AABEe0QKBAAL__g3kACAP-gHsEu0BuBQGATzo3v4j_xAA8QrhAPkPG_9iAQAACgvq_xLw_wD9D_wBGQICA_nT-QH_DQD-MyXu_-YD8v4TERoA--DT_voI9gEVL-kB0Ar2AQS67APvGg8DHwQNCBgWAgIDxAH_9B4EBQAb9P3x5_H7JdQKBAT__PsTEQj67hHg_fDrAP3sEu_3L84NBAjQFPfRB_AL6vLv9xbiFgLr4gcI6OgY_e0ABQczNvb4JSv3BQgMAwQH7vPzM_AWBhDu8wHn8vYE5_kBCAk3-_8F-hT95gz1ESAALb9PJDs4E0AJSGFQAipzEAAaYBkAAB3WBvP93iHqBxAEM-vq3Bze0gL_KdIA6wPn9Pzi3q7gQP8m-QAJswAAAPL-FSvXAORkCdwABtzw-K7c7AHkXQDswPn9EhfyCD7gBPm_A9oODwDU9O8M7P7sf94YCSAALVrJPjs4E0AJSG9QAiqvBhAMGqAGAAA0QgAAQEEAADRCAADowQAA4MAAAJBBAAAAwAAAlsIAAPjBAADgQAAAoMAAAOjBAACYwQAAgMIAADBBAACWwgAAAMEAAFDBAAAgwQAAAMIAADzCAAAcwgAAPMIAABRCAACoQQAAYEEAAGDCAADQQQAAIEIAAABCAAAAwQAAwEAAAIrCAACAvwAAGMIAAHBBAADYQQAA_kIAAGDCAAA0QgAAXEIAAMjBAABUQgAAUEEAAEDAAAAIQgAAgMEAAMBBAAA4QgAAuEEAAHBBAABAwQAAgMAAAOjBAAAAQAAA-EEAAMDCAADgQAAAsMEAAIhBAABkQgAAyMEAACBBAAAQwgAA4MAAAIDBAAAAQAAA0MEAAILCAACYwQAAKEIAANBBAAAkwgAAqEEAAMDBAABowgAA8MEAAGTCAABUQgAAgEEAAPjBAADoQQAALEIAAEBCAACIwQAAJEIAABBBAADYwQAAOEIAACRCAACwwQAAfEIAANjBAAC2wgAAYMIAAEzCAAAQwQAAeEIAAHRCAABAwAAAoMAAAJxCAAAAwAAA6MIAANjBAADowQAAwMEAAHxCAAAAwQAAgMEAAARCAABgQgAAQMEAAPDBAABUQgAAKEIAAFDBAACQwgAAIEEAAKTCAAAIwgAAYMIAAGDBAAD4wQAA8EEAAJJCAADowQAAXMIAAKDBAADAQQAAcEEAABzCAADAwQAAyEEAAOBAAABAQQAAoEEAAIDAAACowQAAMMIAAHBBAACgQgAAkMIAAIC_AACYQQAAIEIAAADAAADgQAAAUMEAAJBBAACoQQAAgD8AACxCAACgwAAAwMEAABBCAAC4wQAAvMIAAADCAABoQgAAgMEAAABBAACYwQAAIEIAANDBAAAsQgAA-EEAACBCAACEQgAAuEEAAJjCAACgQAAAnMIAAABBAABMwgAAuEEAAK7CAACSwgAABEIAAIRCAACAvwAAZMIAAOBBAADYwQAAYEIAAPDBAABQwgAAAEEAAGDBAADgwAAAuMEAAGTCAADAQQAAEMEAAFBBAACoQQAAHMIAAHDBAAAwwgAAGEIgADgTQAlIdVABKo8CEAAagAIAAIi9AAAUPgAAbD4AAHw-AADovQAAoLwAAJI-AAAFvwAAyL0AAEC8AABAvAAAcD0AANg9AABEPgAAXD4AABy-AAAwPQAADD4AAAw-AAAHPwAAfz8AADQ-AACgvAAADD4AAFA9AABEPgAAFL4AAHC9AABcPgAA6D0AAKi9AAAsPgAA-L0AAGw-AAAwPQAAqL0AACQ-AABUvgAAlr4AAFy-AAAwvQAAQLwAACS-AACgPAAAgj4AADS-AAD4vQAAgLsAADC9AAAEvgAAqj4AAFQ-AABMPgAAfD4AALi9AACoPQAAXz8AABC9AABEPgAAuD0AAHA9AAD4vQAA4DwAADy-IAA4E0AJSHxQASqPAhABGoACAABAPAAAiL0AALi9AAAHvwAAoj4AALg9AAAQPQAAmL0AAIq-AACiPgAAoLwAAEw-AAAQPQAAjr4AABA9AAAwvQAAyL0AADU_AACIPQAA1j4AAFC9AACYPQAALD4AAKC8AAC4vQAAPL4AABC9AACgPAAAmD0AAOA8AACYPQAAgLsAADC9AABwvQAAgDsAAFC9AABwvQAA6L0AADS-AABsPgAAqD0AAIC7AAD4vQAAgDsAAJi9AACYPQAAf78AADS-AAAsPgAAUD0AAMi9AABQvQAAoDwAAIg9AAD4PQAAcD0AADC9AACWvgAADL4AAHA9AABkvgAAXD4AAJg9AAA8viAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=spQ2b1cjHNg","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":720,"cheight":720,"cratio":1,"dups":["10419549089703432789"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2851439697"},"4441437380593694646":{"videoId":"4441437380593694646","docid":"34-11-0-Z1BBC211713470E6E","description":"Compilation of Modular and General Sparse Workspaces (Video, PLDI 2024) Genghan Zhang, Olivia Hsu, and Fredrik Kjolstad (Stanford University, USA; Stanford University, USA; Stanford University...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/4072935/42c7bf350c1acf9bef86ff8b12817067/564x318_1"},"target":"_self","position":"15","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DbkovjLkg8yI","linkTemplate":"/video/preview/4441437380593694646?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[Pldi24] Compilation of Modular and General Sparse Workspaces","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=bkovjLkg8yI\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzQ0NDE0MzczODA1OTM2OTQ2NDZaEzQ0NDE0MzczODA1OTM2OTQ2NDZqrw0SATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8TwwiCBCQBgAQrKosBEAEaeIEG-_r-AAAA6QP8_Pv_AgAAA__4-P7-AOQA8QkA_QEABQQBCvsBAAAEBvcBAgAAAAAECv_7_gEAGwL79QMAAAAJ9wT5_gAAAAIV9Pj_AQAA5Qn4-QIAAAAH_hQEAAAAAPkB-gr_AAAAA_zwBgAAAAAJ7Av5AAAAACAALZbd1Ds4E0AJSE5QAipzEAAaYBUQADYNIPXbBxvl9Of8GPv5JPP71f8A_uoA8SIE5BUr9sPsAQAd1Q3vwwAAACPq7_nxAPpSC8ji2AEyD-_lDh8Jf88f9hcRKPHqHtfxCeUO3w73HwDo8u4OEw3eT99ADiAALcsQVjs4E0AJSG9QAiqvBhAMGqAGAADwwQAAQMEAAABBAABYwgAATEIAAMBAAABMQgAAHMIAAMBAAADYQQAAqEEAALLCAAAAwgAAuMEAAJhCAACWwgAAMMEAAMDAAACIQQAAZMIAAKjBAAAAwQAAgMAAAEhCAAAwwQAAHMIAAGzCAADYwgAAgD8AAAhCAACQQQAAbEIAAATCAAC4wQAAMMIAAFDBAABAwAAAwkIAABTCAACYQgAAmMEAAERCAACqQgAA4EAAADBCAACgwgAAXMIAACRCAADgQQAAgL8AABjCAADAQAAAQEEAAIjBAAAQQgAAEMEAAPTCAABQQQAA4MEAADxCAAAMQgAAiMEAAKDBAACywgAAmEEAAHDCAACYwQAAoMIAAIC_AADAwQAAhkIAACBCAAD4wQAA8EEAAATCAADGwgAAQEAAAFDBAAAAwAAA4EAAAEzCAAAQQgAAoMEAAAhCAACAQAAA4EAAAEhCAACkQgAASEIAAIrCAACAQQAAeEIAAGDBAABMwgAAJMIAAEjCAAAQQQAAkMEAAIRCAACIwQAAAMEAAMhBAACaQgAASMIAAMDBAADAwAAAAMEAAHBBAABQwQAAgkIAAAhCAABAQAAAqMEAAJjBAAAwQQAAEEEAAGDBAAAAwgAAuMEAAHBBAABgQQAACMIAAFzCAAAYwgAAFEIAALhBAAAAQQAAsEEAAIC_AADgwAAAgMEAALhBAADYwQAAiEEAACjCAACgQAAAAEEAAMBAAAA0wgAArsIAAOBAAACAwQAAOEIAAKjBAAC4QQAAiMEAAETCAACoQQAAFEIAAEBAAABowgAAVEIAANhBAADAQAAAMEEAAADAAAAwwQAAFMIAAGjCAAAAQgAAUMIAAKBBAADQwQAAWMIAABDCAABwQQAAXEIAAKhCAACgQQAAwMAAAEBBAAAgQgAAkMEAAABAAADIwQAAQMEAAODAAAD4wQAAcEIAAFBBAAAAQQAAmMEAAKhBAACAQgAAbEIAAAzCAAAEwgAAEMIAAABBAACwwQAAjMIAAIDCAABUQgAAqMEAAOhBAABIQgAANMIAAEDBAABgwQAASMIgADgTQAlIdVABKo8CEAAagAIAAFC9AAAQPQAA4DwAAEC8AADSvgAAbD4AAHA9AAAXvwAA-L0AAPg9AAC4vQAAJL4AADC9AAAsPgAAcD0AAI6-AACgPAAAcD0AAAc_AAAlPwAAMT8AADQ-AAA0PgAAgLsAAKi9AADovQAAJL4AAEA8AAAwvQAAXD4AAAQ-AACuvgAAND4AAPi9AABAPAAA4LwAAHQ-AACAuwAAdL4AAMi9AADgPAAAqL0AADQ-AABcvgAAUD0AAFQ-AACoPQAAfL4AACw-AAAkvgAAND4AAPi9AAAkPgAAcD0AAAy-AADYPQAAfz8AALq-AAAkPgAAEL0AAMi9AADYvQAABD4AAOi9IAA4E0AJSHxQASqPAhABGoACAAAwvQAAVD4AAIi9AAAlvwAAEL0AAJK-AABAvAAA6L0AAOi9AACmPgAAFD4AABS-AAAUvgAA9r4AADS-AABAvAAAQDwAAA8_AABAPAAADD4AAKi9AACCPgAAcL0AAOC8AAAcvgAAoDwAABS-AACoPQAAMD0AABS-AADYPQAAZD4AADS-AABAPAAAVL4AAOA8AADKPgAAXD4AAJ6-AADovQAA6D0AADA9AAAHvwAAQDwAAKA8AABcPgAAf78AAMi9AABQPQAAQDwAACQ-AAA0vgAAHD4AABA9AACAuwAAMD0AAIC7AABwPQAAfL4AABC9AABcvgAAyL0AALi9AAAQPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=bkovjLkg8yI","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["4441437380593694646"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"810587366740742983":{"videoId":"810587366740742983","docid":"34-8-7-ZEB500B20EC6C75BC","description":"However, cryptography has been an except...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3295239/84ee84b558501b51dc6750def048c636/564x318_1"},"target":"_self","position":"16","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D9JWM28-QEXs","linkTemplate":"/video/preview/810587366740742983?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'23] CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=9JWM28-QEXs\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhQKEjgxMDU4NzM2Njc0MDc0Mjk4M1oSODEwNTg3MzY2NzQwNzQyOTgzaq8NEgEwGAAiRRoxAAoqaGhkd3F3cm9xY2Nsemh5YmhoVUN3Rzk1MTJXbTdqU1M2SXFzaHo0RHBnEgIAEioQwg8PGg8_E_0IggQkAYAEKyqLARABGniBAQwK9wP9AP4KCAEFBv0BFf38APUBAQDo9fQJCP8BAPwCCwAKAQAAEvYBCfwAAAD-_v3_9_4AAAUV-fEEAAAAF-_29v0AAAABCQYE_gEAAPX-BAUDAAAAFQQUAgAAAADvBQX8_v8AAPj2-wEAAAAA-vL7-AAAAAAgAC13-ck7OBNACUhOUAIqcxAAGmAPFAAXIPfYy-4g0sv0vRoo3skD_9wI_w7W_9BF3uYt2QCNGAL_RLsW9aEAAAD-Ad4R-QDpf_zYph0O_xO35_1aE33vGQfD-Pa45eS0tQjrvvcACfEA5vYNISThyWEcQusgAC0ltRc7OBNACUhvUAIqrwYQDBqgBgAAgMEAAFRCAAAEQgAAgL8AABRCAADgwAAAuEEAADzCAADowQAAYEEAAEhCAADgwQAAIMEAAJTCAAAgQgAAQEEAAEBAAAB0wgAAAAAAAEjCAACgQAAAQEAAAABAAAAsQgAAAEEAADzCAADQwgAAosIAAFhCAADgQQAA-EEAAGBCAAAIwgAA2MEAAAAAAAC4wQAAcEEAAGxCAACowQAAqkIAACDCAAAAwgAAEEIAAJjBAACUQgAASMIAAKDCAABQQQAAlEIAAEDAAABUwgAA4EAAAJjBAACQwQAAUEIAAABAAADUwgAAyMEAAFDBAAAAQQAAWEIAABBBAABMwgAAiMIAABBCAACewgAAcMEAANjBAADwwQAAyMEAACBCAABMQgAAsEEAAEDAAAAQQQAATMIAAIhBAACQwQAAoEEAAAAAAAAYwgAAQEIAAAzCAABwQQAAyMEAAEDBAADAQQAAyEEAAERCAAAgwgAAAMAAAEDBAACAwQAAuMIAAAAAAABwwgAAwMAAABhCAAAcQgAA8MEAADDCAACYQQAAZEIAAJrCAAAMwgAAAMIAAIhBAABAQgAAKMIAABxCAAAwwQAA-EEAAGDCAAAMwgAAuEEAAIxCAAAAwgAABMIAAEBAAACgwAAAQMEAAIrCAAC0wgAAcMEAAEhCAAAIQgAAQEAAAADBAADIwQAAIMIAABDCAACwwQAAHMIAAFBBAACgwQAAoEAAAGBCAADAwAAADMIAAIrCAAAAwQAAEMEAACxCAACAQQAAMEIAADzCAABIwgAAWEIAAFhCAADgwQAAMMIAADhCAAAgQgAAUMEAAABCAADwwQAAHMIAAFDCAADgwAAAgEEAACDBAACYQQAAgMEAAKbCAAA8wgAAPEIAACRCAACSQgAAOEIAAODAAABkwgAApkIAACDCAAAwwQAAgMEAABxCAADAQQAAZMIAAAhCAABQQQAAAEIAAGDBAACAQQAA4EAAAGhCAADYwQAALMIAANhBAADQwQAAQMEAAFDBAABYwgAANEIAABDBAACAQQAAUMEAAI7CAABUwgAAkMEAAIjBIAA4E0AJSHVQASqPAhAAGoACAADoPQAAJL4AAEw-AADYPQAAdL4AAK4-AABEPgAA4r4AAJa-AADYvQAAuD0AANg9AACePgAAmD0AAMK-AADoPQAAgj4AAIC7AADYPQAA8j4AAH8_AAAQPQAADD4AANg9AACAOwAAbD4AACy-AACAOwAADL4AAJg9AABEPgAAcD0AAFS-AACovQAAij4AAEA8AAAcPgAAhr4AAM6-AACIvQAA6L0AAKi9AAB8PgAA6D0AAKi9AAA0PgAAiD0AAI6-AABAvAAAPL4AAHA9AACovQAAVD4AAGQ-AACYvQAAQLwAAAk_AADoPQAAMD0AAIC7AADgvAAABL4AAEC8AAD4vSAAOBNACUh8UAEqjwIQARqAAgAA-L0AAKi9AAD4vQAAY78AAIi9AAAwPQAAoLwAALi9AACqvgAAlj4AAIg9AAC4vQAALL4AAGS-AABQPQAAmL0AAFC9AAAnPwAAMD0AANI-AACYvQAAED0AAEA8AAD4vQAAQDwAACS-AABUvgAA4DwAAJi9AAAQvQAAyD0AAIg9AAD4PQAAmL0AAFw-AABEvgAAoDwAADQ-AABcvgAA2D0AAAQ-AABAPAAAtr4AAHC9AABEvgAAuL0AAH-_AACgPAAADD4AAEA8AAAUPgAAVL4AAJg9AABcPgAAmL0AABA9AABAvAAALD4AAHC9AAAkvgAA4LwAAHQ-AAD4PQAA4DwgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=9JWM28-QEXs","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["810587366740742983"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"12434457341515997628":{"videoId":"12434457341515997628","docid":"34-2-0-ZA4E45B3221DF0229","description":"Handling the Selection Monad (Video, PLDI 2025) Gordon Plotkin and Ningning Xie (Google DeepMind, USA; Google DeepMind, Canada / University of Toronto, Canada) Abstract: The selection monad on a...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/1773247/2640fc5780f64a4615560673d63bfce9/564x318_1"},"target":"_self","position":"17","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DUt2AGgw5-7M","linkTemplate":"/video/preview/12434457341515997628?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'25] Handling the Selection Monad","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=Ut2AGgw5-7M\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhYKFDEyNDM0NDU3MzQxNTE1OTk3NjI4WhQxMjQzNDQ1NzM0MTUxNTk5NzYyOGqvDRIBMBgAIkUaMQAKKmhoZHdxd3JvcWNjbHpoeWJoaFVDd0c5NTEyV203alNTNklxc2h6NERwZxICABIqEMIPDxoPPxPwCYIEJAGABCsqiwEQARp4gfgMBP8C_gD0_gsNAgf8AfL6-QIK_wAA8PryBPgB_wDgBAL7CP8AAAcJCAULAAAABg4I-ff9AQAW-gINAwAAAAgEDwz_AAAABPj5-P8BAAAABgn4A_8AAAL9EBEAAAAAAAYLAwEAAAD4AAETAAAAAALo9QMBAAAAIAAtMJjKOzgTQAlITlACKnMQABpgKRkAAfv_AuEBDfcB9PP76wn2COns-wAK7QD4DfsJCQHq4_kDABkB_QDdAAAAEf4aIwQA8SgJ9v8JAxAI8-Tt9Qx_AwLsD_0V6-8JAPwbBv8SCQwUAAn0E_gR6v4R_fwnIAAtkAulOzgTQAlIb1ACKq8GEAwaoAYAAADAAAAAAAAAYEEAAIbCAABQQgAAGEIAAKhBAAAQwQAAMMEAAIA_AADAQAAAZMIAABDCAADYwQAAnkIAACzCAABQwQAAQMEAAJDBAABMwgAAqMEAAATCAADQwQAAiEIAAEDAAACowQAAiMIAAKbCAACgwAAAQEEAAGBBAABAQgAAKMIAAIDBAAAgwgAAAAAAAMDAAAD-QgAARMIAACBCAACAwQAAmEEAAIpCAACAQQAAXEIAAJLCAAAkwgAAUEIAAARCAAAwQQAAVMIAAOhBAACAQAAAYMEAALhBAACIwQAAAMMAALBBAAAAAAAAWEIAAChCAADIwQAAaMIAAGjCAADgQAAADMIAAEDBAADwwQAAUMEAANDBAACKQgAAbEIAAHDBAACUQgAA6MEAAODCAAAAAAAA6MEAAEBBAACAPwAAcMEAADRCAACAvwAAEEEAANjBAAAAQQAAiEIAAGhCAAAYQgAAjsIAAIA_AABAQgAAyMEAAI7CAAAYwgAAyMEAAMDBAADgQQAASEIAADDBAABQwQAAPEIAAJhCAABAwgAAEMIAANjBAACwwQAAGEIAAODBAAAcQgAA8EEAAIBAAAA8wgAACMIAALhBAADIQQAAUMEAAEjCAAAgQQAAEMEAAIDAAABUwgAAcMIAADDCAABcQgAAgMAAAADBAAAgQQAA4EAAAHDBAACwwQAA8EEAACjCAABwQQAATMIAAFBBAACgQQAAAEAAABDCAADWwgAAYMEAAAAAAABEQgAAwMAAAMBBAABAwQAAMMIAANBBAAAYQgAAUMEAAGjCAAAQQgAAMEEAABDBAACIQQAAAEAAAEDBAAAMwgAAosIAACBBAACowQAAEEEAAMjBAAAswgAA0MEAADRCAACmQgAAVEIAADRCAACAvwAAEMEAAFxCAAD4wQAAAEEAAEDBAAAwwQAAgL8AAHTCAAB8QgAA6EEAAEBAAAAkwgAAmEEAAGBCAAC6QgAAGMIAAJjBAADgQAAAAMEAAMjBAACCwgAAbMIAADBBAACYwQAAMEEAABhCAABIwgAAQMEAAODAAABowiAAOBNACUh1UAEqjwIQABqAAgAAQDwAABy-AAAEPgAAJD4AACw-AAAwPQAAED0AAAu_AAA8vgAAmD0AAFQ-AAC4PQAAiD0AAJY-AABUvgAAgDsAAFA9AACoPQAAcD0AANI-AAB_PwAAED0AAOA8AABAPAAAFD4AAMg9AACovQAALD4AAJi9AACOPgAAVD4AANg9AACKvgAAgj4AAEw-AABcPgAATD4AACS-AAADvwAAsr4AAEA8AADYPQAADD4AAOi9AABQvQAAuL0AABA9AABQPQAAED0AAJ6-AAC4PQAAuL0AAJY-AAC4PQAAyL0AABC9AAAbPwAAFD4AAIA7AAB0PgAAiD0AAMg9AAAQPQAAcD0gADgTQAlIfFABKo8CEAEagAIAABA9AACYPQAAcL0AAFu_AACYvQAADD4AAKg9AACoPQAAZL4AAOY-AAB0PgAA6L0AAEy-AACOvgAAPL4AAIA7AACIPQAAHz8AAKg9AABsPgAA2L0AAI4-AAC4PQAAML0AAHS-AACgPAAABL4AANg9AAAwPQAAEL0AACw-AADIPQAAFL4AABy-AAD4vQAAqL0AAJo-AACGPgAAvr4AANi9AADYPQAA-D0AALK-AABAPAAAQDwAAK4-AAB_vwAA6D0AAL4-AAAsPgAALD4AABS-AAAMPgAA6D0AAGQ-AABQPQAAUD0AAHC9AACAOwAATL4AAEA8AAAwPQAA4LwAAFA9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=Ut2AGgw5-7M","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["12434457341515997628"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"9906468952297009732":{"videoId":"9906468952297009732","docid":"34-2-16-Z47E2568A61B5E961","description":"Full program: https://pldi25.sigplan.org/program/pr...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/929018/3c54db0d00babf1c18b42d310c390676/564x318_1"},"target":"_self","position":"18","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DAEbvKbHPRhM","linkTemplate":"/video/preview/9906468952297009732?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'25] Orchid - Egraphs (Jun 17th)","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=AEbvKbHPRhM\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzk5MDY0Njg5NTIyOTcwMDk3MzJaEzk5MDY0Njg5NTIyOTcwMDk3MzJqrQ0SATAYACJDGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKg7ADw8aDz8TggQkAYAEKyqLARABGniB6gYLAgT8AOn6Ffz8AAEA9ggE7fn9_ADz7_n_BgL_APQDAQMHAAAA9gQK_P8AAAAGCPj6-P0BABr7-QAEAAAAEfn0AfQAAAACFvP3_wEAAA4K_fACAAAA_wkN7_8AAAAP-_cC____APUP_RMAAAAA7fT39AD_AAAgAC1MxcY7OBNACUhOUAIqcxAAGmA6GAARGAoPogoWtxPqIefb9sf8ydjj_yysABv-8rbt9MeHXOkAGxgPNZ0AAAAM2wUm3gDIexH7CdfyTx44HQk8N3_x7s3L1UjuEdi8xg01D_38RikAujcEBr-lzSQHKvwgAC1IsA47OBNACUhvUAIqrwYQDBqgBgAAEMIAAFTCAAAgQgAAeMIAAADBAABUQgAAwEAAAFDBAAAkwgAAsMEAABBBAADAwAAAQMIAAAjCAABwQQAAiEEAAIBAAABMwgAAkMIAABDBAAAQQQAAsEEAAABAAACeQgAAoMAAAIBAAAAYwgAAQMEAABBBAAD4QQAA0EEAAKpCAACoQQAAwMAAANjBAABAQQAAgEAAALJCAADAwAAAQMAAAJDBAAAMwgAAuEEAAFBBAABAQgAAwEAAAOhBAABkQgAAHEIAAAAAAACgwAAAIEEAAADCAACQwQAAQMAAAOjBAAAgwQAAUEEAAPBBAADIQQAAEEIAACBCAAAswgAAsMEAAKDAAACwwQAA-EEAAABAAABswgAA4EAAAABBAACiQgAAsMEAAOpCAABAQQAAxsIAABDBAAAAwQAAGEIAAJBBAAAQQgAAIEIAANBBAAB0wgAAmMEAAKBAAACQQgAAAMAAAEBAAACEwgAAosIAAABCAADAQQAAHMIAANjBAADAQQAAjMIAAOxCAABQQgAAQEAAADBCAADgQQAAsEEAAFDBAABYwgAAmMEAADDCAACWQgAAYEEAAMhBAABMQgAAgL8AAETCAAAgQQAAsEEAAGBBAAAAQAAA2MEAAGhCAACAwQAAqMEAAEjCAAA4wgAAYMIAANhBAABAwgAAQMIAAPhBAAAQQgAASMIAAKDBAADIQQAA0MEAAOhBAACgwAAAsEEAAOBAAADAwQAAJEIAAI7CAABkwgAAQEAAAKBBAAAgQQAAIEEAAIhBAADgQQAAfEIAAJBBAAAwQQAAAMIAAEDBAACYwQAAFMIAADhCAABwQQAAQMAAABBBAACAvwAA4EAAAGBBAAAgQQAAIMIAAJDCAABMwgAAcEIAAPhCAACYQQAA0EEAAEBBAAAAQQAAEEEAAOBAAADYwQAAYEEAAABCAABgQQAA1MIAABBBAADsQgAAYMIAAFDBAACgwQAAQEAAAKBCAABkwgAA-MEAAKBCAAAwwQAAHMIAAHDCAAAwwgAAAEEAAEDBAACiwgAAkEIAAIBAAACAQAAAAAAAAGTCIAA4E0AJSHVQASqPAhAAGoACAAAUPgAAXD4AAJo-AAAEPgAAgj4AADA9AACSvgAAE78AAFC9AACyPgAARD4AAOA8AABwPQAAlj4AAFw-AADivgAAij4AAJi9AADgvAAAWT8AAH8_AABMPgAAbL4AAFC9AADovQAAgLsAADQ-AABQvQAADL4AACc_AADYvQAABD4AADy-AAB_PwAABL4AAEC8AADgPAAA2L0AAJK-AAB0vgAABL4AAJI-AACyPgAApj4AAHC9AACAOwAAsr4AADA9AABUvgAAwr4AAHC9AAA0PgAA1j4AAL4-AACivgAAQLwAAFc_AACgvAAApr4AAFQ-AADYvQAAQLwAAAw-AAAQvSAAOBNACUh8UAEqjwIQARqAAgAA6L0AAOA8AABQvQAAU78AAOg9AADSPgAAbD4AAIC7AABMvgAAmj4AAEC8AAAwvQAABL4AAES-AAC4vQAAcD0AALi9AABZPwAAbL4AAGw-AAAkvgAAXL4AAEA8AACgPAAA2L0AADA9AABwvQAAQLwAAHA9AACovQAAoDwAABC9AABQPQAAur4AAOi9AACgvAAATL4AAFA9AAAEvgAALL4AALg9AAAQvQAAXD4AAIa-AACYvQAAmD0AAH-_AAAEvgAAbD4AANg9AACGPgAAUL0AAKY-AAC4vQAA4DwAAHC9AACAOwAAJD4AAEC8AAAQPQAAXD4AAOC8AABQvQAAcD0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=AEbvKbHPRhM","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":480,"cheight":360,"cratio":1.33333,"dups":["9906468952297009732"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"3506704383980618165":{"videoId":"3506704383980618165","docid":"34-9-11-ZA543975789257B7F","description":"Tree Borrows (Video, PLDI 2025) Neven Villani, Johannes Hostert, Derek Dreyer, and Ralf Jung (Univ. Grenoble Alpes - CNRS - Grenoble INP (Institute of Engineering), France; ETH Zurich...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3482816/cb3dfdd5bad72bb4940c373b870df480/564x318_1"},"target":"_self","position":"19","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DCJi_Fcs4bak","linkTemplate":"/video/preview/3506704383980618165?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'25] Tree Borrows","related_orig_text":"PLDI 2019 Video Abstracts","related_porno":false,"related_less_3m_off":true,"client":"d2d","no_cnt":1,"related_src":"serp","related":"{\"porno\":false,\"vfp\":1,\"orig_text\":\"PLDI 2019 Video Abstracts\",\"url\":\"http:\\/\\/www.youtube.com\\/watch?v=CJi_Fcs4bak\",\"src\":\"serp\",\"rvb\":\"EqcDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoTOTkwMjcwMDg1MTc2ODUxMzc3NAoTOTUxNjQwMzIyMTcxOTQwOTE1NQoUMTMzMjc0NzE3NDU0MDM4NTIzMTAKFDEwNTU0NTU4MDA1NTM4NzA4MzkxChM2ODU1Mjk2MjE5ODEzNzgwOTM0ChM5MTY3NzIxMTc5NzU2NDQxNzA3ChQxMTc0ODQ2NTI5ODE5NzA0NjMxNAoSMjQyNjc4ODQ3MTQ0MzQxMzMxChM3NzYzNTA1MTc4MjM1NTE2OTg0ChQxMDQxOTU0OTA4OTcwMzQzMjc4OQoTNDQ0MTQzNzM4MDU5MzY5NDY0NgoSODEwNTg3MzY2NzQwNzQyOTgzChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTOTkwNjQ2ODk1MjI5NzAwOTczMgoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTM1MTk1MjU0ODIzNjczODM2NTUKFDE3MjIxNTIwODM3OTAxMTk4NDYwGhUKEzM1MDY3MDQzODM5ODA2MTgxNjVaEzM1MDY3MDQzODM5ODA2MTgxNjVqrw0SATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8TlwmCBCQBgAQrKosBEAEaeIH8_wgBAAEA9vUQCPsG_QLmEQj7-___AO348PwFAAAAAvr7__8BAAAHBf37AAAAAPz7BPv8_gAAEfv--AMAAAAD_vsQAAAAABH2_gb-AQAACwACAAP_AAADAggHAAAAAPILAgEE-fcFAQj4-QEAAAD37_D8AAAAACAALUrE1Ds4E0AJSE5QAipzEAAaYPsWACwHBebf__Tz6_X39xb53hjU2PAAJtUANBQI-x0D5MsT2QAO8__3yAAAAP0QBhMcABhG6_bt4gD69vgRARoNfx4b88nuOCkUA8f0-wbjERoVPwAVDwYBK-AGFcYLAiAALQ_hYzs4E0AJSG9QAiqvBhAMGqAGAAD4wQAAiMEAAJBBAACSwgAAGEIAAAhCAACoQQAA4MEAADDBAADQQQAAwEAAAIDCAAB0wgAAFMIAAChCAABgwgAAEEEAAIDAAABAwAAA0MEAAKBAAACIwQAAQMAAAIxCAAAAAAAAMMEAAEjCAACSwgAANMIAAEBBAAAYQgAAjEIAACDBAACGwgAAUMEAAOBAAABQwQAAykIAAKDBAAAUQgAAWMIAAOhBAACQQgAAsEEAADhCAADowQAA4MEAAExCAADQQQAAAEAAAHDCAAD4QQAAwMEAADjCAABAQAAAsMEAAJjCAACowQAAqEEAAIBCAAAAAAAAAMEAAATCAAAAwgAAkEEAAKzCAADQQQAAXMIAAAzCAADAwQAAUEIAACxCAADAwAAAfEIAABBBAAD2wgAAuMEAAHBBAACAwQAAYMEAAIjBAABQQQAAEEEAACDCAACAQAAADMIAAKxCAAC8QgAABEIAAGDCAAAgQQAAmEIAAAzCAABwwgAAWMIAAIA_AADIwQAAIEEAAGBCAAAYwgAAiEEAAGBBAACeQgAADMIAAAzCAAAAQQAAmEEAANBBAACgQAAAJEIAACBCAAAwwgAAyMEAAIBAAAAwQQAAEEEAAKBBAAAYwgAA4MAAALBBAACAwAAAOMIAAJTCAACUwgAAIEIAANjBAACgwAAALEIAAPBBAAAswgAAAMAAAFhCAABwwQAA4EAAACTCAACIQQAAMEEAAKDAAADwwQAAksIAAHBBAACAwAAAbEIAAIDBAAAAQQAAgMAAACjCAABsQgAAHEIAADBCAACGwgAAgMAAAAzCAACIwQAATEIAAAAAAADAQAAAEEEAADjCAABQQQAAsMEAAMBAAACowQAACMIAAEDBAACwQQAAtEIAAFBCAAAUQgAA8MEAACBCAAAUQgAAgMEAAEDAAADAwAAAoMAAAPBBAADQwgAA0EEAABRCAAD4wQAAAEEAAOBAAAA4QgAApEIAAIbCAAAAAAAAYMEAABBBAADAwQAAoMIAACDCAAA8QgAAQMAAAAzCAAAUQgAAbMIAAGBBAAAgQQAAfMIgADgTQAlIdVABKo8CEAAagAIAANg9AABEPgAAcD0AAGw-AACovQAAyL0AAAQ-AADKvgAABL4AALY-AADovQAATL4AALg9AAB0PgAA2D0AACS-AACAOwAAoLwAABw-AADaPgAAfz8AAFA9AAD4PQAA2L0AAJi9AACCPgAAHL4AAAQ-AAC4PQAADD4AAKA8AACYPQAA2L0AADw-AADIPQAAfL4AANg9AADYvQAAzr4AAIq-AABQPQAAwj4AAI4-AAAEvgAAcL0AABQ-AADgvAAA4LwAAAy-AABUvgAAUL0AAFA9AACuPgAAjj4AAIC7AADIPQAAHz8AADy-AABwPQAA6D0AAHA9AACYvQAA2D0AAIq-IAA4E0AJSHxQASqPAhABGoACAABkvgAAbD4AAIC7AAApvwAAmD0AAMg9AAA0PgAAmD0AAHC9AACiPgAAND4AACS-AADYvQAATL4AAKC8AACAOwAAPD4AAC8_AACgPAAAmj4AAEA8AABwPQAAPD4AALi9AAD4vQAAmD0AACS-AADIPQAAiD0AADA9AAC4PQAAmD0AAOi9AABAvAAAqD0AAOi9AAA0PgAARD4AACy-AABQPQAAfD4AAKi9AAAQvQAAcL0AAKi9AADCPgAAf78AAHC9AAD4vQAAVD4AABw-AACYPQAArj4AAMg9AACYPQAA4DwAAOC8AAAUvgAAED0AAAy-AADgvAAAML0AAHC9AAAUPiAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=CJi_Fcs4bak","parent-reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["3506704383980618165"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false}},"dups":{"95072238439656082":{"videoId":"95072238439656082","title":"Verified Compilation on a Verified Processor","cleanTitle":"Verified Compilation on a Verified Processor","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=5XdemOg75aU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/5XdemOg75aU?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDc3NjZmFvc3JpeUpOcU0zYWljc25wZw==","name":"PLDI 2019 Video Abstracts","isVerified":false,"subscribersCount":0,"url":"/video/search?text=PLDI+2019+Video+Abstracts","origUrl":"http://www.youtube.com/@PLDIVideoAbstracts","a11yText":"PLDI 2019 Video Abstracts. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":63,"text":"1:03","a11yText":"Süre 1 dakika 3 saniye","shortText":"1 dk."},"date":"20 haz 2019","modifyTime":1560988800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/5XdemOg75aU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=5XdemOg75aU","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":63},"parentClipId":"95072238439656082","href":"/preview/95072238439656082?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/95072238439656082?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"6864434206376635068":{"videoId":"6864434206376635068","title":"[\u0007[PLDI\u0007]'23] Embedding Hindsight Reasoning in Separation \u0007[Logic\u0007]","cleanTitle":"[PLDI'23] Embedding Hindsight Reasoning in Separation Logic","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=pgn9nhPPcKA","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/pgn9nhPPcKA?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1233,"text":"20:33","a11yText":"Süre 20 dakika 33 saniye","shortText":"20 dk."},"date":"2 mayıs 2024","modifyTime":1714608000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/pgn9nhPPcKA?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=pgn9nhPPcKA","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1233},"parentClipId":"6864434206376635068","href":"/preview/6864434206376635068?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/6864434206376635068?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"8111539039659072339":{"videoId":"8111539039659072339","title":"[\u0007[Pldi\u0007]24] Compiling with \u0007[Abstract\u0007] Interpretation","cleanTitle":"[Pldi24] Compiling with Abstract Interpretation","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=2Btkn9AvM8o","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/2Btkn9AvM8o?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1064,"text":"17:44","a11yText":"Süre 17 dakika 44 saniye","shortText":"17 dk."},"date":"23 tem 2024","modifyTime":1721692800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/2Btkn9AvM8o?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=2Btkn9AvM8o","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1064},"parentClipId":"8111539039659072339","href":"/preview/8111539039659072339?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/8111539039659072339?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"9902700851768513774":{"videoId":"9902700851768513774","title":"[\u0007[PLDI\u0007]'25] An Overview of the Cangjie \u0007[Language\u0007]","cleanTitle":"[PLDI'25] An Overview of the Cangjie Language","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=BuhNS7z49Jk","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/BuhNS7z49Jk?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1336,"text":"22:16","a11yText":"Süre 22 dakika 16 saniye","shortText":"22 dk."},"date":"9 tem 2025","modifyTime":1752019200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/BuhNS7z49Jk?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=BuhNS7z49Jk","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1336},"parentClipId":"9902700851768513774","href":"/preview/9902700851768513774?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/9902700851768513774?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"9516403221719409155":{"videoId":"9516403221719409155","title":"Herbie \u0007[PLDI\u0007]’15 Video \u0007[Abstract\u0007]","cleanTitle":"Herbie PLDI’15 Video Abstract","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=qnkElmpTtBw","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/qnkElmpTtBw?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDeklmNUR3ZVpMVlMzb2tpb1d2V2VkUQ==","name":"Pavel Panchekha","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Pavel+Panchekha","origUrl":"http://www.youtube.com/@pavelpanchekha917","a11yText":"Pavel Panchekha. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":57,"text":"00:57","a11yText":"Süre 57 saniye","shortText":""},"date":"26 haz 2015","modifyTime":1435276800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/qnkElmpTtBw?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=qnkElmpTtBw","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":57},"parentClipId":"9516403221719409155","href":"/preview/9516403221719409155?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/9516403221719409155?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"13327471745403852310":{"videoId":"13327471745403852310","title":"[\u0007[PLDI\u0007]'25] Cosmos, Violet & Tulip - \u0007[PLDI\u0007] Research Papers (Jun 19th)","cleanTitle":"[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 19th)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=YhXlZp45HLs","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/YhXlZp45HLs?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":0,"text":"","a11yText":"","shortText":""},"date":"19 haz 2025","modifyTime":1750287732000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/YhXlZp45HLs?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=YhXlZp45HLs","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":0},"parentClipId":"13327471745403852310","href":"/preview/13327471745403852310?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/13327471745403852310?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"10554558005538708391":{"videoId":"10554558005538708391","title":"[\u0007[PLDI\u0007]'25] Cosmos, Violet & Tulip - \u0007[PLDI\u0007] Research Papers (Jun 18th)","cleanTitle":"[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 18th)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=FLj1iu9qjfc","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/FLj1iu9qjfc?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":34694,"text":"9:38:14","a11yText":"Süre 9 saat 38 dakika 14 saniye","shortText":"9 sa. 38 dk."},"date":"18 haz 2025","modifyTime":1750201281000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/FLj1iu9qjfc?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=FLj1iu9qjfc","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":34694},"parentClipId":"10554558005538708391","href":"/preview/10554558005538708391?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/10554558005538708391?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"6855296219813780934":{"videoId":"6855296219813780934","title":"Vidéo en français pour enfants. Boîte à jouets : labyrinthe avec des perles","cleanTitle":"Vidéo en français pour enfants. Boîte à jouets : labyrinthe avec des perles","host":{"title":"ОК","href":"http://ok.ru/video/1897769275651","playerUri":"\u003ciframe src=\"//ok.ru/videoembed/1897769275651?ya=1\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"ok","providerName":"ok.ru","sourceHost":"ok.ru","name":"ok.ru","secondPart":{"type":"CHANNEL","id":"b2sucnU7NTY2NzI1NDgwNTM4","name":"Soleil Koks","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Soleil+Koks","a11yText":"Soleil Koks. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fok.ru?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":297,"text":"4:57","a11yText":"Süre 4 dakika 57 saniye","shortText":"4 dk."},"date":"20 ara 2020","modifyTime":1608447600000,"isExternal":false,"player":{"embedUrl":"https://ok.ru/videoembed/1897769275651?autoplay=1&ya=1","playerId":"ok","videoUrl":"http://ok.ru/video/1897769275651","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":297},"parentClipId":"6855296219813780934","href":"/preview/6855296219813780934?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/6855296219813780934?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"9167721179756441707":{"videoId":"9167721179756441707","title":"[\u0007[PLDI\u0007]'23] Modular Hardware \u0007[Design\u0007] with Timeline Types","cleanTitle":"[PLDI'23] Modular Hardware Design with Timeline Types","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=SlvHMsdooAg","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/SlvHMsdooAg?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1200,"text":"20:00","a11yText":"Süre 20 dakika","shortText":"20 dk."},"date":"2 mayıs 2024","modifyTime":1714608000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/SlvHMsdooAg?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=SlvHMsdooAg","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1200},"parentClipId":"9167721179756441707","href":"/preview/9167721179756441707?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/9167721179756441707?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"11748465298197046314":{"videoId":"11748465298197046314","title":"[PLMW @ \u0007[PLDI\u0007]'25] Research on Different Time Horizons (and an Example with Machine-Checked P...","cleanTitle":"[PLMW @ PLDI'25] Research on Different Time Horizons (and an Example with Machine-Checked Proofs)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=rMIUZYbhgmo","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/rMIUZYbhgmo?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":3415,"text":"56:55","a11yText":"Süre 56 dakika 55 saniye","shortText":"56 dk."},"date":"9 tem 2025","modifyTime":1752019200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/rMIUZYbhgmo?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=rMIUZYbhgmo","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":3415},"parentClipId":"11748465298197046314","href":"/preview/11748465298197046314?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/11748465298197046314?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"242678847144341331":{"videoId":"242678847144341331","title":"[\u0007[PLDI\u0007]'23] ImageEye: Batch Image Processing using \u0007[Program\u0007] Synthesis","cleanTitle":"[PLDI'23] ImageEye: Batch Image Processing using Program Synthesis","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=0PJgcibndes","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/0PJgcibndes?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1228,"text":"20:28","a11yText":"Süre 20 dakika 28 saniye","shortText":"20 dk."},"date":"2 mayıs 2024","modifyTime":1714608000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/0PJgcibndes?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=0PJgcibndes","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1228},"parentClipId":"242678847144341331","href":"/preview/242678847144341331?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/242678847144341331?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"7763505178235516984":{"videoId":"7763505178235516984","title":"[\u0007[PLDI\u0007]'25] Orchid - \u0007[PLDI\u0007] Research Papers (Jun 18th)","cleanTitle":"[PLDI'25] Orchid - PLDI Research Papers (Jun 18th)","host":{"title":"YouTube","href":"http://marghrid.github.io/","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/fd59n74kOso?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":34523,"text":"9:35:23","a11yText":"Süre 9 saat 35 dakika 23 saniye","shortText":"9 sa. 35 dk."},"date":"18 haz 2025","modifyTime":1750201330000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/fd59n74kOso?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=fd59n74kOso","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":34523},"parentClipId":"7763505178235516984","href":"/preview/7763505178235516984?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/7763505178235516984?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"10419549089703432789":{"videoId":"10419549089703432789","title":"\u0007[PLDI\u0007] that can make high quality videos such as 3D and VR!","cleanTitle":"PLDI that can make high quality videos such as 3D and VR!","host":{"title":"YouTube","href":"http://www.youtube.com/shorts/spQ2b1cjHNg","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/spQ2b1cjHNg?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDSzZzMDJVNmVWN3NkUlpPeFpfREIyQQ==","name":"B4U PLDI","isVerified":false,"subscribersCount":0,"url":"/video/search?text=B4U+PLDI","origUrl":"http://www.youtube.com/@b4upldi774","a11yText":"B4U PLDI. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":48,"text":"00:48","a11yText":"Süre 48 saniye","shortText":""},"date":"7 tem 2019","modifyTime":1562457600000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/spQ2b1cjHNg?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=spQ2b1cjHNg","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":48},"parentClipId":"10419549089703432789","href":"/preview/10419549089703432789?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/10419549089703432789?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"4441437380593694646":{"videoId":"4441437380593694646","title":"[\u0007[Pldi\u0007]24] Compilation of Modular and General Sparse Workspaces","cleanTitle":"[Pldi24] Compilation of Modular and General Sparse Workspaces","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=bkovjLkg8yI","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/bkovjLkg8yI?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1091,"text":"18:11","a11yText":"Süre 18 dakika 11 saniye","shortText":"18 dk."},"date":"23 tem 2024","modifyTime":1721692800000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/bkovjLkg8yI?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=bkovjLkg8yI","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1091},"parentClipId":"4441437380593694646","href":"/preview/4441437380593694646?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/4441437380593694646?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"810587366740742983":{"videoId":"810587366740742983","title":"[\u0007[PLDI\u0007]'23] CryptOpt: Verified Compilation with Randomized \u0007[Program\u0007] Search for Cryptograph...","cleanTitle":"[PLDI'23] CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=9JWM28-QEXs","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/9JWM28-QEXs?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1149,"text":"19:09","a11yText":"Süre 19 dakika 9 saniye","shortText":"19 dk."},"date":"2 mayıs 2024","modifyTime":1714608000000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/9JWM28-QEXs?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=9JWM28-QEXs","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1149},"parentClipId":"810587366740742983","href":"/preview/810587366740742983?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/810587366740742983?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12434457341515997628":{"videoId":"12434457341515997628","title":"[\u0007[PLDI\u0007]'25] Handling the Selection Monad","cleanTitle":"[PLDI'25] Handling the Selection Monad","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=Ut2AGgw5-7M","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/Ut2AGgw5-7M?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1264,"text":"21:04","a11yText":"Süre 21 dakika 4 saniye","shortText":"21 dk."},"date":"9 tem 2025","modifyTime":1752019200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/Ut2AGgw5-7M?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=Ut2AGgw5-7M","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1264},"parentClipId":"12434457341515997628","href":"/preview/12434457341515997628?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/12434457341515997628?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"9906468952297009732":{"videoId":"9906468952297009732","title":"[\u0007[PLDI\u0007]'25] Orchid - Egraphs (Jun 17th)","cleanTitle":"[PLDI'25] Orchid - Egraphs (Jun 17th)","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=AEbvKbHPRhM","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/AEbvKbHPRhM?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":0,"text":"","a11yText":"","shortText":""},"date":"17 haz 2025","modifyTime":1750115040000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/AEbvKbHPRhM?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=AEbvKbHPRhM","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":0},"parentClipId":"9906468952297009732","href":"/preview/9906468952297009732?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/9906468952297009732?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"3506704383980618165":{"videoId":"3506704383980618165","title":"[\u0007[PLDI\u0007]'25] Tree Borrows","cleanTitle":"[PLDI'25] Tree Borrows","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=CJi_Fcs4bak","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/CJi_Fcs4bak?enablejsapi=1&wmode=opaque\" frameborder=\"0\" scrolling=\"no\" allowfullscreen=\"1\" allow=\"autoplay; fullscreen; accelerometer; gyroscope; picture-in-picture\" aria-label=\"Video\">\u003c/iframe>","playerId":"youtube","providerName":"youtube.com","sourceHost":"www.youtube.com","name":"youtube.com","secondPart":{"type":"CHANNEL","id":"d3d3LnlvdXR1YmUuY29tO1VDd0c5NTEyV203alNTNklxc2h6NERwZw==","name":"ACM SIGPLAN","isVerified":false,"subscribersCount":0,"url":"/video/search?text=ACM+SIGPLAN","origUrl":"http://www.youtube.com/@acmsigplan","a11yText":"ACM SIGPLAN. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1175,"text":"19:35","a11yText":"Süre 19 dakika 35 saniye","shortText":"19 dk."},"views":{"text":"1,2bin","a11yText":"1,2 bin izleme"},"date":"9 tem 2025","modifyTime":1752019200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/CJi_Fcs4bak?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=CJi_Fcs4bak","reqid":"1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL","duration":1175},"parentClipId":"3506704383980618165","href":"/preview/3506704383980618165?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/3506704383980618165?parent-reqid=1769558640625565-9387137608653161373-balancer-l7leveler-kubr-yp-sas-169-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false}}},"viewer":{"_isInitial":false,"clips":{"items":{},"dups":{},"loadingStatus":"None"},"internal":{"videoId":"","sandboxEventPrefix":"sandbox:","sandboxVersion":"0x001cd987dbd","isEmbedded":false,"from":"yavideo","service":"ya-video","hbPeriod":30,"table":"video_tech","isInstreamDisabled":false,"nonce":"3871376086531613737169","errorList":[],"isAdultAdv":false,"isImportantCommonAdv":false,"shouldShowAdvId":false,"advConfig":{"under-player":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"under-player-lite":{"regular":{"default":"R-I-48058-728"},"adult":{"default":"R-I-474674-103"}},"under-player-old":{"regular":{"default":"R-I-48058-725","mail":"R-A-13411721-6"},"adult":{"default":"R-I-474674-114","mail":"R-A-13426421-6"}},"video-list":{"regular":{"default":"R-I-48058-708","mail":"R-A-13411721-2"},"adult":{"default":"R-I-474674-101","mail":"R-A-13426421-2"}},"search-list":{"adult":{"default":"R-I-474674-135","mail":"R-A-13426421-23"},"regular":{"default":"R-I-48058-751","mail":"R-A-13411721-23"}},"search-grid-row":{"regular":{"default":"R-I-48058-718","mail":"R-A-13411721-4"},"adult":{"default":"R-I-474674-109","mail":"R-A-13426421-4"}},"search-grid-head":{"regular":{"default":"R-I-2120168-7"}},"search-list-right":{"regular":{"default":"R-I-8843654-1"}},"before-player-old":{"regular":{"default":"R-I-2120168-1"}},"before-player":{"regular":{"default":"R-I-2120168-1"}},"search-grid-inplace":{"adult":{"default":"R-I-474674-126","mail":"R-A-13426421-16"},"regular":{"default":"R-I-48058-742","mail":"R-A-13411721-16"}}},"shouldValidateSandbox":false,"sandboxInitTimeout":15000,"isSSROnlyMastheadEnabled":true,"query":"PLDI 2019 Video Abstracts","queryUriEscaped":"PLDI%202019%20Video%20Abstracts","filterMode":1,"isUserChild":false,"advInstreamConfig":{"regular":{"default":{"category":"2","impId":"7","partnerId":"2216089","vmapScenarioId":"119"}},"adult":{"default":{"category":"3","impId":"4","partnerId":"1988486","vmapScenarioId":"119"}}}},"playbackQueue":{"currentIndex":0,"items":[]},"related":{"items":[],"pages":[],"loadingStatus":"None","nextPageNum":0,"ncrnd":0},"playlist":{"items":{}},"delayedViews":{"ids":[],"loadingStatus":"None"}}}