{"version":"1.0","provider_name":"Electrical Engineering and Computer Science","provider_url":"https:\/\/lassonde.yorku.ca\/eecs","title":"Michael Pradel | Electrical Engineering and Computer Science","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"xkKalHvMbp\"><a href=\"https:\/\/lassonde.yorku.ca\/eecs\/events\/michael\/\">Michael Pradel<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/lassonde.yorku.ca\/eecs\/events\/michael\/embed\/#?secret=xkKalHvMbp\" width=\"600\" height=\"338\" title=\"&#8220;Michael Pradel&#8221; &#8212; Electrical Engineering and Computer Science\" data-secret=\"xkKalHvMbp\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script type=\"text\/javascript\">\n\/* <![CDATA[ *\/\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n\/\/# sourceURL=https:\/\/lassonde.yorku.ca\/eecs\/wp-includes\/js\/wp-embed.min.js\n\/* ]]> *\/\n<\/script>\n","thumbnail_url":"https:\/\/lassonde.yorku.ca\/eecs\/wp-content\/uploads\/sites\/6\/2024\/03\/thumbnail_quadratisch_gross.jpg","thumbnail_width":1920,"thumbnail_height":1920,"description":"AI + SE Seminar Series (November 22, 2024. 11 am -12 pm EST). Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code Developer productivity and software quality critically depend on effective software development tools. Traditional, symbolic program analysis tools are often limited in their ability to understand developer intention and rely on various hand-crafted heuristics...."}