{"pages":{"search":{"query":"PLDI 2019 Video Abstracts","originalQuery":"PLDI 2019 Video Abstracts","serpid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"15410426866948108416-0-3","type":"videoSnippet","props":{"videoId":"15410426866948108416"},"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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","ui":"desktop","yuid":"9028934061769608541"}}},"isAdult":false,"position":4,"placement":"empty"},"curPage":0},{"id":"13327471745403852310-0-5","type":"videoSnippet","props":{"videoId":"13327471745403852310"},"curPage":0},{"id":"10554558005538708391-0-6","type":"videoSnippet","props":{"videoId":"10554558005538708391"},"curPage":0},{"id":"9167721179756441707-0-7","type":"videoSnippet","props":{"videoId":"9167721179756441707"},"curPage":0},{"id":"9953490905710409262-0-8","type":"videoSnippet","props":{"videoId":"9953490905710409262"},"curPage":0},{"id":"11748465298197046314-0-9","type":"videoSnippet","props":{"videoId":"11748465298197046314"},"curPage":0},{"id":"10419549089703432789-0-10","type":"videoSnippet","props":{"videoId":"10419549089703432789"},"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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","ui":"desktop","yuid":"9028934061769608541"}}},"isAdult":false,"position":11,"placement":"empty"},"curPage":0},{"id":"7763505178235516984-0-12","type":"videoSnippet","props":{"videoId":"7763505178235516984"},"curPage":0},{"id":"4441437380593694646-0-13","type":"videoSnippet","props":{"videoId":"4441437380593694646"},"curPage":0},{"id":"810587366740742983-0-14","type":"videoSnippet","props":{"videoId":"810587366740742983"},"curPage":0},{"id":"13647265531172271281-0-15","type":"videoSnippet","props":{"videoId":"13647265531172271281"},"curPage":0},{"id":"12434457341515997628-0-16","type":"videoSnippet","props":{"videoId":"12434457341515997628"},"curPage":0},{"id":"3506704383980618165-0-17","type":"videoSnippet","props":{"videoId":"3506704383980618165"},"curPage":0},{"id":"17221520837901198460-0-18","type":"videoSnippet","props":{"videoId":"17221520837901198460"},"curPage":0},{"id":"12154571875825599727-0-19","type":"videoSnippet","props":{"videoId":"12154571875825599727"},"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,"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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","ui":"desktop","yuid":"9028934061769608541"}}},"isAdult":false,"position":0,"placement":"search-list-right"},"curPage":0}],"isAdultQuery":false,"errorList":[],"layout":"list","retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DPLDI%2B2019%2BVideo%2BAbstracts"},"main":{"_isInitial":true,"snippets":[],"serpFooter":{"linksGroups":[]},"isLoggedIn":false,"tags":[]}},"internal":{"nonce":"1286242402127154267314","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":["1466867,0,50;1457620,0,22;1193347,0,74;66285,0,62;1473738,0,20;1471965,0,55;1460955,0,6;1459297,0,90;1456929,0,7;1472031,0,92;1471623,0,14;1461712,0,47;1470250,0,81;1465943,0,58;1470855,0,95;1467160,0,78;1464404,0,80;1146114,0,60;1349038,0,92;132360,0,60;1404022,0,34;1471179,0,22;1475804,0,56;151171,0,10;126330,0,40;1281084,0,27;287509,0,27;86183,0,64;1447467,0,82;1473596,0,5;1467128,0,84;912285,0,34"],"isYandexNet":false,"platform":"desktop","isEnLogo":true,"retpath":"https%3A%2F%2Ftwitter.yandex.com.tr%2Fvideo%2Fsearch%3Ftext%3DPLDI%2B2019%2BVideo%2BAbstracts","mordaUrl":"//yandex.com.tr/","videoSearchUrl":"https://twitter.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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","backUrl":"//ya.ru","url":"https://twitter.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":"y100be43e1423d44ff80e974d1d2df365","reportFeedbackBaseProps":{"initEmail":"","metaFields":{"userAgent":"Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)","userTestids":"1466867,1457620,1193347,66285,1473738,1471965,1460955,1459297,1456929,1472031,1471623,1461712,1470250,1465943,1470855,1467160,1464404,1146114,1349038,132360,1404022,1471179,1475804,151171,126330,1281084,287509,86183,1447467,1473596,1467128,912285","queryText":"PLDI 2019 Video Abstracts","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"9028934061769608541","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":"1769608584","tz":"America/Louisville","to_iso":"2026-01-28T08:56:24-0500","__is_plain":1},"isHermione":false,"shouldStubImages":true,"enableVideoPreviewInHermione":false,"reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1466867,1457620,1193347,66285,1473738,1471965,1460955,1459297,1456929,1472031,1471623,1461712,1470250,1465943,1470855,1467160,1464404,1146114,1349038,132360,1404022,1471179,1475804,151171,126330,1281084,287509,86183,1447467,1473596,1467128,912285","queryText":"PLDI 2019 Video Abstracts","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","userRegionName":"","userRegionId":"id() {\n return this._region.id;\n }","yandexuid":"9028934061769608541","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":"1286242402127154267314","disableDoc2DocHostLink":false,"shouldHideChannelLink":false,"disableChannelLink":false,"userConnectionRtt":159,"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":"9028934061769608541","ugcCsrfToken":"","family":1,"isChild":false},"config":{"skinMode":"system","skin":"light","version":"releases-frontend-video-v1.1757.0__1e42d45c824ef14ef6767326055fb713b0c3a145","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":"twitter.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","out":"3218","popup":"1544","scroll":"768","show":"487","retry":"3545","feedback":"296","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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D5XdemOg75aU","linkTemplate":"/video/preview/95072238439656082?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoTChE5NTA3MjIzODQzOTY1NjA4MloROTUwNzIyMzg0Mzk2NTYwODJqtQ8SATAYACJEGjEACipoaGp6aXJqem15YmllY3ViaGhVQ3NzY2Zhb3NyaXlKTnFNM2FpY3NucGcSAgASKg_CDw8aDz8TP4IEJAGABCsqiwEQARp4gQQH-Pz8BAD-AO8I_wf9AvIACAH7_v4A7QL8BAAAAADq_Q8EBAAAAPoC-_4GAAAA-fwD_wP-AAASCvb3AwAAAAT5BQD-AAAADg39AxH-AQEE_gUJA_8AAAf7Bgv_AAAAAA0B-v3_AAAL-_f_AAAAAA0C8vcAAAAAIAAtEtTfOzgTQAlITlACKoQCEAAa8AF_DOwCzCX3_9wEzwAK_fUBpe7y_zPvzQHf5f0A3vPKAdrb0wD98BP_CAYxANQeEQD72Rb_VQrqAOQg5gAiI_kBIA80AQjtCgH28vUBxiMf_xHyFP4LFQsBEQE2ACv9DP_-6hP_8_b3AA3_2gMP2xX_yfwCAUzpBQHkGP4AEfHq_BsCKQDHC_0DHAD0-uPs-P_yCdn6ExAH-ucCBQoQAvYGJOAI-Q8YAPkG8BoE8B70A_3t7Pn3Hxj-xPL4AwggIPrkzyEGCxjw-ePz9Qj07uUA893z8_nV9Q30GOv3Gxbx-QUBAPwICuT_3_gA_gT-BwYgAC2RNyk7OBNACUhhUAIqcxAAGmAhAgBBBBvgEBJR8tjI4Pge0uUK-ZY0_xYG_94s8BT5HAXJFykAW-sqD6IAAAD_2S9B1wAWd-be4OjyCOPw8TgmIH8HHjCPIBTqEApn6ffi3fvJLx4AC-7WIuUJgV814e8gAC2l9xQ7OBNACUhvUAIqrwYQDBqgBgAAUEEAAEBBAACQQgAA6MEAAPjBAABAQgAAEMEAAETCAAAMwgAAsEEAAHBBAAD4QQAALMIAAATCAAAIQgAA2EEAAEjCAADQwQAAsEEAAHDCAAAwQQAAEMEAAKhBAADoQQAADEIAABhCAADgwQAAMMIAALJCAAAgQgAALEIAAIBAAABwwQAAPEIAABDCAACwQQAAgD8AAGxCAAC4QQAAAMIAAAjCAACowQAAAEEAAFDBAABkwgAAAEIAAPDBAABQwQAAMEIAAGjCAACiwgAATEIAAKjBAAAMQgAAmMEAAILCAAAcwgAANMIAAMhBAACAPwAAIMEAAPDBAABEwgAAhMIAAPjBAADAQQAAiEEAACTCAACIwQAAcEIAABhCAAAsQgAAwEAAAHRCAADgwAAAoMAAAIjBAAC4QQAAIMEAAODAAACYwgAAyEEAAGBBAAAwQgAAoMAAAHxCAACYwgAAKEIAADhCAAAwQQAAyMEAANhBAADgwAAA0MEAAODBAACgQAAAiEEAAL5CAAAoQgAA2MEAAJBBAABAwAAAcEIAAGDCAACIwQAAsMEAAEBCAADgwAAAsMIAAKDBAADowQAAgL8AACjCAAAAwAAAgEIAAJhBAACgwAAAOMIAADjCAACSwgAA6MEAAMDBAACAvwAASMIAAODBAADIwQAAwEEAAIDAAABAwgAA3MIAADDBAABgwQAAQMEAADxCAAD4QQAAAMAAAMBBAADgwQAA4MEAAIrCAADAwQAAsEIAAMBAAAAAQAAA4MAAALDBAACOQgAAWEIAAADBAADgwAAAQMEAAEhCAAAcQgAAoMEAAMBBAADIQQAAyEEAAHjCAABgwQAAgL8AAIjBAACIwQAAJMIAAExCAADgwAAAfMIAAKBBAABQwQAA6EEAAPDBAACWwgAAQEAAACxCAACQQQAA6MEAAKBCAACGwgAADMIAAABBAACUQgAA0MEAAFDCAADoQQAAcMIAAABBAAAYQgAAFMIAALBCAAAwQQAAYMEAAEjCAAC0QgAAUMIAAKBAAACYwQAAYEEAAJLCAACoQQAAFMIAAADCIAA4E0AJSHVQASqPAhAAGoACAAAsvgAABD4AADw-AADIPQAAgr4AAII-AAAQvQAACb8AAKq-AAAwPQAAoj4AAOA8AADiPgAAyD0AAHA9AADoPQAAjj4AAHC9AAB8PgAAIz8AAH8_AADgPAAAyD0AAOA8AAA0PgAA4LwAALi9AACSvgAABL4AACw-AADYPQAA-j4AAJi9AAAQvQAAET8AAMa-AABsvgAAJL4AAGy-AACYvQAAUL0AAFw-AAAFPwAAQLwAAI6-AABwvQAAtr4AAL6-AADYvQAAoDwAADC9AADYPQAAbD4AAEw-AAAUPgAAiD0AADM_AACgPAAAyj4AAEA8AABMPgAAVD4AAIC7AAAMviAAOBNACUh8UAEqjwIQARqAAgAANL4AAFy-AACAuwAAZ78AAAS-AABUPgAArj4AAMg9AAC4vQAA-D0AAJi9AAAUvgAA6D0AABC9AAAUvgAAQLwAAOA8AAAzPwAAED0AAKo-AADYvQAAmL0AABw-AACovQAAQLwAAOi9AAAEvgAAoDwAACw-AADgvAAAMD0AAKC8AACYPQAAor4AACw-AAB0vgAAqD0AAJi9AADovQAAij4AAKI-AACIvQAAQLwAAHC9AABMvgAAcL0AAH-_AAAsPgAAuD0AAEQ-AACaPgAAcL0AAOA8AABEPgAATD4AAJg9AACIvQAA4DwAAIA7AABkvgAAPD4AAIi9AAAUvgAAgLsgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=5XdemOg75aU","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dpgn9nhPPcKA","linkTemplate":"/video/preview/6864434206376635068?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoVChM2ODY0NDM0MjA2Mzc2NjM1MDY4WhM2ODY0NDM0MjA2Mzc2NjM1MDY4aq8NEgEwGAAiRRoxAAoqaGhkd3F3cm9xY2Nsemh5YmhoVUN3Rzk1MTJXbTdqU1M2SXFzaHo0RHBnEgIAEioQwg8PGg8_E9EJggQkAYAEKyqLARABGniB9AwG8wX6AOgECgL4AQEA_QLzB_f9_ADr9-77BQAAAPwC-AMHAAAA8vwE_QcAAADz9fLw_f4AABT-7ggCAAAACQQQDf8AAAAFEw37_gEAAPP2CAMDAAAACP0WBQAAAAABBvwH-P4AAQUCCAoAAAAAE_T9_QABAAAgAC0cj8E7OBNACUhOUAIqcxAAGmAMCQALDSEK-AsA-OcF8RHcFg7-8uf1APzGAAMs7AUKB-bf-QAAEuz6BtIAAAAUC-YNEgD_Nf36-SgA9O3g5-8RA38EFeQJCf7-2vIBAwwC8wUIGhsA_OoVBgnmxjH9CiIgAC3oYYo7OBNACUhvUAIqrwYQDBqgBgAAMMEAAARCAAD4QQAAPMIAANhBAAAAQQAA4EEAAILCAABgQQAAoEEAAMBBAAB4wgAA-MEAADjCAACEQgAAQMIAAIA_AAAUwgAAoMAAACDCAAAQwQAAUMEAAABBAACOQgAAoEEAACTCAACCwgAAvsIAAJBBAAB4QgAAoEEAAGRCAACwwQAAUMEAABzCAABwwQAAkEEAALRCAAA4wgAArkIAANjBAACAwAAAskIAABBBAACAQgAALMIAAKLCAAAoQgAAUEIAALhBAAAwwgAAcEEAAKBBAABAwQAAPEIAABBBAAD6wgAAoEAAADTCAACIQQAAEEIAAEBAAADowQAAosIAACBBAABkwgAA2MEAADTCAADAwAAAwMAAAGxCAAAwQgAAcMEAAEBBAACYwQAAlMIAAAAAAACAwQAAgL8AAODAAAA4wgAAQEEAANDBAABMQgAAAMAAADDBAAAkQgAAbEIAADhCAABYwgAAoEEAACBCAADAwAAAlMIAAATCAABMwgAAMEEAAAAAAABEQgAAUMEAAMjBAAAQQQAAokIAAIzCAACYwQAAMMEAAIC_AACwQQAAJMIAADRCAADYQQAAQEAAABzCAABgwQAAmEEAAJhBAACAwQAARMIAAHDBAAAAQAAAgEAAABjCAABswgAAsMEAACBCAAAAQgAAAEEAAMBAAACIwQAA4MEAACDBAACgwAAAAMIAAEBBAAAowgAAQEAAAABAAADAwAAAfMIAAKjCAADAwAAA8MEAAPBBAABAQAAA0EEAAPDBAABgwgAAAEIAAIZCAAC4wQAAfMIAAFxCAAA4QgAAQEAAAODAAABQwQAAAAAAAFzCAABcwgAAIEIAABTCAACQQQAAmMEAAITCAACgwQAAwEEAADhCAACiQgAA-EEAAIjBAADAwQAAikIAAABAAACgwAAAFMIAAOBAAACQQQAAPMIAAIxCAADYQQAAMEIAAMDBAAAAQgAA-EEAAJ5CAAAEwgAAJMIAANDBAABQwQAAgMAAAADCAACcwgAAhkIAACDBAADwQQAAqEEAAILCAADAwQAAIMEAAPDBIAA4E0AJSHVQASqPAhAAGoACAACovQAAML0AADQ-AAA8PgAAUL0AACw-AABwPQAAVb8AAAO_AABwPQAAmD0AAGy-AAC4PQAAHD4AAKq-AABwvQAAcL0AAPg9AACiPgAAHz8AAH8_AABUPgAA2D0AACy-AABAvAAA6L0AAKA8AACoPQAAgLsAAFQ-AACSPgAAiD0AAJa-AAC4vQAAZL4AALg9AABEPgAAuL0AAMK-AACOvgAAuL0AAIg9AABMPgAADL4AAHy-AACKPgAAHD4AAHS-AAA8PgAAsr4AABw-AACAOwAAFD4AAIY-AADovQAAEL0AAFs_AACAOwAAoDwAAGQ-AACgvAAA2D0AAOg9AACGviAAOBNACUh8UAEqjwIQARqAAgAAoLwAAOg9AAAwvQAALb8AAIi9AADgPAAAiL0AAPg9AAB0vgAAwj4AAFA9AADIvQAAML0AAES-AAAUvgAAML0AAOi9AAAhPwAAmD0AAGQ-AAAkPgAAmD0AAAQ-AAAcvgAAFL4AAKA8AAAkvgAAqD0AAJi9AAAsPgAABD4AALg9AADYvQAAgDsAALi9AAAsvgAAgj4AAI4-AACGvgAAgDsAAGw-AADgvAAA6L0AAKA8AAC4PQAAPD4AAH-_AAAwPQAA2D0AALg9AAAcPgAAiL0AAI4-AAAEPgAAFD4AAFA9AACgvAAAuL0AAIi9AACYvQAAoDwAAAw-AADovQAA2L0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=pgn9nhPPcKA","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D2Btkn9AvM8o","linkTemplate":"/video/preview/8111539039659072339?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoVChM4MTExNTM5MDM5NjU5MDcyMzM5WhM4MTExNTM5MDM5NjU5MDcyMzM5av0GEgEwGAAiRRoxAAoqaGhkd3F3cm9xY2Nsemh5YmhoVUN3Rzk1MTJXbTdqU1M2SXFzaHo0RHBnEgIAEioQwg8PGg8_E6gIggQkAYAEKyqLARABGniB_Qf-Df4CAAP6DQ4GC_oCDwz6Agj_AAD___T7_QX-AO4DBQoFAAAACPv-BwEAAADzA_f6_AAAABYP9gcDAAAACfYABvMBAAACBgP_B_8AAPkH-vn2AQABDwMHEAAAAAD5DvsQ_wAAAP8BAAD5_gAAEfX-_QABAAAgAC2Nj9o7OBNACUhOUAIqcxAAGmD5DgAl6g8H1zI75wf-3gkP4QvzHvAUANn3APMV9t4V9tDd9A4AJMYF_cUAAADsDPA3BgDpUuPs7_wK59n-4uohKH_mKSjtBAjnxQr0BAv8_vopKBQA0fAFKRnq5UYEGQwgAC2CvVc7OBNACUhvUAIqjwIQABqAAgAA5r4AAEC8AABMvgAA7j4AADA9AADYvQAAPD4AAPa-AACOvgAA-D0AABQ-AACAOwAAgLsAAIg9AABQvQAAgDsAACy-AABQPQAADD4AAN4-AAB_PwAAXD4AAEC8AACovQAAyL0AAIg9AAAMvgAAML0AAAy-AABwPQAAhj4AAFA9AADIvQAAgLsAAAw-AAA8PgAAhj4AAKK-AADWvgAAUD0AAI6-AACoPQAAJD4AAJi9AADgPAAAND4AADw-AABsvgAAoLwAAPK-AABAPAAAuL0AAKY-AAA8PgAAMD0AADC9AAAhPwAAML0AAIY-AAAEPgAAoDwAAOC8AACYvQAAuL0gADgTQAlIfFABKo8CEAEagAIAAHC9AABUPgAA2r4AACO_AAA0vgAAUL0AAKC8AABwvQAAVL4AANI-AACIPQAAqL0AACy-AACivgAAuL0AADC9AADovQAAEz8AALi9AACWPgAAPD4AAOg9AACgPAAAML0AAPi9AAAEPgAAgr4AAOg9AAD4vQAAyL0AAOg9AACgvAAAJD4AAOC8AACovQAAHL4AABQ-AAAEPgAANL4AAMi9AACWPgAAUD0AAAS-AAAEvgAAMD0AADQ-AAB_vwAAuL0AAKA8AAAQvQAAFD4AAJi9AAAMPgAABD4AADA9AAAQPQAAmL0AALg9AAAQvQAAQLwAAAS-AABUPgAAEL0AAEA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=2Btkn9AvM8o","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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},"15410426866948108416":{"videoId":"15410426866948108416","docid":"34-10-12-Z1815BB30B2EA4137","description":"Visit our Website https://www.lightspacetime.art Light Space & Time Online Art Gallery is pleased to announce that its 10th Annual “Abstracts” 2019 art exhibition is now posted on their website...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3376024/1e6c415224a3c15d8068e39cf3b47a90/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/XsFdqgAAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"3","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D5ZoPREBLw94","linkTemplate":"/video/preview/15410426866948108416?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Abstracts 2019 Art Exhibition - Part 2 - Phototography Categories","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=5ZoPREBLw94\",\"src\":\"serp\",\"rvb\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxNTQxMDQyNjg2Njk0ODEwODQxNloUMTU0MTA0MjY4NjY5NDgxMDg0MTZqgwkSATAYACJEGjAACiloaGF4aGFzZGJ5a3locmxoaFVDQ3VEazF5VTJIa0RXRm9FQjk5bVNYdxICABEqEMIPDxoPPxPTBIIEJAGABCsqiwEQARp4gfMJBwj_AgD5CA38-wT_AQH89vz4_f0A_wP_-_kF_gDsCgIG-wAAAP33BwX4AAAA9AQOBPcAAQANAP0D-wAAABD69QH1AAAABgH9_v8BAADmBgkEAwABABAO_f3_AAAA9P4EAQEAAAD3AfsE9f0AAAUGAfYAAAAAIAAt2X3WOzgTQAlITlACKoQCEAAa8AF_BfsC7PQMARDwDgClGQYA0O_5AOQC9ADC8woA2gXkAR0DAgHw7yIA-BkCAMnk_f_1CCb-KuwgAN_m_gA5Cv4AvigqAAPhEgIgB9sA_Pz__-kUBf7CB_UAAOAIANfiCf_4_-r8OiEBAvPy9gTg8RD_-OcOBPkM-wTsIA4DFN_9At7X5_4a_wv6Atv_-jUBEwAC4NkAKAUR_dIj__ohFfH59d31-gz2Bwc00vsEFA3nAens_vwJVvcDBfEACfoT3v0Q4gUC3wzq_O4X-v4hFAUEGeoHBCsrCQbI7AT4Gt7_ByX6BQ3Y8wX3NA36AP_pBgMgAC3g4Sk7OBNACUhhUAIqcxAAGmAR9wBY1gECpT5X3dDwviv9shcBDeLS_8HZ_7nv4-wvC-i_FusAGtMVJ6AAAAD3B0cw8gDQfvYKE_HiRCPFge9O_XfREPMGDh891BHyyw8fwivy9f8Az82-JPQPCyXiZQwgAC3s1hA7OBNACUhvUAIqjwIQABqAAgAAvr4AAM6-AAAwPQAAcD0AADw-AADgPAAA9j4AAAu_AAC-vgAAZD4AACQ-AAA8PgAAiD0AAII-AADoPQAAmL0AAI4-AABwPQAAoj4AAFs_AAB_PwAAoDwAAAy-AABwvQAAUL0AAKC8AACgvAAAcL0AAAQ-AABsPgAAgLsAAPI-AACivgAAqD0AAKi9AAAsvgAARD4AAEC8AADovQAAwj4AAJK-AABcPgAAcL0AAFw-AAAwvQAA4DwAAAS-AABAvAAAuD0AABy-AACoPQAAyD0AAMI-AACaPgAAmL0AANg9AABxPwAAoDwAAFQ-AACgPAAAQLwAAAQ-AAD4vQAAcD0gADgTQAlIfFABKo8CEAEagAIAANg9AAAQPQAAhr4AABm_AAAwvQAAcL0AABS-AABQvQAAVL4AAJI-AAAQvQAA6L0AAJg9AACmvgAA4LwAAHC9AADoPQAAKT8AAIA7AADSPgAAQLwAAFQ-AAAsPgAAuL0AAEC8AACovQAAuL0AAEQ-AACAuwAAML0AANg9AADIPQAAiD0AAJi9AACYvQAAPL4AADw-AABkPgAAJL4AADC9AACWPgAAUL0AAN6-AABQvQAAqL0AABQ-AAB_vwAAZL4AALi9AACKPgAA2D0AAIi9AABcvgAAgj4AAEA8AACYPQAAqL0AADQ-AACIvQAAMD0AADC9AACePgAAFD4AAIK-IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=5ZoPREBLw94","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":854,"cheight":480,"cratio":1.77916,"dups":["15410426866948108416"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"2462370763"},"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":"5","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DYhXlZp45HLs","linkTemplate":"/video/preview/13327471745403852310?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxMzMyNzQ3MTc0NTQwMzg1MjMxMFoUMTMzMjc0NzE3NDU0MDM4NTIzMTBqrQ0SATAYACJDGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKg7ADw8aDz8TggQkAYAEKyqLARABGniBBQAUBgf4APLt-woABf4BBxES_PYA_wDi7_T_-_wCAAsQ-_cIAQAA-AUF9ggAAAD7AwQF9P4BAB0G7v4EAAAAEwDw9fwAAAACF_P3_gEAAAQW-fQBAAAADAsE-v8AAAD1-_AQ_wAAAALy9A8AAAAA-vH6-AAAAAAgAC09_r87OBNACUhOUAIqcxAAGmAGHgAPERsN3vgX7P_4AgLxBfzq-_QGABn2AP0C9vUTENvcA_MAGfMJB9oAAAACEgoMBADmKAz48-__Exfy_BEJE3_0BegEEQfzDuz64gILAf8QHhgA9w4o-Q317hYOABQgAC3FjZ47OBNACUhvUAIqrwYQDBqgBgAAOMIAADjCAADoQQAAisIAAABAAAAwQgAAuEEAACDBAAAkwgAAuMEAAABBAACQwQAAVMIAAFDCAAAAAAAAyEEAAABAAABYwgAAjsIAALDBAABAQQAAyEEAAMBAAACaQgAAoMEAAIC_AAA8wgAAwMAAAIhBAACAQQAAyEEAAKpCAABQQQAAQMEAACDCAAAgQQAAgEEAAIBCAAAAwAAAgL8AANjBAAC4wQAABEIAAKBAAABYQgAAQEEAAAhCAAB8QgAANEIAAODAAABAwAAA4MAAADzCAACAwQAAgMEAAMDBAACAPwAAYEEAAPhBAACYQQAAIEIAAMBBAAAYwgAAuMEAAEDBAAD4wQAAAEIAAIC_AACEwgAAwEAAAADAAACcQgAAwMEAAOpCAACgQQAAysIAAOBAAACAQAAA6EEAAMBAAADgQQAAREIAALBBAABUwgAA4MAAAAAAAACEQgAAwEAAABBBAACmwgAAcMIAAAhCAAAEQgAAKMIAALjBAACgQQAAmMIAAORCAABYQgAA4EAAACBCAADwQQAAoEEAADDBAAB8wgAA4MEAAPjBAACcQgAA2EEAAPBBAAA4QgAA4EAAACjCAAAwQQAAsEEAADBBAAAAQAAA0MEAAFBCAACAvwAAuMEAAFDCAABcwgAAgMIAAGBBAAAgwgAAVMIAACxCAAC4QQAADMIAAKjBAAAAQgAAqMEAAPhBAACAwQAA2EEAAFBBAACwwQAALEIAAJLCAABEwgAAQEEAAOBBAACgQQAAAAAAAJhBAACgQQAAVEIAAABAAAC4QQAAFMIAAFDBAACAwQAAGMIAAEhCAABAQAAAIEEAAABBAAAAwQAAQEAAAIBBAAAAQAAAJMIAAIzCAABwwgAASEIAAPRCAACgQQAAyEEAAHBBAADYQQAAAEAAABBBAADwwQAAiEEAAKhBAADgQQAAzsIAAADAAADmQgAAZMIAAEDBAACowQAA4EAAAJ5CAAB0wgAACMIAAJBCAAAQQQAANMIAAILCAAAUwgAA4EAAADDBAACYwgAAlkIAAIA_AACgQAAA4EAAAFDCIAA4E0AJSHVQASqPAhAAGoACAACuPgAAED0AAFQ-AABEPgAAyL0AABy-AADovQAAFb8AALi9AAAMPgAAij4AAKI-AAAkPgAAtj4AAIi9AACevgAAcD0AAKg9AADIPQAA_j4AAH8_AACaPgAAJD4AAJ4-AABwPQAAqD0AAAw-AAC4vQAAFD4AANY-AADgPAAAqD0AAOA8AADaPgAAmL0AAJ4-AABQPQAAir4AAK6-AAA8vgAA6L0AAJI-AADYPQAA-L0AABS-AABwPQAABD4AAFS-AAAUvgAAB78AAL4-AACuPgAAxj4AAIA7AACAuwAADL4AAD8_AABwvQAAUL0AAKA8AAAMPgAA-L0AABQ-AAAMviAAOBNACUh8UAEqjwIQARqAAgAAEL0AAIC7AABwvQAAXb8AAES-AAAUPgAA6D0AAJg9AABcvgAAlj4AAFA9AABUvgAARL4AAES-AACAuwAAQLwAAJg9AABBPwAAoDwAAJ4-AADovQAAJL4AAKA8AACovQAAuL0AAEw-AAAUvgAAcL0AAFQ-AADYPQAAEL0AAFC9AACgPAAA7r4AAIC7AAD4PQAAoLwAAKA8AACovQAAgLsAAFA9AAAQPQAAgDsAAOC8AAAUvgAAZD4AAH-_AABsvgAAuL0AABw-AAD4PQAA2L0AAI4-AABAvAAAED0AAIi9AABAvAAAqD0AAFC9AADYvQAAkj4AACQ-AACoPQAAgDsgADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=YhXlZp45HLs","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"6","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DFLj1iu9qjfc","linkTemplate":"/video/preview/10554558005538708391?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxMDU1NDU1ODAwNTUzODcwODM5MVoUMTA1NTQ1NTgwMDU1Mzg3MDgzOTFqsA0SATAYACJGGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhHCDw8aDz8Tho8CggQkAYAEKyqLARABGniBBQAUBgf4APLt-woABf4BBxES_PYA_wDi7_T_-_wCAAsQ-_cIAQAA8wMH7_4AAAD-A_8S9v0BACr89f0BAAAAEwDw9fwAAADuFvf2_wEAAAQW-fQBAAAADAsE-v8AAAD1-_AQ_wAAAALy9A8AAAAA-vH6-AAAAAAgAC09_r87OBNACUhOUAIqcxAAGmANGgASDx4O2PQg6QH3__vqAQDi-fQPACD0AAb69vUPF9XT_vsAFfMNBdUAAAACFggU_gDbMQf18ukAFxrtBhQNHn_tBOoFEgb4DOz53QIEDvoaFyAA6BMv9wv09BUM_B8gAC0_io47OBNACUhvUAIqrwYQDBqgBgAAOMIAADjCAADoQQAAisIAAABAAAAwQgAAuEEAACDBAAAkwgAAuMEAAABBAACQwQAAVMIAAFDCAAAAAAAAyEEAAABAAABYwgAAjsIAALDBAABAQQAAyEEAAMBAAACaQgAAoMEAAIC_AAA8wgAAwMAAAIhBAACAQQAAyEEAAKpCAABQQQAAQMEAACDCAAAgQQAAgEEAAIBCAAAAwAAAgL8AANjBAAC4wQAABEIAAKBAAABYQgAAQEEAAAhCAAB8QgAANEIAAODAAABAwAAA4MAAADzCAACAwQAAgMEAAMDBAACAPwAAYEEAAPhBAACYQQAAIEIAAMBBAAAYwgAAuMEAAEDBAAD4wQAAAEIAAIC_AACEwgAAwEAAAADAAACcQgAAwMEAAOpCAACgQQAAysIAAOBAAACAQAAA6EEAAMBAAADgQQAAREIAALBBAABUwgAA4MAAAAAAAACEQgAAwEAAABBBAACmwgAAcMIAAAhCAAAEQgAAKMIAALjBAACgQQAAmMIAAORCAABYQgAA4EAAACBCAADwQQAAoEEAADDBAAB8wgAA4MEAAPjBAACcQgAA2EEAAPBBAAA4QgAA4EAAACjCAAAwQQAAsEEAADBBAAAAQAAA0MEAAFBCAACAvwAAuMEAAFDCAABcwgAAgMIAAGBBAAAgwgAAVMIAACxCAAC4QQAADMIAAKjBAAAAQgAAqMEAAPhBAACAwQAA2EEAAFBBAACwwQAALEIAAJLCAABEwgAAQEEAAOBBAACgQQAAAAAAAJhBAACgQQAAVEIAAABAAAC4QQAAFMIAAFDBAACAwQAAGMIAAEhCAABAQAAAIEEAAABBAAAAwQAAQEAAAIBBAAAAQAAAJMIAAIzCAABwwgAASEIAAPRCAACgQQAAyEEAAHBBAADYQQAAAEAAABBBAADwwQAAiEEAAKhBAADgQQAAzsIAAADAAADmQgAAZMIAAEDBAACowQAA4EAAAJ5CAAB0wgAACMIAAJBCAAAQQQAANMIAAILCAAAUwgAA4EAAADDBAACYwgAAlkIAAIA_AACgQAAA4EAAAFDCIAA4E0AJSHVQASqPAhAAGoACAACGPgAAMD0AAFQ-AABkPgAAcL0AANi9AADYvQAAG78AAEC8AACYPQAAij4AAHw-AABMPgAAmj4AADC9AACivgAAED0AAOg9AAAUPgAA6j4AAH8_AACWPgAA2D0AAIo-AAAkPgAAqD0AAAw-AAD4vQAAJD4AAOo-AAAQPQAA2D0AAKi9AACyPgAAmL0AAI4-AABAPAAAhr4AALK-AABEvgAABL4AAGw-AABwPQAAcL0AAOi9AAAwPQAA-D0AACS-AABcvgAA2r4AALY-AAC2PgAAnj4AAOC8AADoPQAA2L0AAC8_AACAuwAA4LwAAAQ-AACePgAALL4AAMg9AAAcviAAOBNACUh8UAEqjwIQARqAAgAAoDwAAKg9AACAOwAAU78AAGy-AAAsPgAA2D0AADw-AABMvgAAmj4AAJg9AAB8vgAADL4AAES-AAAwvQAAgDsAAHA9AABRPwAAgDsAAGQ-AACIvQAAdL4AAIg9AADovQAAmL0AAHQ-AABMvgAAgLsAACQ-AADoPQAAcL0AAJi9AADgvAAAyr4AAEC8AABwPQAAoLwAAHC9AACovQAAUL0AALg9AABAvAAAQDwAABC9AAAMvgAAZD4AAH-_AAA0vgAA2L0AABQ-AADoPQAAgLsAAEw-AABAPAAAcD0AAHC9AAAQvQAA2D0AAEC8AACYvQAAnj4AAKg9AABQPQAAML0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=FLj1iu9qjfc","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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},"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":"7","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DSlvHMsdooAg","linkTemplate":"/video/preview/9167721179756441707?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoVChM5MTY3NzIxMTc5NzU2NDQxNzA3WhM5MTY3NzIxMTc5NzU2NDQxNzA3aq8NEgEwGAAiRRoxAAoqaGhkd3F3cm9xY2Nsemh5YmhoVUN3Rzk1MTJXbTdqU1M2SXFzaHo0RHBnEgIAEioQwg8PGg8_E7AJggQkAYAEKyqLARABGniBBAvzAQAAAPj-_QH5BP8BD_0GAvcAAADd9wL8-foDAAT6D_4GAQAA8_r2C_0AAAD-A_8Q9_4BABUE9AD1AAAADfYIAvsAAAD4CwEF_gEAAOcB_QADAAAAB_sHDP8AAAD4Cf8I_AAAAAQE_AcAAAAAA_AABQABAAAgAC14HNU7OBNACUhOUAIqcxAAGmAKDQAfDA3zyBwC7AAA_A__4wrfCOzrAP3gAO8M8AkH6wK_CQX_Kvf398wAAAAA-wgk_wD2Qw7u-f36EAH2zvcMAX8mGgoOHB7j1wX84hwCBe03HEkA4wIFBRzm6iIZDvggAC1k-XY7OBNACUhvUAIqrwYQDBqgBgAA4MAAANBBAADwQQAA-MEAANBBAAAwQQAAGEIAAFjCAABQQQAAcEEAAOBBAACEwgAANMIAACjCAACWQgAAKMIAAMBAAAAMwgAA4MAAAAzCAAAQQQAAmMEAAEDAAACKQgAAmEEAACTCAACWwgAAsMIAAJhBAACCQgAAwEEAAFBCAAAAwgAAMMEAAEDCAACgwQAAwEEAALRCAAA4wgAAmEIAANDBAACAPwAAskIAAABBAACWQgAAOMIAAKbCAAAsQgAASEIAANhBAAAowgAAIEEAAPhBAACAvwAATEIAACBBAADiwgAAAMAAADDCAAAwQQAAyEEAAFDBAAAQwgAAlsIAAABBAAAowgAAmMEAAPDBAADgwAAAAEAAAGBCAAA4QgAAcMEAAFBBAACgwQAAnsIAAMBAAABwwQAA4MAAAODAAAA4wgAAkEEAANjBAACQQgAAiMEAAMDAAAAUQgAASEIAACBCAABcwgAAHEIAACBCAACAQAAAqMIAALDBAAAwwgAAgEAAAIC_AAA4QgAAYMEAAMDBAACwQQAAtkIAAFTCAADowQAAyMEAAEBAAABwQQAAJMIAAEhCAADAQQAAoEAAAPDBAACYwQAAyEEAAEDAAACgwQAAUMIAAMDBAACAwAAAIEEAAADCAACIwgAA0MEAADRCAAAwQgAAAAAAAIC_AAC4wQAAwMEAAFDBAADAwAAAJMIAAIhBAABQwgAAgEAAAKBAAACAvwAAdMIAAKTCAACwwQAAsMEAAAhCAAAAAAAAoEEAALjBAACIwgAA4EEAAGRCAADIwQAAmsIAAHxCAAAkQgAAAMAAAKDAAABAwQAA4MAAAIbCAABswgAAMEIAACjCAACQQQAAqMEAAGDCAACwwQAAcEEAAEhCAACYQgAA2EEAABDBAAD4wQAAkEIAAKDAAACAQAAACMIAAKDAAACQQQAAAMIAAJBCAADYQQAAIEIAAAzCAADgQQAANEIAAJRCAAAkwgAACMIAAGDBAACYwQAAAMAAAJjBAACQwgAAcEIAAEDBAADwQQAAwEEAAGjCAADQwQAA0MEAAMDBIAA4E0AJSHVQASqPAhAAGoACAACKvgAA4DwAADQ-AAD4PQAAcD0AAOi9AAC4PQAA-r4AADy-AAAMvgAAED0AAEC8AACgPAAAhj4AAFS-AACIvQAAJD4AAEA8AABcPgAAPT8AAH8_AAAQvQAA4LwAAJi9AADoPQAAhj4AAFA9AABwPQAATD4AAGw-AADYPQAAED0AAHS-AACIvQAAJD4AAEy-AACoPQAABL4AAFS-AAAkvgAAQLwAABS-AACWPgAAML0AADS-AAB8PgAAlj4AAFy-AAAQvQAAuD0AAKA8AACYPQAADD4AACQ-AABQPQAAED0AADE_AABEvgAAZD4AAFw-AAAwPQAAqD0AAKC8AAAEviAAOBNACUh8UAEqjwIQARqAAgAAlr4AAKA8AABcvgAAXb8AAOA8AAAUvgAAQDwAAFS-AABcvgAAZD4AAEC8AAD4vQAARL4AAGS-AABwPQAAiL0AABS-AAADPwAAiD0AAGw-AABAvAAAVD4AAMi9AACIPQAAqL0AAKi9AAAsvgAAgDsAAEC8AABwvQAAiD0AAOg9AACIPQAA2L0AAIi9AABEvgAAqj4AACQ-AACOvgAAyL0AAFC9AACIPQAAdL4AAFA9AACoPQAA4LwAAH-_AABAPAAARD4AAFA9AABcPgAAkr4AACQ-AADIPQAAuL0AAJg9AACgPAAAMD0AAIg9AAAwvQAAqD0AACQ-AACovQAAEL0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=SlvHMsdooAg","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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},"9953490905710409262":{"videoId":"9953490905710409262","docid":"34-9-12-Z501B015733187AFD","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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\\/2357263667699\",\"src\":\"serp\",\"rvb\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoVChM5OTUzNDkwOTA1NzEwNDA5MjYyWhM5OTUzNDkwOTA1NzEwNDA5MjYyapsNEgEwGAAiMRoXAAoRaGhsbm9yYWNsaWdyZ3NyaGgSAQAqFsIPDxoPPxOpAoIEJAGQBCvaoOKbvxAqiwEQARp4gfv2Dv7_AQD1BPcOBgb8AegF_gP7__8A5_MP-QP-AQAH-wgB-wEAAPMGCgoBAAAAAv799vP9AQAeCwD98gAAAAIAA_4CAAAA_wjx_f8BAADqAQEA9gIAARj7A_T_AAAA6fn5CAEBAAD9DQD5AAAAAAb1APUAAAAAIAAtKufUOzgTQAlITlACKnMQABpgRAEAAz4K3dAP--Oj6B32-tQgzSXFGv8jyf_36c7fLRP23-8R_wvtC_amAAAA9OIbIyUA4W5L-bTAGO0AIt_6KPt_BywRIhEcIeqw5p86ORbPJfRgAPINAh3Q0SUO7_gtIAAtnh8hOzgTQAlIb1ACKq8GEAwaoAYAADDBAADAQQAAkMEAAABCAACgwAAA0MEAAGDCAABwQQAAPEIAALrCAAAkwgAAKEIAAJRCAACgQQAA4MEAAL5CAAAUQgAAIEEAAPBBAACwwQAAbEIAAKBAAAAcQgAAAMAAAJjBAAAAwgAAoMAAACBCAABAQgAAoMAAAJBBAADAQQAAgsIAACjCAABIwgAAUMIAAOhBAABoQgAALMIAABBCAADoQQAAsMEAABhCAABEwgAA-EEAAMjBAABkQgAAiMEAABBBAABgwQAAIMIAADDCAAAQwgAADEIAABzCAAAwQQAAQMEAAHBBAACgwQAAgD8AAExCAAC-wgAAkEEAAHBBAACAQQAAREIAAKBAAABgQQAAkMEAADDCAACAvwAAyMEAAHBBAADwQQAAoMEAANbCAACkwgAAgEEAAABBAAAAQgAAgEAAANjBAAAQwQAAIEEAAOBBAACwwQAAQMEAANhBAADwQQAAxkIAALTCAAAMwgAAPEIAAEBBAACwQQAAQEEAAATCAACYQgAAQMAAANBBAABswgAAMEEAAODAAABcQgAA-MEAAERCAAAYwgAA-MEAAHTCAADgQQAAEEEAACjCAACIwQAAMMEAAChCAABowgAAMEEAACRCAABAwgAAbMIAAJhCAADoQQAAuEEAAIjBAAC4QQAAiEEAAJLCAACwwQAAEEEAAGBBAACqQgAAkMEAAHTCAACKQgAAVEIAAAhCAABAQAAAJEIAAHDBAADIwgAAUEEAAADCAACYwgAAYMEAADBBAACIQgAAqMEAAFDBAAAgQgAAYMEAAKhCAADQwQAAYEIAAMDAAACwQQAAAEEAACDBAACgwQAABMIAAJhBAACwQQAA-EEAANjBAADAwQAA2MEAAMBAAACGQgAA8MEAAJxCAAAAQgAAwEAAAJhBAADoQQAAUEIAALBBAAAgQgAAQEEAAGjCAACAvwAABEIAAADCAAAAQQAAUMEAAEDBAACAwQAAWEIAAIDBAABIQgAAPMIAAEBBAABQwQAAwsIAAERCAABowgAAgMIAAHBBAACewgAAQMAAAADAAACIQSAAOBNACUh1UAEqjwIQABqAAgAAUL0AAMi9AACKPgAAoLwAABA9AADIPQAARL4AAOq-AACAOwAAUD0AADQ-AACYPQAAqD0AAJg9AACYvQAAuD0AAMg9AAAwPQAA4DwAAFQ-AAB_PwAA6D0AAES-AAAcPgAAQLwAACy-AACIvQAADL4AAPg9AABkPgAAgDsAAOA8AACIvQAAUL0AAAQ-AACgPAAA4DwAAFC9AAAMvgAAmr4AAIA7AACovQAAFL4AAMi9AAD4vQAAXL4AAFw-AABAPAAANL4AAJa-AAAMPgAAiD0AACw-AABwvQAAzr4AAEA8AAD-PgAAUD0AACw-AAAwPQAAyL0AAMg9AAAQPQAALL4gADgTQAlIfFABKo8CEAEagAIAALi9AADoPQAAQDwAADW_AABAPAAA6D0AAJg9AACIvQAAZL4AAP4-AAA0PgAA4LwAAAy-AACAOwAA4LwAAKA8AAC4PQAASz8AADC9AABkPgAA6L0AAAy-AABQPQAAyL0AAPg9AAA0PgAAiL0AADA9AADovQAAVD4AALg9AACovQAAcD0AADA9AADYPQAAQLwAADy-AAAMPgAAcL0AAFS-AADWPgAAqD0AAOi9AACIvQAAFL4AAIK-AAB_vwAA6D0AAHQ-AAAEPgAAuj4AAEA8AACYPQAAQDwAABC9AABAPAAAML0AADQ-AAC4vQAAJL4AAOg9AADYPQAAEL0AADC9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://ok.ru/video/2357263667699","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["9953490905710409262"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"ОК","hasTranslation":false,"contentTypeId":null,"censored":false,"videoContentId":"428656908"},"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":"9","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DrMIUZYbhgmo","linkTemplate":"/video/preview/11748465298197046314?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxMTc0ODQ2NTI5ODE5NzA0NjMxNFoUMTE3NDg0NjUyOTgxOTcwNDYzMTRqrw0SATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8T1xqCBCQBgAQrKosBEAEaeIH1AQL-BfoA7w4R-wcC_wEI_wDu9v__APH6_PsIAf8A6RD48wD_AAAX-w0ACgAAAAD78A74_QAACxL9DQQAAAACBQf89gAAAAIM9gf-AQAA-fAA9wMAAAAD8gD__wAAAAEG_Af4_gABDQEH-AAAAAAZ8_UDAQAAACAALbfJwjs4E0AJSE5QAipzEAAaYP0ZAA8eGeDZAyHU3PDqCfPUBObr5PwACe8A_Rvc0gUO27gME_8z2B77uAAAACne-gz8ANFaJ-XT8hUEBdb73QEGf-cP0wj3Q9TM4Oz6Fujt8vhDLgDrABInIOvLVPghACAALYwQQzs4E0AJSG9QAiqvBhAMGqAGAAAAAAAAAEAAAFDBAAAwwgAAoEIAABhCAABEQgAARMIAACBBAABwwQAAYEEAAEjCAABQwgAA-MEAAL5CAABAwgAAoEAAAIjBAABQwQAAjsIAAADAAABwwQAALMIAAEhCAACAQQAAEMIAALTCAAC2wgAAcEEAABBBAADYQQAAXEIAAFTCAADAwQAAuMEAAEBBAACgQQAA5kIAACTCAACIQgAAJMIAACBCAAB0QgAAiEEAAJBCAACkwgAAgMIAANhBAADwQQAAgEAAAI7CAADAQQAA0EEAAKDBAAAUQgAAAEEAAADDAADAwAAAyMEAAERCAADAQAAAoMEAAEDBAACewgAAiEEAAATCAAAgwQAASMIAAADAAACAPwAAYEIAACRCAADgwQAAoEEAAOjBAAC2wgAAEMEAAHDBAACAwAAAgD8AAPDBAAAMQgAAwMEAAGhCAAAIwgAAQEEAABhCAACeQgAAVEIAAKDBAAAoQgAAQEIAAGDBAACcwgAA6MEAAMjBAABAwQAAoMEAAChCAACgwQAABMIAANhBAACwQgAAGMIAADjCAACAwQAAQMAAAIBAAACAwQAAMEIAAABBAABQwQAAEEEAAPjBAABgQQAAqMEAAFDBAACIwgAAAMEAAJBBAAAAAAAA4MEAAFTCAAA4wgAAPEIAANBBAABQQQAAcEEAABDBAACQwQAAoMEAAIBAAACgwQAAgEEAAILCAACIQQAAEEIAAFBBAABIwgAApMIAAKjBAABAQQAAfEIAABDBAAAQQQAAQEEAAGDCAABAwAAArEIAAEBAAACEwgAAOEIAABRCAACQQQAAUEEAAEBBAAAgwQAALMIAAIzCAAAAQAAAAMEAAIhBAACgwQAA2MEAACDBAAAAwQAAhkIAAEBCAACoQQAAQEEAAJDBAACoQQAAuMEAAOBBAAAAwAAAXMIAAABAAACIwQAAcEIAAFBBAACAQAAA2MEAACBBAAAwQgAAtEIAAOjBAADIwQAAgL8AACBBAAAAAAAAyMEAAHzCAAAwQgAAYMEAALBBAAAYQgAANMIAAGDBAADAwQAAuMEgADgTQAlIdVABKo8CEAAagAIAAKi9AABQPQAAyD0AAO4-AABcvgAALD4AAIo-AAABvwAADL4AALg9AACgPAAAUL0AAPg9AAALPwAAyL0AAGS-AAC4PQAAMD0AAGQ-AAA7PwAAfz8AAFw-AAAQvQAAgLsAAOC8AABMPgAAmL0AAIA7AACAuwAARD4AAJg9AABQvQAATL4AAII-AACovQAAHL4AAJo-AAAsvgAA_r4AAKC8AAA0vgAAmj4AANg9AAC4vQAA4DwAAJg9AABUPgAADL4AAII-AADWvgAAJD4AAPg9AACKPgAApj4AAGQ-AACAOwAAcT8AANi9AABMPgAA0j4AACS-AAAcvgAAMD0AAOC8IAA4E0AJSHxQASqPAhABGoACAABcvgAAQLwAAKA8AABDvwAAQLwAAKI-AABMPgAAFD4AAKK-AAB0PgAAoDwAAHS-AACIvQAAor4AAOi9AABQPQAAPD4AAEc_AADoPQAAXD4AALi9AAC4PQAA6D0AAIA7AACgvAAAEL0AAFS-AACgPAAAcL0AACS-AACIPQAAcD0AAEC8AABEvgAA6D0AAIa-AAAUPgAAMD0AAJK-AABAPAAAiD0AABC9AADIvQAALL4AADA9AABwPQAAf78AAOC8AACIPQAAJD4AAPI-AACYvQAADD4AAJg9AADYPQAAEL0AAEC8AAA8PgAAgLsAABC9AAA0PgAAMD0AAIi9AABAPCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=rMIUZYbhgmo","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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},"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":"10","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DspQ2b1cjHNg","linkTemplate":"/video/preview/10419549089703432789?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxMDQxOTU0OTA4OTcwMzQzMjc4OVoUMTA0MTk1NDkwODk3MDM0MzI3ODlqtQ8SATAYACJEGjEACipoaHp4anB2bG54dnpqdW9kaGhVQ0s2czAyVTZlVjdzZFJaT3haX0RCMkESAgASKg_CDw8aDz8TMIIEJAGABCsqiwEQARp4gQH9-gUAAAAD9fsJBwn8AgwA-_r2AAAA3PT39gf5AwAGAAcHCwEAAAL9APgCAAAA9AP--wQAAAAI_PX9-AAAAA4B9A_9AAAABwAO9v8BAAD2BAL4AgAAAA7-_vj_AAAA8wT3A_r__wH7-ez7AAAAAAjy-QIAAAAAIAAtLGDVOzgTQAlITlACKoQCEAAa8AFo4x8AyA37_6_9AAARHtECgQAC__4N5AAgD_oB7BLtAbgUBgE86N7-I_8QAPEK4QD5Dxv_YgEAAAoL6v8S8P8A_Q_8ARkCAgP50_kB_w0A_jMl7v_mA_L-ExEaAPvg0_76CPYBFS_pAdAK9gEEuuwD7xoPAx8EDQgYFgICA8QB__QeBAUAG_T98efx-yXUCgQE__z7ExEI-u4R4P3w6wD97BLv9y_ODQQI0BT30QfwC-ry7_cW4hYC6-IHCOjoGP3tAAUHMzb2-CUr9wUIDAMEB-7z8zPwFgYQ7vMB5_L2BOf5AQgJN_v_BfoU_eYM9REgAC2_TyQ7OBNACUhhUAIqcxAAGmAZAAAd1gbz_d4h6gcQBDPr6twc3tIC_ynSAOsD5_T84t6u4ED_JvkACbMAAADy_hUr1wDkZAncAAbc8Piu3OwB5F0A7MD5_RIX8gg-4AT5vwPaDg8A1PTvDOz-7H_eGAkgAC1ayT47OBNACUhvUAIqrwYQDBqgBgAANEIAAEBBAAA0QgAA6MEAAODAAACQQQAAAMAAAJbCAAD4wQAA4EAAAKDAAADowQAAmMEAAIDCAAAwQQAAlsIAAADBAABQwQAAIMEAAADCAAA8wgAAHMIAADzCAAAUQgAAqEEAAGBBAABgwgAA0EEAACBCAAAAQgAAAMEAAMBAAACKwgAAgL8AABjCAABwQQAA2EEAAP5CAABgwgAANEIAAFxCAADIwQAAVEIAAFBBAABAwAAACEIAAIDBAADAQQAAOEIAALhBAABwQQAAQMEAAIDAAADowQAAAEAAAPhBAADAwgAA4EAAALDBAACIQQAAZEIAAMjBAAAgQQAAEMIAAODAAACAwQAAAEAAANDBAACCwgAAmMEAAChCAADQQQAAJMIAAKhBAADAwQAAaMIAAPDBAABkwgAAVEIAAIBBAAD4wQAA6EEAACxCAABAQgAAiMEAACRCAAAQQQAA2MEAADhCAAAkQgAAsMEAAHxCAADYwQAAtsIAAGDCAABMwgAAEMEAAHhCAAB0QgAAQMAAAKDAAACcQgAAAMAAAOjCAADYwQAA6MEAAMDBAAB8QgAAAMEAAIDBAAAEQgAAYEIAAEDBAADwwQAAVEIAAChCAABQwQAAkMIAACBBAACkwgAACMIAAGDCAABgwQAA-MEAAPBBAACSQgAA6MEAAFzCAACgwQAAwEEAAHBBAAAcwgAAwMEAAMhBAADgQAAAQEEAAKBBAACAwAAAqMEAADDCAABwQQAAoEIAAJDCAACAvwAAmEEAACBCAAAAwAAA4EAAAFDBAACQQQAAqEEAAIA_AAAsQgAAoMAAAMDBAAAQQgAAuMEAALzCAAAAwgAAaEIAAIDBAAAAQQAAmMEAACBCAADQwQAALEIAAPhBAAAgQgAAhEIAALhBAACYwgAAoEAAAJzCAAAAQQAATMIAALhBAACuwgAAksIAAARCAACEQgAAgL8AAGTCAADgQQAA2MEAAGBCAADwwQAAUMIAAABBAABgwQAA4MAAALjBAABkwgAAwEEAABDBAABQQQAAqEEAABzCAABwwQAAMMIAABhCIAA4E0AJSHVQASqPAhAAGoACAACIvQAAFD4AAGw-AAB8PgAA6L0AAKC8AACSPgAABb8AAMi9AABAvAAAQLwAAHA9AADYPQAARD4AAFw-AAAcvgAAMD0AAAw-AAAMPgAABz8AAH8_AAA0PgAAoLwAAAw-AABQPQAARD4AABS-AABwvQAAXD4AAOg9AACovQAALD4AAPi9AABsPgAAMD0AAKi9AAAkPgAAVL4AAJa-AABcvgAAML0AAEC8AAAkvgAAoDwAAII-AAA0vgAA-L0AAIC7AAAwvQAABL4AAKo-AABUPgAATD4AAHw-AAC4vQAAqD0AAF8_AAAQvQAARD4AALg9AABwPQAA-L0AAOA8AAA8viAAOBNACUh8UAEqjwIQARqAAgAAQDwAAIi9AAC4vQAAB78AAKI-AAC4PQAAED0AAJi9AACKvgAAoj4AAKC8AABMPgAAED0AAI6-AAAQPQAAML0AAMi9AAA1PwAAiD0AANY-AABQvQAAmD0AACw-AACgvAAAuL0AADy-AAAQvQAAoDwAAJg9AADgPAAAmD0AAIC7AAAwvQAAcL0AAIA7AABQvQAAcL0AAOi9AAA0vgAAbD4AAKg9AACAuwAA-L0AAIA7AACYvQAAmD0AAH-_AAA0vgAALD4AAFA9AADIvQAAUL0AAKA8AACIPQAA-D0AAHA9AAAwvQAAlr4AAAy-AABwPQAAZL4AAFw-AACYPQAAPL4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=spQ2b1cjHNg","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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"},"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":"12","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3Dfd59n74kOso","linkTemplate":"/video/preview/7763505178235516984?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoVChM3NzYzNTA1MTc4MjM1NTE2OTg0WhM3NzYzNTA1MTc4MjM1NTE2OTg0arANEgEwGAAiRhoxAAoqaGhkd3F3cm9xY2Nsemh5YmhoVUN3Rzk1MTJXbTdqU1M2SXFzaHo0RHBnEgIAEioRwg8PGg8_E9uNAoIEJAGABCsqiwEQARp4gQEMCvcD_QD29BAI-gf9AgIPBvP3__8A_fHz-P4F_gABDPoABgEAAAEDB_z_AAAADwj4BvoAAAET_-4IAgAAACD98vr8AAAA7xX49v8BAAAUAwjxAQAAAAAJ9u3_AAAABfX6BQIAAAEC9gETAAAAAPLp9wYAAAAAIAAtd_nJOzgTQAlITlACKnMQABpgCx0AHhUNE-H3EeX29w4A9f_y8wHx-QAg2QAHBfPqAgjdyCX7AB34CxXSAAAAEwb9CAwA4jIc7_T1-hgS_goJDBF_7QnfAgMn9xLq6tQIEPb-_ygkAPASIQYC69gWBvwCIAAt3sqJOzgTQAlIb1ACKq8GEAwaoAYAADjCAAA4wgAA6EEAAIrCAAAAQAAAMEIAALhBAAAgwQAAJMIAALjBAAAAQQAAkMEAAFTCAABQwgAAAAAAAMhBAAAAQAAAWMIAAI7CAACwwQAAQEEAAMhBAADAQAAAmkIAAKDBAACAvwAAPMIAAMDAAACIQQAAgEEAAMhBAACqQgAAUEEAAEDBAAAgwgAAIEEAAIBBAACAQgAAAMAAAIC_AADYwQAAuMEAAARCAACgQAAAWEIAAEBBAAAIQgAAfEIAADRCAADgwAAAQMAAAODAAAA8wgAAgMEAAIDBAADAwQAAgD8AAGBBAAD4QQAAmEEAACBCAADAQQAAGMIAALjBAABAwQAA-MEAAABCAACAvwAAhMIAAMBAAAAAwAAAnEIAAMDBAADqQgAAoEEAAMrCAADgQAAAgEAAAOhBAADAQAAA4EEAAERCAACwQQAAVMIAAODAAAAAAAAAhEIAAMBAAAAQQQAApsIAAHDCAAAIQgAABEIAACjCAAC4wQAAoEEAAJjCAADkQgAAWEIAAOBAAAAgQgAA8EEAAKBBAAAwwQAAfMIAAODBAAD4wQAAnEIAANhBAADwQQAAOEIAAOBAAAAowgAAMEEAALBBAAAwQQAAAEAAANDBAABQQgAAgL8AALjBAABQwgAAXMIAAIDCAABgQQAAIMIAAFTCAAAsQgAAuEEAAAzCAACowQAAAEIAAKjBAAD4QQAAgMEAANhBAABQQQAAsMEAACxCAACSwgAARMIAAEBBAADgQQAAoEEAAAAAAACYQQAAoEEAAFRCAAAAQAAAuEEAABTCAABQwQAAgMEAABjCAABIQgAAQEAAACBBAAAAQQAAAMEAAEBAAACAQQAAAEAAACTCAACMwgAAcMIAAEhCAAD0QgAAoEEAAMhBAABwQQAA2EEAAABAAAAQQQAA8MEAAIhBAACoQQAA4EEAAM7CAAAAwAAA5kIAAGTCAABAwQAAqMEAAOBAAACeQgAAdMIAAAjCAACQQgAAEEEAADTCAACCwgAAFMIAAOBAAAAwwQAAmMIAAJZCAACAPwAAoEAAAOBAAABQwiAAOBNACUh1UAEqjwIQABqAAgAAxj4AADQ-AAAcPgAAXD4AAHC9AABQPQAANL4AABG_AABMvgAATD4AABQ-AAAUPgAAyD0AAI4-AAAQvQAAjr4AADA9AADYPQAA-D0AAA8_AAB_PwAA4DwAADC9AACYPQAAgLsAAJg9AABQvQAAML0AAIg9AACmPgAAoLwAAAQ-AAAsvgAA3j4AABA9AADIPQAAoLwAABy-AAC2vgAALL4AAKC8AACCPgAAcD0AAKC8AABEvgAAmD0AAAy-AADoPQAA4LwAAGy-AADoPQAAjj4AAKY-AABcPgAA2L0AAIA7AAAlPwAAyL0AAEA8AACSPgAAND4AAOi9AAAcPgAAiD0gADgTQAlIfFABKo8CEAEagAIAABS-AACgvAAAML0AAEu_AAAwvQAAhj4AABQ-AACYPQAAZL4AAIo-AADIPQAADL4AAAS-AAB0vgAAqL0AAIg9AABwPQAAXz8AAIi9AABsPgAAHL4AAEy-AACYPQAAcL0AAMi9AABMPgAAbL4AAOC8AACoPQAA4LwAAOA8AAAQvQAAUD0AAI6-AAAcPgAAgDsAAIi9AACAuwAA-L0AABC9AAA0PgAAuL0AAIC7AAA0vgAATL4AABw-AAB_vwAAbL4AAJi9AABAPAAAmj4AAKi9AACmPgAAoLwAAHA9AACYvQAA4LwAANg9AACgvAAAcL0AAEw-AACAuwAA2L0AALg9IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=fd59n74kOso","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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},"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":"13","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DbkovjLkg8yI","linkTemplate":"/video/preview/4441437380593694646?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoVChM0NDQxNDM3MzgwNTkzNjk0NjQ2WhM0NDQxNDM3MzgwNTkzNjk0NjQ2aq8NEgEwGAAiRRoxAAoqaGhkd3F3cm9xY2Nsemh5YmhoVUN3Rzk1MTJXbTdqU1M2SXFzaHo0RHBnEgIAEioQwg8PGg8_E8MIggQkAYAEKyqLARABGniBBvv6_gAAAOkD_Pz7_wIAAAP_-Pj-_gDkAPEJAP0BAAUEAQr7AQAABAb3AQIAAAAABAr_-_4BABsC-_UDAAAACfcE-f4AAAACFfT4_wEAAOUJ-PkCAAAAB_4UBAAAAAD5AfoK_wAAAAP88AYAAAAACewL-QAAAAAgAC2W3dQ7OBNACUhOUAIqcxAAGmAVEAA2DSD12wcb5fTn_Bj7-STz-9X_AP7qAPEiBOQVK_bD7AEAHdUN78MAAAAj6u_58QD6UgvI4tgBMg_v5Q4fCX_PH_YXESjx6h7X8QnlDt8O9x8A6PLuDhMN3k_fQA4gAC3LEFY7OBNACUhvUAIqrwYQDBqgBgAA8MEAAEDBAAAAQQAAWMIAAExCAADAQAAATEIAABzCAADAQAAA2EEAAKhBAACywgAAAMIAALjBAACYQgAAlsIAADDBAADAwAAAiEEAAGTCAACowQAAAMEAAIDAAABIQgAAMMEAABzCAABswgAA2MIAAIA_AAAIQgAAkEEAAGxCAAAEwgAAuMEAADDCAABQwQAAQMAAAMJCAAAUwgAAmEIAAJjBAABEQgAAqkIAAOBAAAAwQgAAoMIAAFzCAAAkQgAA4EEAAIC_AAAYwgAAwEAAAEBBAACIwQAAEEIAABDBAAD0wgAAUEEAAODBAAA8QgAADEIAAIjBAACgwQAAssIAAJhBAABwwgAAmMEAAKDCAACAvwAAwMEAAIZCAAAgQgAA-MEAAPBBAAAEwgAAxsIAAEBAAABQwQAAAMAAAOBAAABMwgAAEEIAAKDBAAAIQgAAgEAAAOBAAABIQgAApEIAAEhCAACKwgAAgEEAAHhCAABgwQAATMIAACTCAABIwgAAEEEAAJDBAACEQgAAiMEAAADBAADIQQAAmkIAAEjCAADAwQAAwMAAAADBAABwQQAAUMEAAIJCAAAIQgAAQEAAAKjBAACYwQAAMEEAABBBAABgwQAAAMIAALjBAABwQQAAYEEAAAjCAABcwgAAGMIAABRCAAC4QQAAAEEAALBBAACAvwAA4MAAAIDBAAC4QQAA2MEAAIhBAAAowgAAoEAAAABBAADAQAAANMIAAK7CAADgQAAAgMEAADhCAACowQAAuEEAAIjBAABEwgAAqEEAABRCAABAQAAAaMIAAFRCAADYQQAAwEAAADBBAAAAwAAAMMEAABTCAABowgAAAEIAAFDCAACgQQAA0MEAAFjCAAAQwgAAcEEAAFxCAACoQgAAoEEAAMDAAABAQQAAIEIAAJDBAAAAQAAAyMEAAEDBAADgwAAA-MEAAHBCAABQQQAAAEEAAJjBAACoQQAAgEIAAGxCAAAMwgAABMIAABDCAAAAQQAAsMEAAIzCAACAwgAAVEIAAKjBAADoQQAASEIAADTCAABAwQAAYMEAAEjCIAA4E0AJSHVQASqPAhAAGoACAABQvQAAED0AAOA8AABAvAAA0r4AAGw-AABwPQAAF78AAPi9AAD4PQAAuL0AACS-AAAwvQAALD4AAHA9AACOvgAAoDwAAHA9AAAHPwAAJT8AADE_AAA0PgAAND4AAIC7AACovQAA6L0AACS-AABAPAAAML0AAFw-AAAEPgAArr4AADQ-AAD4vQAAQDwAAOC8AAB0PgAAgLsAAHS-AADIvQAA4DwAAKi9AAA0PgAAXL4AAFA9AABUPgAAqD0AAHy-AAAsPgAAJL4AADQ-AAD4vQAAJD4AAHA9AAAMvgAA2D0AAH8_AAC6vgAAJD4AABC9AADIvQAA2L0AAAQ-AADovSAAOBNACUh8UAEqjwIQARqAAgAAML0AAFQ-AACIvQAAJb8AABC9AACSvgAAQLwAAOi9AADovQAApj4AABQ-AAAUvgAAFL4AAPa-AAA0vgAAQLwAAEA8AAAPPwAAQDwAAAw-AACovQAAgj4AAHC9AADgvAAAHL4AAKA8AAAUvgAAqD0AADA9AAAUvgAA2D0AAGQ-AAA0vgAAQDwAAFS-AADgPAAAyj4AAFw-AACevgAA6L0AAOg9AAAwPQAAB78AAEA8AACgPAAAXD4AAH-_AADIvQAAUD0AAEA8AAAkPgAANL4AABw-AAAQPQAAgLsAADA9AACAuwAAcD0AAHy-AAAQvQAAXL4AAMi9AAC4vQAAED0gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=bkovjLkg8yI","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"14","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D9JWM28-QEXs","linkTemplate":"/video/preview/810587366740742983?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoUChI4MTA1ODczNjY3NDA3NDI5ODNaEjgxMDU4NzM2Njc0MDc0Mjk4M2qvDRIBMBgAIkUaMQAKKmhoZHdxd3JvcWNjbHpoeWJoaFVDd0c5NTEyV203alNTNklxc2h6NERwZxICABIqEMIPDxoPPxP9CIIEJAGABCsqiwEQARp4gQEMCvcD_QD-CggBBQb9ARX9_AD1AQEA6PX0CQj_AQD8AgsACgEAABL2AQn8AAAA_v79__f-AAAFFfnxBAAAABfv9vb9AAAAAQkGBP4BAAD1_gQFAwAAABUEFAIAAAAA7wUF_P7_AAD49vsBAAAAAPry-_gAAAAAIAAtd_nJOzgTQAlITlACKnMQABpgDxQAFyD32MvuINLL9L0aKN7JA__cCP8O1v_QRd7mLdkAjRgC_0S7FvWhAAAA_gHeEfkA6X_82KYdDv8Tt-f9WhN97xkHw_j2uOXktLUI6773AAnxAOb2DSEk4clhHELrIAAtJbUXOzgTQAlIb1ACKq8GEAwaoAYAAIDBAABUQgAABEIAAIC_AAAUQgAA4MAAALhBAAA8wgAA6MEAAGBBAABIQgAA4MEAACDBAACUwgAAIEIAAEBBAABAQAAAdMIAAAAAAABIwgAAoEAAAEBAAAAAQAAALEIAAABBAAA8wgAA0MIAAKLCAABYQgAA4EEAAPhBAABgQgAACMIAANjBAAAAAAAAuMEAAHBBAABsQgAAqMEAAKpCAAAgwgAAAMIAABBCAACYwQAAlEIAAEjCAACgwgAAUEEAAJRCAABAwAAAVMIAAOBAAACYwQAAkMEAAFBCAAAAQAAA1MIAAMjBAABQwQAAAEEAAFhCAAAQQQAATMIAAIjCAAAQQgAAnsIAAHDBAADYwQAA8MEAAMjBAAAgQgAATEIAALBBAABAwAAAEEEAAEzCAACIQQAAkMEAAKBBAAAAAAAAGMIAAEBCAAAMwgAAcEEAAMjBAABAwQAAwEEAAMhBAABEQgAAIMIAAADAAABAwQAAgMEAALjCAAAAAAAAcMIAAMDAAAAYQgAAHEIAAPDBAAAwwgAAmEEAAGRCAACawgAADMIAAADCAACIQQAAQEIAACjCAAAcQgAAMMEAAPhBAABgwgAADMIAALhBAACMQgAAAMIAAATCAABAQAAAoMAAAEDBAACKwgAAtMIAAHDBAABIQgAACEIAAEBAAAAAwQAAyMEAACDCAAAQwgAAsMEAABzCAABQQQAAoMEAAKBAAABgQgAAwMAAAAzCAACKwgAAAMEAABDBAAAsQgAAgEEAADBCAAA8wgAASMIAAFhCAABYQgAA4MEAADDCAAA4QgAAIEIAAFDBAAAAQgAA8MEAABzCAABQwgAA4MAAAIBBAAAgwQAAmEEAAIDBAACmwgAAPMIAADxCAAAkQgAAkkIAADhCAADgwAAAZMIAAKZCAAAgwgAAMMEAAIDBAAAcQgAAwEEAAGTCAAAIQgAAUEEAAABCAABgwQAAgEEAAOBAAABoQgAA2MEAACzCAADYQQAA0MEAAEDBAABQwQAAWMIAADRCAAAQwQAAgEEAAFDBAACOwgAAVMIAAJDBAACIwSAAOBNACUh1UAEqjwIQABqAAgAA6D0AACS-AABMPgAA2D0AAHS-AACuPgAARD4AAOK-AACWvgAA2L0AALg9AADYPQAAnj4AAJg9AADCvgAA6D0AAII-AACAuwAA2D0AAPI-AAB_PwAAED0AAAw-AADYPQAAgDsAAGw-AAAsvgAAgDsAAAy-AACYPQAARD4AAHA9AABUvgAAqL0AAIo-AABAPAAAHD4AAIa-AADOvgAAiL0AAOi9AACovQAAfD4AAOg9AACovQAAND4AAIg9AACOvgAAQLwAADy-AABwPQAAqL0AAFQ-AABkPgAAmL0AAEC8AAAJPwAA6D0AADA9AACAuwAA4LwAAAS-AABAvAAA-L0gADgTQAlIfFABKo8CEAEagAIAAPi9AACovQAA-L0AAGO_AACIvQAAMD0AAKC8AAC4vQAAqr4AAJY-AACIPQAAuL0AACy-AABkvgAAUD0AAJi9AABQvQAAJz8AADA9AADSPgAAmL0AABA9AABAPAAA-L0AAEA8AAAkvgAAVL4AAOA8AACYvQAAEL0AAMg9AACIPQAA-D0AAJi9AABcPgAARL4AAKA8AAA0PgAAXL4AANg9AAAEPgAAQDwAALa-AABwvQAARL4AALi9AAB_vwAAoDwAAAw-AABAPAAAFD4AAFS-AACYPQAAXD4AAJi9AAAQPQAAQLwAACw-AABwvQAAJL4AAOC8AAB0PgAA-D0AAOA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=9JWM28-QEXs","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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},"13647265531172271281":{"videoId":"13647265531172271281","docid":"34-11-11-Z1BB971022A886F60","description":"The full version of the talk for our PLDI 2021 paper \"High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations\". It was recognized with a PLDI 2021...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3215917/a0dd7c332db8ed47bce34d4d8e81b1de/564x318_1","videoSrc":"https://video-preview.s3.yandex.net/gwCczAEAAAA.mp4","videoType":"video/mp4"},"target":"_self","position":"15","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DE9Ie62rkMAY","linkTemplate":"/video/preview/13647265531172271281?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"Full talk for our PLDI 2021 paper- High performance Correctly Rounded Math Libraries","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=E9Ie62rkMAY\",\"src\":\"serp\",\"rvb\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxMzY0NzI2NTUzMTE3MjI3MTI4MVoUMTM2NDcyNjU1MzExNzIyNzEyODFqiBcSATAYACJFGjEACipoaHFtcnZ5b3l0aGp5c2hjaGhVQ09FTFV4RW4zOElVR2FHVGtoLWFvTHcSAgASKhDCDw8aDz8TuwiCBCQBgAQrKosBEAEaeIHx-vwHCPcA-OsKCgcI-wIWAgX49AICAOT4AxEF_gEAIQEVAAL-_wDwAe_0_QAAAPAYBv78AAAA__vzBQMAAAAaE_wQ-wAAAAcFAQP1-v0D8_YIAwMAAAAKBRH8_wAAAAn9Avv4_v8BBAYVBwAAAAD89wf1AAAAACAALQQPvDs4E0AJSE5QAiqEAhAAGvABcgsqA9MH5wAF9-UA_hz3AYEFC_8NEN4Ay_UIAL8O2P8AC-gA1vv0_xUGGgHMEwYALQP2_xrrDf8W-RUAEgoaAOwhHgEp7g8ARAUWABTuAP72GQcADuYVAOPeBQDxD9j__Q0I_uHr2gD5EvMEC_8uAQEH9QEe5_P76Q4GAf8MHwD5_OcACwMEAAPn8QXGFgUB_f3rBRYkEQDn9vT9CQID_gP28gEc9vUAFw3vBAEBCfrsDgP7BPjz_AECCQzz6ewB6wj-9w7_AAAF9wH6EeQLBwoIEv4EDwj5Awr2Av_vBvbj_xEE6vYCAu0MBRAD5AIRIAAtbidIOzgTQAlIYVACKs8HEAAawAeHFuG-uD7sPDlCJr2cAYm849SYvDjtbr1NOJq90KRiu0jBE72xbvw9t0-9PdwE6by9jpC-fOdcvdimKTsYdxM-1YqAvP6Nh7vv5U6-EKhDPRiswLtPeJG-ZxVMPanmi7qxpLw98PTvvBiNRjxyHmk9O2pxvby0PL3D-ES8TIlEPS1ZWr1PCHw7ctJFvd-KRLyVfw0-oqRWvbFVXTwvUf09sQVgup-rrbyY7ZK72Ig7vPB2c7xDEXy9qEcEvZlq_7v-bpA9x-xyO6FzDT1H4oo8-CenvC1D2jvAiTK8vQiJPMFwDbyVUoY9IzHBPLtlYrx4Z4o704gZvQX52bzGKm-8t50xPcfj2DzdYDg-KaZcPeMbPjp4dJi9hTMpPSPb-bxa1wk8MWCJvO6ayjvLx2Q9Q5eLvN6ynjv-h489j8sTPa6J4Dy4P9c8HvKBuyqRRDyfTag9_G8lPbnUkrzxSJs60a5CPImSNbwqWYm9JXQ4u6a1zLoTCwE9UCprvbV33zsWvIk7qa4yvO5YcLtgZ4Q9-RG_vT1rEjzyBwe7J2n-vAnc37wYsCQ9MR3fPFWFyDsLRqU8LhdWvdyIo7pp5ua7WF2ivCNTmTtB2Ak9QliiveQ_IrpH-e68nnnZPQ1h_7lPJ4Q9xu4KPALLW7xxc427LmA4PUGvBzxmhFe9NpIEvSwQ-zuJZlk9AfGUPdF-vLioktw8O8C4PUXGKrrjxQI-2Z0JPbDlxbkqWSm8m1RUvW8d0jtW0_U8uWCaPfMOK7niW5g9uiSYvB2fezk7dcA8-9hTvW4uxTidoA09cJBVPSXAiLmyTJ-9W0yCvfU3SblEb8y87GeWvZvM6jhCQ9o8RtmRPGk3-jnjx1M9qGU1vcuvabn-1zm9aLIevKvJYbgpuiS9DeU_PVmx2bgWjbA9m5KHvJ58mTiyo8w8pGw2PI9W7DfZ5HU9J2DFvGL2Obi_IDO8rBvPPUkMNDU7ViQ9CZGIO2h5hLYUBA89EF0APo3DcbhGGia9ftcRPVAAI7e5SGu8AYMpPZ5X0riRxCG9iwysvcgmfDjRRBM9zYotPclnNLjCS7W9jU0CPA26TzZZeiO9VWiwvQzoMbjEzw8-PGrpu57LlTY47IS6Ee7EvCsHXjed2e49n5WTuqNqDrmF3ky9VKiOverKw7h1Ajo9SfcOPQLlKDcyyZi9Mj6cvYaLxbe9rwU9pUkJvq2ehbhkXpI9tGtsPSF47jg_-ku8qhkoPR74w7hSCaS9H_hTPQlDMDhwma68cPrpvA9nuDcgADgTQAlIbVABKnMQABpgFwEABAlG8dQSJNza4tUQ1PwavBX6GP8n0__l8_IBCBcBnREm_w3UHOypAAAA_h_jCvUAwm0Z1Nr-uxD_ueoMAP1_A0EQnPMV_dn6M9oQHDbnCCc_AN_vywtZHvMyJyIHIAAteQMoOzgTQAlIb1ACKq8GEAwaoAYAAMBAAADIQQAAiEEAAABAAAAwQQAAmkIAAIBCAACgQAAAYMEAANjBAAA4QgAAwMAAAGzCAAAQwgAAUMEAAODAAAA0wgAAgEAAAChCAACwQQAAQMEAAIjBAAAEwgAAPMIAANDBAADgQQAABMIAABDBAAAEQgAAgEEAACDBAACIQgAAksIAADBBAACgwgAAFEIAAAhCAACKQgAAOMIAAKBAAABAQQAAAEEAALBBAACIwQAAAEIAAAAAAABUwgAAmMEAAADCAAAIwgAAJMIAABTCAAAkwgAALMIAAFRCAAAsQgAAvsIAAPjBAACIQQAAmEEAANBBAADKwgAAwMEAANjBAADAQAAAzMIAABzCAABMwgAAsMEAALzCAACgwQAAQMEAAJjCAACgQQAAbMIAAIhBAACIQQAAcEEAAPBBAAD4QQAArsIAAJxCAAAgwgAADEIAAKRCAAAAAAAAHEIAAADBAACgwQAAKMIAAADCAAAgwQAAqMEAADhCAABcQgAAYMIAAABAAABYwgAAVEIAAAxCAAC6wgAAAMEAACBBAAAoQgAAWMIAAIJCAACAQQAA8EEAALBBAAA0QgAApEIAAAAAAAB4wgAAwEEAAPhBAACgQAAAGEIAAMjBAAAUwgAAUEEAACBCAACgQAAA4MEAABDBAABgwgAAqEEAAFxCAABAQQAA2MEAABxCAACQQQAAnsIAAMDBAAB0QgAAyEEAAABAAABkQgAAAEAAANzCAAAYwgAAgMAAAHBBAABgQQAAyEEAAIBAAABAQAAAyEEAACDBAAAQQQAAkEEAAFDBAAC4QQAAAAAAAMhBAAAcQgAA4EEAAAjCAAAAwAAAIEEAAMBAAADgwQAALEIAAIDBAAAgwgAAGMIAAKDAAADIwQAAOEIAACBBAACwwQAAmMIAAODAAACgQAAAmMEAALLCAAAoQgAAmEEAADDBAAAAQAAADEIAABzCAACgwQAAgMIAAEjCAABYQgAAHEIAAHzCAADQwQAAXEIAALDBAACAQQAAOEIAAEBCAACwQQAAUEEAALxCAAAQQQAAgD8AANjBAADowSAAOBNACUh1UAEqjwIQABqAAgAA6D0AAJK-AACoPQAAoDwAAAQ-AACAuwAAiL0AAEO_AABsvgAAcL0AALo-AAAMPgAAgj4AANI-AACivgAAsr4AANI-AACIPQAAnj4AAEk_AAB_PwAAFL4AAII-AADgvAAAij4AAFC9AABAPAAAjr4AAAQ-AABQPQAA4DwAAJ4-AABEPgAAtj4AABC9AACaPgAAUD0AAMi9AAC6vgAAgDsAACO_AACAOwAA-D0AAJY-AAC4vQAA-D0AAHC9AABsvgAAEL0AAIC7AACAOwAATD4AADw-AAAcPgAAZb8AAKi9AAA5PwAArj4AAKC8AACAOwAAPL4AAES-AAC4vQAA4DwgADgTQAlIfFABKo8CEAEagAIAAJi9AADoPQAA4DwAACm_AAC4vQAAiD0AAIY-AAAUvgAAuL0AABw-AAAkvgAATL4AAJi9AABEvgAAcD0AAOA8AACYvQAANz8AAJg9AADCPgAAiD0AAFy-AAAEvgAAuL0AAKA8AAAwvQAAML0AAIA7AACovQAAmD0AAKC8AACgPAAABD4AAGS-AACAOwAAUL0AAHC9AAAQvQAALL4AAEA8AAAUPgAAyD0AAFQ-AAAEvgAAqL0AAKC8AAB_vwAATL4AAHA9AADgvAAAND4AADC9AAAQvQAAmL0AAAQ-AABQPQAAmL0AAKg9AADovQAARD4AABQ-AAAQPQAAML0AAOA8IAA4E0AJSHxQATAJOAFKAGAAaAA,\"}","related_url":"http://www.youtube.com/watch?v=E9Ie62rkMAY","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1920,"cheight":1080,"cratio":1.77777,"dups":["13647265531172271281"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false,"videoContentId":"1662292351"},"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":"16","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DUt2AGgw5-7M","linkTemplate":"/video/preview/12434457341515997628?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxMjQzNDQ1NzM0MTUxNTk5NzYyOFoUMTI0MzQ0NTczNDE1MTU5OTc2Mjhqrw0SATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8T8AmCBCQBgAQrKosBEAEaeIH4DAT_Av4A9P4LDQIH_AHy-vkCCv8AAPD68gT4Af8A4AQC-wj_AAAHCQgFCwAAAAYOCPn3_QEAFvoCDQMAAAAIBA8M_wAAAAT4-fj_AQAAAAYJ-AP_AAAC_RARAAAAAAAGCwMBAAAA-AABEwAAAAAC6PUDAQAAACAALTCYyjs4E0AJSE5QAipzEAAaYCkZAAH7_wLhAQ33AfTz--sJ9gjp7PsACu0A-A37CQkB6uP5AwAZAf0A3QAAABH-GiMEAPEoCfb_CQMQCPPk7fUMfwMC7A_9FevvCQD8Gwb_EgkMFAAJ9BP4Eer-Ef38JyAALZALpTs4E0AJSG9QAiqvBhAMGqAGAAAAwAAAAAAAAGBBAACGwgAAUEIAABhCAACoQQAAEMEAADDBAACAPwAAwEAAAGTCAAAQwgAA2MEAAJ5CAAAswgAAUMEAAEDBAACQwQAATMIAAKjBAAAEwgAA0MEAAIhCAABAwAAAqMEAAIjCAACmwgAAoMAAAEBBAABgQQAAQEIAACjCAACAwQAAIMIAAAAAAADAwAAA_kIAAETCAAAgQgAAgMEAAJhBAACKQgAAgEEAAFxCAACSwgAAJMIAAFBCAAAEQgAAMEEAAFTCAADoQQAAgEAAAGDBAAC4QQAAiMEAAADDAACwQQAAAAAAAFhCAAAoQgAAyMEAAGjCAABowgAA4EAAAAzCAABAwQAA8MEAAFDBAADQwQAAikIAAGxCAABwwQAAlEIAAOjBAADgwgAAAAAAAOjBAABAQQAAgD8AAHDBAAA0QgAAgL8AABBBAADYwQAAAEEAAIhCAABoQgAAGEIAAI7CAACAPwAAQEIAAMjBAACOwgAAGMIAAMjBAADAwQAA4EEAAEhCAAAwwQAAUMEAADxCAACYQgAAQMIAABDCAADYwQAAsMEAABhCAADgwQAAHEIAAPBBAACAQAAAPMIAAAjCAAC4QQAAyEEAAFDBAABIwgAAIEEAABDBAACAwAAAVMIAAHDCAAAwwgAAXEIAAIDAAAAAwQAAIEEAAOBAAABwwQAAsMEAAPBBAAAowgAAcEEAAEzCAABQQQAAoEEAAABAAAAQwgAA1sIAAGDBAAAAAAAAREIAAMDAAADAQQAAQMEAADDCAADQQQAAGEIAAFDBAABowgAAEEIAADBBAAAQwQAAiEEAAABAAABAwQAADMIAAKLCAAAgQQAAqMEAABBBAADIwQAALMIAANDBAAA0QgAApkIAAFRCAAA0QgAAgL8AABDBAABcQgAA-MEAAABBAABAwQAAMMEAAIC_AAB0wgAAfEIAAOhBAABAQAAAJMIAAJhBAABgQgAAukIAABjCAACYwQAA4EAAAADBAADIwQAAgsIAAGzCAAAwQQAAmMEAADBBAAAYQgAASMIAAEDBAADgwAAAaMIgADgTQAlIdVABKo8CEAAagAIAAEA8AAAcvgAABD4AACQ-AAAsPgAAMD0AABA9AAALvwAAPL4AAJg9AABUPgAAuD0AAIg9AACWPgAAVL4AAIA7AABQPQAAqD0AAHA9AADSPgAAfz8AABA9AADgPAAAQDwAABQ-AADIPQAAqL0AACw-AACYvQAAjj4AAFQ-AADYPQAAir4AAII-AABMPgAAXD4AAEw-AAAkvgAAA78AALK-AABAPAAA2D0AAAw-AADovQAAUL0AALi9AAAQPQAAUD0AABA9AACevgAAuD0AALi9AACWPgAAuD0AAMi9AAAQvQAAGz8AABQ-AACAOwAAdD4AAIg9AADIPQAAED0AAHA9IAA4E0AJSHxQASqPAhABGoACAAAQPQAAmD0AAHC9AABbvwAAmL0AAAw-AACoPQAAqD0AAGS-AADmPgAAdD4AAOi9AABMvgAAjr4AADy-AACAOwAAiD0AAB8_AACoPQAAbD4AANi9AACOPgAAuD0AADC9AAB0vgAAoDwAAAS-AADYPQAAMD0AABC9AAAsPgAAyD0AABS-AAAcvgAA-L0AAKi9AACaPgAAhj4AAL6-AADYvQAA2D0AAPg9AACyvgAAQDwAAEA8AACuPgAAf78AAOg9AAC-PgAALD4AACw-AAAUvgAADD4AAOg9AABkPgAAUD0AAFA9AABwvQAAgDsAAEy-AABAPAAAMD0AAOC8AABQPSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=Ut2AGgw5-7M","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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},"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":"17","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DCJi_Fcs4bak","linkTemplate":"/video/preview/3506704383980618165?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoVChMzNTA2NzA0MzgzOTgwNjE4MTY1WhMzNTA2NzA0MzgzOTgwNjE4MTY1aq8NEgEwGAAiRRoxAAoqaGhkd3F3cm9xY2Nsemh5YmhoVUN3Rzk1MTJXbTdqU1M2SXFzaHo0RHBnEgIAEioQwg8PGg8_E5cJggQkAYAEKyqLARABGniB_P8IAQABAPb1EAj7Bv0C5hEI-_v__wDt-PD8BQAAAAL6-___AQAABwX9-wAAAAD8-wT7_P4AABH7_vgDAAAAA_77EAAAAAAR9v4G_gEAAAsAAgAD_wAAAwIIBwAAAADyCwIBBPn3BQEI-PkBAAAA9-_w_AAAAAAgAC1KxNQ7OBNACUhOUAIqcxAAGmD7FgAsBwXm3__08-v19_cW-d4Y1NjwACbVADQUCPsdA-TLE9kADvP_98gAAAD9EAYTHAAYRuv27eIA-vb4EQEaDX8eG_PJ7jgpFAPH9PsG4xEaFT8AFQ8GASvgBhXGCwIgAC0P4WM7OBNACUhvUAIqrwYQDBqgBgAA-MEAAIjBAACQQQAAksIAABhCAAAIQgAAqEEAAODBAAAwwQAA0EEAAMBAAACAwgAAdMIAABTCAAAoQgAAYMIAABBBAACAwAAAQMAAANDBAACgQAAAiMEAAEDAAACMQgAAAAAAADDBAABIwgAAksIAADTCAABAQQAAGEIAAIxCAAAgwQAAhsIAAFDBAADgQAAAUMEAAMpCAACgwQAAFEIAAFjCAADoQQAAkEIAALBBAAA4QgAA6MEAAODBAABMQgAA0EEAAABAAABwwgAA-EEAAMDBAAA4wgAAQEAAALDBAACYwgAAqMEAAKhBAACAQgAAAAAAAADBAAAEwgAAAMIAAJBBAACswgAA0EEAAFzCAAAMwgAAwMEAAFBCAAAsQgAAwMAAAHxCAAAQQQAA9sIAALjBAABwQQAAgMEAAGDBAACIwQAAUEEAABBBAAAgwgAAgEAAAAzCAACsQgAAvEIAAARCAABgwgAAIEEAAJhCAAAMwgAAcMIAAFjCAACAPwAAyMEAACBBAABgQgAAGMIAAIhBAABgQQAAnkIAAAzCAAAMwgAAAEEAAJhBAADQQQAAoEAAACRCAAAgQgAAMMIAAMjBAACAQAAAMEEAABBBAACgQQAAGMIAAODAAACwQQAAgMAAADjCAACUwgAAlMIAACBCAADYwQAAoMAAACxCAADwQQAALMIAAADAAABYQgAAcMEAAOBAAAAkwgAAiEEAADBBAACgwAAA8MEAAJLCAABwQQAAgMAAAGxCAACAwQAAAEEAAIDAAAAowgAAbEIAABxCAAAwQgAAhsIAAIDAAAAMwgAAiMEAAExCAAAAAAAAwEAAABBBAAA4wgAAUEEAALDBAADAQAAAqMEAAAjCAABAwQAAsEEAALRCAABQQgAAFEIAAPDBAAAgQgAAFEIAAIDBAABAwAAAwMAAAKDAAADwQQAA0MIAANBBAAAUQgAA-MEAAABBAADgQAAAOEIAAKRCAACGwgAAAAAAAGDBAAAQQQAAwMEAAKDCAAAgwgAAPEIAAEDAAAAMwgAAFEIAAGzCAABgQQAAIEEAAHzCIAA4E0AJSHVQASqPAhAAGoACAADYPQAARD4AAHA9AABsPgAAqL0AAMi9AAAEPgAAyr4AAAS-AAC2PgAA6L0AAEy-AAC4PQAAdD4AANg9AAAkvgAAgDsAAKC8AAAcPgAA2j4AAH8_AABQPQAA-D0AANi9AACYvQAAgj4AABy-AAAEPgAAuD0AAAw-AACgPAAAmD0AANi9AAA8PgAAyD0AAHy-AADYPQAA2L0AAM6-AACKvgAAUD0AAMI-AACOPgAABL4AAHC9AAAUPgAA4LwAAOC8AAAMvgAAVL4AAFC9AABQPQAArj4AAI4-AACAuwAAyD0AAB8_AAA8vgAAcD0AAOg9AABwPQAAmL0AANg9AACKviAAOBNACUh8UAEqjwIQARqAAgAAZL4AAGw-AACAuwAAKb8AAJg9AADIPQAAND4AAJg9AABwvQAAoj4AADQ-AAAkvgAA2L0AAEy-AACgvAAAgDsAADw-AAAvPwAAoDwAAJo-AABAPAAAcD0AADw-AAC4vQAA-L0AAJg9AAAkvgAAyD0AAIg9AAAwPQAAuD0AAJg9AADovQAAQLwAAKg9AADovQAAND4AAEQ-AAAsvgAAUD0AAHw-AACovQAAEL0AAHC9AACovQAAwj4AAH-_AABwvQAA-L0AAFQ-AAAcPgAAmD0AAK4-AADIPQAAmD0AAOA8AADgvAAAFL4AABA9AAAMvgAA4LwAADC9AABwvQAAFD4gADgTQAlIfFABMAk4AUoAYABoAA,,\"}","related_url":"http://www.youtube.com/watch?v=CJi_Fcs4bak","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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},"17221520837901198460":{"videoId":"17221520837901198460","docid":"34-4-4-Z611354432CC3E98D","description":"Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3850701/4557ed8c0c8f1d43cced5d675baaf062/564x318_1"},"target":"_self","position":"18","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3D5Iwl9RUo5DA","linkTemplate":"/video/preview/17221520837901198460?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"[PLDI'24] Sweden - PLMW@PLDI (Jun 24th)","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=5Iwl9RUo5DA\",\"src\":\"serp\",\"rvb\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxNzIyMTUyMDgzNzkwMTE5ODQ2MFoUMTcyMjE1MjA4Mzc5MDExOTg0NjBqrw0SATAYACJFGjEACipoaGR3cXdyb3FjY2x6aHliaGhVQ3dHOTUxMldtN2pTUzZJcXNoejREcGcSAgASKhDCDw8aDz8Tny6CBCQBgAQrKosBEAEaeIH7DwIG_QQA-f75BAwF_QHuDQL_-v7-APb6-_3-Av8A4gMC_Aj_AAABAwb9_wAAAPwCAwT2_gEAFQT0APYAAAAA8gAB-AAAAP0J-vf_AQAAAAX67wIAAAAF-gr8_wAAAAMGAgcAAAAAB_z8BQAAAAD77P7_AAAAACAALTLI3Ds4E0AJSE5QAipzEAAaYDQQAGAHDybM_evL_ur_CgYcwgfvwrf_CNT_5ykVzevZxa4F2f4lHhXungAAAD4J-R5PAA5_DSb_PCLn88nF_vhOZRIy6CkxOQMs5ejlAaZZ1gkwXAD3JvP9E9fnT_cKGSAALfCFGDs4E0AJSG9QAiqvBhAMGqAGAAAUwgAAdMIAAFxCAAAAwgAAMEIAAABBAADoQQAAsEEAAFDBAABQQQAAGEIAAGzCAAAgwgAAiMEAACBBAADgQAAAsMEAAADCAAAAQQAAFMIAANBBAADIQQAAqMEAAIC_AAAkwgAA0MEAAPDBAABQwgAAqEEAAERCAABkQgAArEIAAARCAAAwQQAA2MEAAODBAACgQAAAMEEAACBCAADwwQAA4MEAAJDBAACAPwAAcEEAAFBBAACawgAAQMAAAKDBAADwQQAAnsIAAAhCAADAQAAAyMEAACDCAAAcQgAAEMIAAEBAAABAQAAAAMEAAGxCAACgQQAAdEIAAKDBAAAEwgAA2EEAADDBAACYQQAATMIAAADAAACgwAAAAMAAAERCAACYwgAAqEIAAFhCAABwwgAAAMAAAKDAAABQQQAAoMAAALhBAAAkQgAABEIAAIrCAADAQAAAuEEAAAxCAABMQgAAaEIAAKzCAAC4wgAAlkIAAEBBAABgQQAAyMEAAAzCAAA4wgAAKEIAAMhBAABgQQAA2EEAAABBAACgQQAAAMIAAHjCAADIwQAApMIAAGRCAABwQQAAjkIAAHhCAACYwQAAjMIAAHDBAACoQQAAAMEAAIjBAADgwAAASEIAAEDBAAAQwgAA4MEAAMbCAACAwAAAPEIAALDBAADIwQAASEIAAEDAAAAwwgAAGMIAABhCAADQwQAA4EAAAChCAADQQQAAfEIAABRCAADIQQAA-MEAABDBAAC4wQAAAEIAABzCAACAPwAAGEIAAIhBAACMQgAAGMIAAIjBAACwwQAA2MEAAFBBAAAowgAAkEIAAKjBAAAgwQAAkMEAAOBAAADYQQAAKMIAAJBBAAC4wgAAvsIAAKTCAABEQgAAhkIAAHBCAADoQQAAVEIAABBBAABgQQAAUMEAADjCAADAwQAAgEEAAOjBAAAcwgAA6EEAAMxCAAAAQAAAyMEAAKDAAABAQAAAuMEAAOhBAABswgAAGEIAAADBAACQwgAATMIAAFzCAAAQwQAAAAAAAADCAADYQgAAyEEAAODBAACgQQAA4MEgADgTQAlIdVABKo8CEAAagAIAALg9AABwPQAAij4AADQ-AADIvQAAgLsAAIq-AADavgAAoLwAAOA8AADgvAAAgDsAANg9AADIPQAAoDwAAFC9AAAQPQAAED0AAIC7AABcPgAAfz8AAKi9AABEvgAAqD0AAKi9AAAwvQAAiL0AALi9AADYvQAAqD0AAKC8AAAEPgAAkr4AABC9AADIvQAA6L0AADA9AACgPAAAjr4AAIK-AAAkPgAAcL0AAKg9AAAUPgAA2L0AABC9AAAcPgAA4DwAALg9AACgvAAAoDwAAOg9AAB0PgAAoLwAALa-AADIPQAABz8AADC9AABwPQAAkj4AALg9AAAQvQAAmD0AAES-IAA4E0AJSHxQASqPAhABGoACAADgvAAAZL4AADC9AABFvwAAdD4AAGw-AACYvQAAiD0AAHy-AAC-PgAAuD0AAGQ-AACovQAAir4AADy-AACYPQAAir4AAHM_AAA0vgAAmD0AADS-AAAEvgAAXD4AAOC8AABEvgAAbD4AADy-AAD4PQAAZD4AAOi9AABwPQAAgLsAAKA8AAB8vgAAoDwAANg9AAAcPgAAcD0AANi9AAA0vgAA0j4AAFy-AABUvgAAFL4AANi9AABAPAAAf78AAEy-AACKPgAABD4AAOA8AAAkvgAArj4AAFC9AACoPQAAUL0AADC9AAAEvgAAUL0AANi9AACIPQAAMD0AAEy-AABAPCAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=5Iwl9RUo5DA","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["17221520837901198460"],"episode":0,"season":0,"isEmbedOnly":false,"greenHost":"YouTube","hasTranslation":true,"contentTypeId":null,"censored":false},"12154571875825599727":{"videoId":"12154571875825599727","docid":"34-11-1-Z6DD58E44C8269442","description":"All donations on my website https://www.alicebarileart.com/ will be appreciated MY NEW ART Collection ON ETSY https://www.etsy.com/shop/AliceBarile... MY Special Sponge I USE on Etsy...","preview":{"posterSrc":"//avatars.mds.yandex.net/get-vthumb/3246564/90e0b43fc24551dbc484452ad22227c7/564x318_1"},"target":"_self","position":"19","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","summary":{"fullTextUrl":"/int_search_summary?data=http%3A%2F%2Fwww.youtube.com%2Fwatch%3Fv%3DgulF8UEiirU","linkTemplate":"/video/preview/12154571875825599727?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts&t=%%timestamp%%&ask_summarization=1"},"isAdultDoc":false,"relatedParams":{"text":"3 Amazing Industrial Abstract painting Techniques full video. #abstractpainting #","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=gulF8UEiirU\",\"src\":\"serp\",\"rvb\":\"EqsDChE5NTA3MjIzODQzOTY1NjA4MgoTNjg2NDQzNDIwNjM3NjYzNTA2OAoTODExMTUzOTAzOTY1OTA3MjMzOQoUMTU0MTA0MjY4NjY5NDgxMDg0MTYKFDEzMzI3NDcxNzQ1NDAzODUyMzEwChQxMDU1NDU1ODAwNTUzODcwODM5MQoTOTE2NzcyMTE3OTc1NjQ0MTcwNwoTOTk1MzQ5MDkwNTcxMDQwOTI2MgoUMTE3NDg0NjUyOTgxOTcwNDYzMTQKFDEwNDE5NTQ5MDg5NzAzNDMyNzg5ChM3NzYzNTA1MTc4MjM1NTE2OTg0ChM0NDQxNDM3MzgwNTkzNjk0NjQ2ChI4MTA1ODczNjY3NDA3NDI5ODMKFDEzNjQ3MjY1NTMxMTcyMjcxMjgxChQxMjQzNDQ1NzM0MTUxNTk5NzYyOAoTMzUwNjcwNDM4Mzk4MDYxODE2NQoUMTcyMjE1MjA4Mzc5MDExOTg0NjAKFDEyMTU0NTcxODc1ODI1NTk5NzI3ChM5NjU4OTkwMTc1MDgxNTI5NTM4ChQxMDE2NDg5MTgwNzMxNjA1MDQ3MhoWChQxMjE1NDU3MTg3NTgyNTU5OTcyN1oUMTIxNTQ1NzE4NzU4MjU1OTk3Mjdqrw0SATAYACJFGjEACipoaG9xcWZ4b3NmcW1vZXZjaGhVQ2w3VzNsWDhJWHktSXZ0UUQzR3BTUncSAgASKhDCDw8aDz8TvAyCBCQBgAQrKosBEAEaeIEGBQEJ_AQA_AX8BgEG_QIGBvgA9___AP36-wL0BP4ABAkFAPgBAAAF8_oD-wAAAO4A__v7AQAAEwP7BgQAAAAY9_UI_QAAAA4L_AP-AQAA-wYHBwP_AAAGEQEAAAAAAPYE_wD__wAA__sG_gEAAAATAfkAAAAAACAALdA13zs4E0AJSE5QAipzEAAaYOYLAB77-xHKKiX42_TqBvPiCNwWCAEA1-QA7R_25hbf9uYX9wAH0gMPywAAAP0L8Rn4AOhCHfUKFAYn88XUBhgTf_EIBwkyBvan7P_eABPmCPkJ-wDv9P8oEOUSE_cYGiAALbdQazs4E0AJSG9QAiqvBhAMGqAGAABAwQAAQEAAAPjBAADAwAAA2MEAAKDBAAAwQgAACMIAAJDBAACawgAAWEIAAHTCAACmwgAACEIAAJhBAACAPwAAEMEAACxCAAA8wgAAjMIAAAAAAAA8QgAAiMEAAKBBAAAAwAAA8MEAAJDCAACYQQAA4MEAANDBAACowQAAgEAAAATCAADgQAAAPMIAAMBAAAAMwgAADEIAAEDBAAA4wgAAQMAAACjCAADAQQAAgMAAAKhBAAAAQgAAwMEAANDBAAA8QgAAwEAAAHDBAADAQQAAIMIAAABAAADoQQAALEIAACjCAAB0QgAAmEIAACjCAADowQAAMEEAAEDBAADQQQAAUMEAAILCAACSwgAAZMIAAPjBAADwQQAAVMIAAJ5CAABQQQAA0EEAAEBBAAAIwgAAuMIAANBBAABowgAAHMIAAADAAAAwQgAAQMEAAGjCAAB4QgAA8EEAAIBAAAAkwgAA4EAAAChCAABAwQAAWEIAALZCAACcwgAAdMIAAIC_AABwQQAAwMAAAABAAAAMwgAAoEAAAIDBAAD4QQAAksIAACTCAACAPwAAYMEAALhBAAAAAAAATMIAAJhCAADQQQAAwMEAAJhBAAAsQgAAqMEAANhBAAAAAAAAUMEAAMDBAADAQAAAOEIAAAhCAABAwQAAgMAAAHxCAAD4wQAASEIAAAzCAABwQQAAgMIAAEjCAACAQAAAkEEAAOBAAACAwQAAEEIAAJDBAACwwQAAgMIAAEDAAAA8wgAAAAAAAODAAACywgAAgEEAABhCAACYQQAACEIAAP5CAAAAwAAAMMIAADBCAAAQQgAAMMIAALhBAABAwgAAgEEAAMBBAADAQAAAQMEAAABAAADwwQAA8EEAAMBBAACgwQAAmMEAAGhCAAAYQgAAQMAAANjBAACuQgAAksIAADDBAAA0QgAAUMIAAFTCAADYwQAAiEEAAJpCAAC6wgAA4EEAAHjCAAA0QgAAgkIAAPBBAAAsQgAAfEIAAJBBAAAUQgAAUMIAAEDBAABAQQAAIMEAAL7CAACAPwAASMIAAEDCAADgQAAAEMIgADgTQAlIdVABKo8CEAAagAIAACe_AACmPgAAmD0AADC9AACqPgAAFL4AALI-AAD2vgAAdL4AAES-AADgPAAAyD0AAEw-AAAMvgAAtj4AAIA7AABEvgAABD4AAHC9AAAxPwAAfz8AAIg9AAD4vQAA4LwAABS-AAAcvgAAVL4AAOi9AAAQPQAAkj4AADQ-AACOPgAA2D0AAHC9AABAvAAAuD0AAGw-AAC6vgAAdL4AAAw-AAB8vgAAQLwAAOC8AABwvQAATD4AAJY-AAAEPgAADL4AAKA8AABsvgAADD4AABC9AACOPgAArj4AANi9AADYPQAAWT8AAFC9AADKPgAAND4AACS-AABQvQAA2L0AAMg9IAA4E0AJSHxQASqPAhABGoACAACoPQAAuL0AAJ6-AAAhvwAAXL4AAMi9AADgvAAA4LwAAEy-AAAQPQAAfL4AACy-AAAMvgAAhr4AAEA8AACIvQAAML0AAAc_AAAkvgAA0j4AAOg9AABwvQAABL4AAIi9AACAOwAAML0AABy-AAAwPQAAuD0AAKA8AAAwPQAAmD0AAPg9AAA0vgAAqL0AAKA8AAB0PgAA2D0AAIi9AABQPQAAqj4AAIi9AAAsvgAAQLwAAOi9AAAwPQAAf78AAGy-AABEvgAA2D0AAIg9AACIvQAAqL0AAKg9AAAwvQAAcD0AAKi9AACGPgAA2L0AABQ-AACAuwAAmj4AADA9AAC4vSAAOBNACUh8UAEwCTgBSgBgAGgA\"}","related_url":"http://www.youtube.com/watch?v=gulF8UEiirU","parent-reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","related_vfp":1,"relatedVideo":"yes"},"cwidth":1280,"cheight":720,"cratio":1.77777,"dups":["12154571875825599727"],"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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":63},"parentClipId":"95072238439656082","href":"/preview/95072238439656082?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/95072238439656082?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1233},"parentClipId":"6864434206376635068","href":"/preview/6864434206376635068?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/6864434206376635068?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1064},"parentClipId":"8111539039659072339","href":"/preview/8111539039659072339?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/8111539039659072339?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"15410426866948108416":{"videoId":"15410426866948108416","title":"\u0007[Abstracts\u0007] \u0007[2019\u0007] Art Exhibition - Part 2 - Phototography Categories","cleanTitle":"Abstracts 2019 Art Exhibition - Part 2 - Phototography Categories","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=5ZoPREBLw94","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/5ZoPREBLw94?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":"d3d3LnlvdXR1YmUuY29tO1VDQ3VEazF5VTJIa0RXRm9FQjk5bVNYdw==","name":"Light Space & Time Online Art Gallery","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Light+Space+%26+Time+Online+Art+Gallery","origUrl":"http://www.youtube.com/@Lightspacetime","a11yText":"Light Space & Time Online Art Gallery. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":595,"text":"9:55","a11yText":"Süre 9 dakika 55 saniye","shortText":"9 dk."},"date":"1 mar 2019","modifyTime":1551398400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/5ZoPREBLw94?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=5ZoPREBLw94","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":595},"parentClipId":"15410426866948108416","href":"/preview/15410426866948108416?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/15410426866948108416?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":0},"parentClipId":"13327471745403852310","href":"/preview/13327471745403852310?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/13327471745403852310?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":34694},"parentClipId":"10554558005538708391","href":"/preview/10554558005538708391?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/10554558005538708391?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1200},"parentClipId":"9167721179756441707","href":"/preview/9167721179756441707?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/9167721179756441707?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"9953490905710409262":{"videoId":"9953490905710409262","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/2357263667699","playerUri":"\u003ciframe src=\"//ok.ru/videoembed/2357263667699?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/2357263667699?autoplay=1&ya=1","playerId":"ok","videoUrl":"http://ok.ru/video/2357263667699","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":297},"parentClipId":"9953490905710409262","href":"/preview/9953490905710409262?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/9953490905710409262?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":3415},"parentClipId":"11748465298197046314","href":"/preview/11748465298197046314?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/11748465298197046314?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":48},"parentClipId":"10419549089703432789","href":"/preview/10419549089703432789?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/10419549089703432789?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":34523},"parentClipId":"7763505178235516984","href":"/preview/7763505178235516984?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/7763505178235516984?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1091},"parentClipId":"4441437380593694646","href":"/preview/4441437380593694646?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/4441437380593694646?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1149},"parentClipId":"810587366740742983","href":"/preview/810587366740742983?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/810587366740742983?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"13647265531172271281":{"videoId":"13647265531172271281","title":"Full talk for our \u0007[PLDI\u0007] 2021 paper- High performance Correctly Rounded Math Libraries","cleanTitle":"Full talk for our PLDI 2021 paper- High performance Correctly Rounded Math Libraries","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=E9Ie62rkMAY","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/E9Ie62rkMAY?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":"d3d3LnlvdXR1YmUuY29tO1VDT0VMVXhFbjM4SVVHYUdUa2gtYW9Mdw==","name":"Santosh Nagarakatte","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Santosh+Nagarakatte","origUrl":"http://www.youtube.com/@santosh-nagarakatte","a11yText":"Santosh Nagarakatte. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1083,"text":"18:03","a11yText":"Süre 18 dakika 3 saniye","shortText":"18 dk."},"date":"20 haz 2021","modifyTime":1624147200000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/E9Ie62rkMAY?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=E9Ie62rkMAY","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1083},"parentClipId":"13647265531172271281","href":"/preview/13647265531172271281?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/13647265531172271281?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1264},"parentClipId":"12434457341515997628","href":"/preview/12434457341515997628?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/12434457341515997628?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1175},"parentClipId":"3506704383980618165","href":"/preview/3506704383980618165?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/3506704383980618165?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"17221520837901198460":{"videoId":"17221520837901198460","title":"[\u0007[PLDI\u0007]'24] Sweden - PLMW@\u0007[PLDI\u0007] (Jun 24th)","cleanTitle":"[PLDI'24] Sweden - PLMW@PLDI (Jun 24th)","host":{"title":"YouTube","href":"http://pldi24.sigplan.org/track/pldi-2024-papers","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/5Iwl9RUo5DA?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":5919,"text":"1:38:39","a11yText":"Süre 1 saat 38 dakika 39 saniye","shortText":"1 sa. 38 dk."},"date":"24 haz 2024","modifyTime":1719237738000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/5Iwl9RUo5DA?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=5Iwl9RUo5DA","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":5919},"parentClipId":"17221520837901198460","href":"/preview/17221520837901198460?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/17221520837901198460?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","isEmbedOnly":false,"shouldPlayInstreamPreroll":false},"12154571875825599727":{"videoId":"12154571875825599727","title":"3 Amazing Industrial \u0007[Abstract\u0007] painting Techniques full video. #abstractpainting #","cleanTitle":"3 Amazing Industrial Abstract painting Techniques full video. #abstractpainting #","host":{"title":"YouTube","href":"http://www.youtube.com/watch?v=gulF8UEiirU","playerUri":"\u003ciframe src=\"//www.youtube.com/embed/gulF8UEiirU?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":"d3d3LnlvdXR1YmUuY29tO1VDbDdXM2xYOElYeS1JdnRRRDNHcFNSdw==","name":"Alice Barile Art","isVerified":false,"subscribersCount":0,"url":"/video/search?text=Alice+Barile+Art","origUrl":"http://www.youtube.com/@alicebarileart","a11yText":"Alice Barile Art. "},"faviconUrl":"//favicon.yandex.net/favicon/v2/http%3A%2F%2Fyoutube.com?color=255%2C255%2C255%2C0&size=32&stub=1"},"duration":{"value":1596,"text":"26:36","a11yText":"Süre 26 dakika 36 saniye","shortText":"26 dk."},"views":{"text":"3,9bin","a11yText":"3,9 bin izleme"},"date":"11 ağu 2024","modifyTime":1723334400000,"isExternal":false,"player":{"embedUrl":"https://www.youtube.com/embed/gulF8UEiirU?autoplay=1&enablejsapi=1&wmode=opaque","playerId":"youtube","videoUrl":"http://www.youtube.com/watch?v=gulF8UEiirU","reqid":"1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL","duration":1596},"parentClipId":"12154571875825599727","href":"/preview/12154571875825599727?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-BAL&text=PLDI+2019+Video+Abstracts","rawHref":"/video/preview/12154571875825599727?parent-reqid=1769608584604151-6128624240212715426-balancer-l7leveler-kubr-yp-klg-314-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":"1286242402127154267314","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"}}}