1.0Microsoft Researchhttps://www.microsoft.com/en-us/researchAlyssa Hughes (2ADAPTIVE LLC dba 2A Consulting)https://www.microsoft.com/en-us/research/people/v-alyhughes/rich600338<blockquote class="wp-embedded-content" data-secret="sl8W38Eh64"><a href="https://www.microsoft.com/en-us/research/podcast/abstracts-november-5-2024/">Abstracts: November 5, 2024</a></blockquote><iframe sandbox="allow-scripts" security="restricted" src="https://www.microsoft.com/en-us/research/podcast/abstracts-november-5-2024/embed/#?secret=sl8W38Eh64" width="600" height="338" title="“Abstracts: November 5, 2024” — Microsoft Research" data-secret="sl8W38Eh64" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" class="wp-embedded-content"></iframe><script type="text/javascript"> /* <![CDATA[ */ /*! This file is auto-generated */ !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); //# sourceURL=https://www.microsoft.com/en-us/research/wp-includes/js/wp-embed.min.js /* ]]> */ </script> https://www.microsoft.com/en-us/research/wp-content/uploads/2024/11/Chris-and-Jay_Abstracts_TW_LI_FB_1200x627-1.jpg1200627The Rust verification tool Verus aims to make formal verification more widely available to developers, helping them create software that behaves as intended. Learn about the work, an award winner at SOSP ’24, w/ Chris Hawblitzel & Jay Lorch on “Abstracts”: