{"id":949350,"date":"2023-06-23T14:57:51","date_gmt":"2023-06-23T21:57:51","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?p=949350"},"modified":"2023-06-26T06:59:56","modified_gmt":"2023-06-26T13:59:56","slug":"research-focus-week-of-june-19-2023","status":"publish","type":"post","link":"https:\/\/www.microsoft.com\/en-us\/research\/blog\/research-focus-week-of-june-19-2023\/","title":{"rendered":"Research Focus: Week of June 19, 2023"},"content":{"rendered":"\n<figure class=\"wp-block-image size-full\"><img loading=\"lazy\" decoding=\"async\" width=\"1400\" height=\"264\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-banner-1400x264-1.jpg\" alt=\"Microsoft Research Focus 18 | Week of June 19, 2023\" class=\"wp-image-950397\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-banner-1400x264-1.jpg 1400w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-banner-1400x264-1-300x57.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-banner-1400x264-1-1024x193.jpg 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-banner-1400x264-1-768x145.jpg 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-banner-1400x264-1-240x45.jpg 240w\" sizes=\"auto, (max-width: 1400px) 100vw, 1400px\" \/><\/figure>\n\n\n\n<figure class=\"wp-block-pullquote\"><blockquote><p><em class=\"\">Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code\/datasets, new hires and other milestones from across the research community at Microsoft.<\/em><\/p><\/blockquote><\/figure>\n\n\n<aside id=accordion-86daf9bc-c02a-47f0-9424-0504dd335f88 class=\"msr-table-of-contents-block accordion mb-5 pb-0\" data-bi-aN=\"table-of-contents\">\n\t<button class=\"btn btn-collapse bg-gray-100 mb-0 display-flex justify-content-between\" type=\"button\" data-mount=\"collapse\" data-target=\"#accordion-collapse-86daf9bc-c02a-47f0-9424-0504dd335f88\" aria-expanded=\"true\" aria-controls=\"accordion-collapse-86daf9bc-c02a-47f0-9424-0504dd335f88\">\n\t\t<span class=\"msr-table-of-contents-block__label subtitle\">In this article<\/span>\n\t\t<span class=\"msr-table-of-contents-block__current mr-4 text-gray-600 font-weight-normal\" aria-hidden=\"true\"><\/span>\n\t<\/button>\n\t<div id=\"accordion-collapse-86daf9bc-c02a-47f0-9424-0504dd335f88\" class=\"msr-table-of-contents-block__collapse-wrapper collapse show\" data-parent=\"#accordion-86daf9bc-c02a-47f0-9424-0504dd335f88\">\n\t\t<div class=\"accordion-body bg-gray-100 border-top pt-4\">\n\t\t\t<ol class=\"msr-table-of-contents-block__list\">\n\t\t\t\t\t\t\t\t\t<li class=\"msr-table-of-contents-block__list-item\">\n\t\t\t\t\t\t<a href=\"#responsible-ai-maturity-model\" class=\"msr-table-of-contents-block__list-item-link\">Responsible AI Maturity Model<\/a>\n\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t\t<li class=\"msr-table-of-contents-block__list-item\">\n\t\t\t\t\t\t<a href=\"#foundwright-helps-people-re-find-web-content-they-previously-discovered\" class=\"msr-table-of-contents-block__list-item-link\">FoundWright helps people re-find web content they previously discovered<\/a>\n\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t\t<li class=\"msr-table-of-contents-block__list-item\">\n\t\t\t\t\t\t<a href=\"#trace-guided-inductive-synthesis-of-recursive-functional-programs\" class=\"msr-table-of-contents-block__list-item-link\">Trace-Guided Inductive Synthesis of Recursive Functional Programs<\/a>\n\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t\t<li class=\"msr-table-of-contents-block__list-item\">\n\t\t\t\t\t\t<a href=\"#wait-free-weak-reference-counting\" class=\"msr-table-of-contents-block__list-item-link\">Wait-Free Weak Reference Counting<\/a>\n\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t\t<li class=\"msr-table-of-contents-block__list-item\">\n\t\t\t\t\t\t<a href=\"#disaggregating-stateful-network-functions\" class=\"msr-table-of-contents-block__list-item-link\">Disaggregating Stateful Network Functions<\/a>\n\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t\t<li class=\"msr-table-of-contents-block__list-item\">\n\t\t\t\t\t\t<a href=\"#industrial-strength-controlled-concurrency-testing-for-c-programs-with-coyote\" class=\"msr-table-of-contents-block__list-item-link\">Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote<\/a>\n\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t<\/ul>\n\t\t<\/div>\n\t<\/div>\n\t<span class=\"msr-table-of-contents-block__progress-bar\"><\/span>\n<\/aside>\n\n\n\n<h6 class=\"wp-block-heading has-blue-color has-text-color\" id=\"new-resource\">NEW RESOURCE<\/h6>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"responsible-ai-maturity-model\">Responsible AI Maturity Model<\/h2>\n\n\n\n<p>As the use of AI continues to surge, new government regulations are expected. But the organizations that build and use AI technologies needn\u2019t wait to devise best practices for developing and deploying AI systems responsibly. Many companies have adopted responsible AI (RAI) principles as a form of self-regulation. Yet, effectively translating these principles into practice is challenging.<\/p>\n\n\n\n<p>To help organizations identify their current and desired levels of RAI maturity, researchers at Microsoft have developed the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/responsible-ai-maturity-model\/\">Responsible AI Maturity Model<\/a> (RAI MM). The RAI MM is a framework containing 24 empirically derived dimensions that are key to an organization\u2019s RAI maturity, and a roadmap of maturity progression so organizations and teams can identify where they are and where they could go next.<\/p>\n\n\n\n<p>Derived from interviews and focus groups with over 90 RAI specialists and AI practitioners, the RAI MM can help organizations and teams navigate their RAI journey, even as RAI continues to evolve.<\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--1\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/05\/RAI_Maturity_Model_Aether_Microsoft_whitepaper.pdf\">Learn more<\/a><\/div>\n<\/div>\n\n\n\n<div style=\"height:15px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n\t<div class=\"border-bottom border-top border-gray-300 mt-5 mb-5 msr-promo text-center text-md-left alignwide\" data-bi-aN=\"promo\" data-bi-id=\"670821\">\n\t\t\n\n\t\t<p class=\"msr-promo__label text-gray-800 text-center text-uppercase\">\n\t\t<span class=\"px-4 bg-white display-inline-block font-weight-semibold small\">Spotlight: Microsoft research newsletter<\/span>\n\t<\/p>\n\t\n\t<div class=\"row pt-3 pb-4 align-items-center\">\n\t\t\t\t\t\t<div class=\"msr-promo__media col-12 col-md-5\">\n\t\t\t\t<a class=\"bg-gray-300 display-block\" href=\"https:\/\/info.microsoft.com\/ww-landing-microsoft-research-newsletter.html\" aria-label=\"Microsoft Research Newsletter\" data-bi-cN=\"Microsoft Research Newsletter\" target=\"_blank\">\n\t\t\t\t\t<img decoding=\"async\" class=\"w-100 display-block\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2019\/09\/Newsletter_Banner_08_2019_v1_1920x1080.png\" alt=\"\" \/>\n\t\t\t\t<\/a>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t<div class=\"msr-promo__content p-3 px-5 col-12 col-md\">\n\n\t\t\t\t\t\t\t\t\t<h2 class=\"h4\">Microsoft Research Newsletter<\/h2>\n\t\t\t\t\n\t\t\t\t\t\t\t\t<p id=\"microsoft-research-newsletter\" class=\"large\">Stay connected to the research community at Microsoft.<\/p>\n\t\t\t\t\n\t\t\t\t\t\t\t\t<div class=\"wp-block-buttons justify-content-center justify-content-md-start\">\n\t\t\t\t\t<div class=\"wp-block-button is-style-fill-chevron\">\n\t\t\t\t\t\t<a href=\"https:\/\/info.microsoft.com\/ww-landing-microsoft-research-newsletter.html\" aria-describedby=\"microsoft-research-newsletter\" class=\"btn btn-brand glyph-append glyph-append-chevron-right\" data-bi-cN=\"Microsoft Research Newsletter\" target=\"_blank\">\n\t\t\t\t\t\t\tSubscribe today\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<\/div><!--\/.msr-promo__content-->\n\t<\/div><!--\/.msr-promo__inner-wrap-->\n\t<\/div><!--\/.msr-promo-->\n\t\n\n\n<h6 class=\"wp-block-heading has-blue-color has-text-color\" id=\"new-research\">NEW RESEARCH<\/h6>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"foundwright-helps-people-re-find-web-content-they-previously-discovered\">FoundWright helps people re-find web content they previously discovered<\/h2>\n\n\n\n<p>Re-finding information is a common task\u2014most online search requests involve re-finding information. However, this can be difficult when people struggle to express what they seek. People may forget exact details of the information they want to re-find, making it hard to craft a query to locate it. People may also struggle to recover information within web repositories, such as bookmarks or history, as these do not capture enough information, or present an experience to allow ambiguous queries. As a result, people can feel overwhelmed and cognitively exhausted when faced with a re-finding task.<\/p>\n\n\n\n<p>A new paper from Microsoft researchers: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/foundwright-a-system-to-help-people-re-find-pages-from-their-web-history\/\" target=\"_blank\" rel=\"noreferrer noopener\">FoundWright: A System to Help People Re-find Pages from Their Web-history<\/a>, introduces a new system to address these problems. FoundWright leverages recent advances in language transformer models to expand people\u2019s ability to express what they seek by defining concepts that can attract documents with semantically similar content. The researchers used FoundWright as a design probe to understand how people create and use concepts; how this expanded ability helps re-finding; and how people engage and collaborate with FoundWright\u2019s machine learning support. The research reveals that this expanded way of expressing re-finding goals complements traditional searching and browsing.\u00a0<\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--2\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/foundwright-a-system-to-help-people-re-find-pages-from-their-web-history\/\">Read the paper<\/a><\/div>\n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity is-style-dots\"\/>\n\n\n\n<h6 class=\"wp-block-heading has-blue-color has-text-color\" id=\"new-research-1\">NEW RESEARCH<\/h6>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"trace-guided-inductive-synthesis-of-recursive-functional-programs\">Trace-Guided Inductive Synthesis of Recursive Functional Programs<\/h2>\n\n\n\n<p>In recent years, researchers have made significant advances in synthesis of recursive functional programs, including progress in inductive synthesis of recursive programs from input-output examples. The latter problem, however, continues to pose several challenges.<\/p>\n\n\n\n<p>In a new paper: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/trace-guided-inductive-synthesis-of-recursive-functional-programs\/\" target=\"_blank\" rel=\"noreferrer noopener\">Trace-Guided Inductive Synthesis of Recursive Functional Programs<\/a>, which received a distinguished paper award from the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/pldi23.sigplan.org\/\" target=\"_blank\" rel=\"noopener noreferrer\">ACM SIGPLAN Conference on Programming Language Design and Implementation<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (PLDI 2023), researchers from Microsoft and Purdue University propose a novel trace-guided approach to tackle the challenges of ambiguity and generalization in synthesis of recursive functional programs from examples. This approach augments the search space of programs with recursion traces consisting of sequences of recursive subcalls of programs. It is based on a new version space algebra (VSA) for succinct representation and efficient manipulation of pairs of recursion traces and programs that are consistent with each other. The researchers implement this approach in a tool called SyRup. Evaluating SyRup on benchmarks from prior work demonstrates that it not only requires fewer examples to achieve a certain success rate than existing synthesizers, but is also less sensitive to the quality of the examples.\u00a0<\/p>\n\n\n\n<p>These results indicate that utilizing recursion traces to differentiate satisfying programs with similar sizes is applicable to a wide range of tasks.\u00a0<\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--3\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/trace-guided-inductive-synthesis-of-recursive-functional-programs\/\">Read the paper<\/a><\/div>\n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity is-style-dots\"\/>\n\n\n\n<h6 class=\"wp-block-heading has-blue-color has-text-color\" id=\"new-research-2\">NEW RESEARCH<\/h6>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"wait-free-weak-reference-counting\">Wait-Free Weak Reference Counting<\/h2>\n\n\n\n<p>Reference counting is a common approach to memory management. One challenge with reference counting is cycles that prevent objects from being deallocated. Systems such as the C++ and Rust standard libraries introduce two types of reference: strong and weak. A strong reference allows access to the object and prevents the object from being deallocated, while a weak reference only prevents deallocation. A weak reference can be upgraded to provide a strong reference if other strong references to the object exist. Hence, the upgrade operation is partial, and may fail dynamically. The classic implementation of this upgrade operation is not wait-free\u2014it can take arbitrarily long to complete if there is contention on the reference count.<\/p>\n\n\n\n<p>In a new paper: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/wait-free-weak-reference-counting\/\" target=\"_blank\" rel=\"noreferrer noopener\">Wait-Free Weak Reference Counting<\/a>, researchers from Microsoft propose a wait-free algorithm for weak reference counting, which requires primitive wait-free atomic operations of \u201ccompare and swap\u201d, and \u201cfetch and add\u201d. The paper includes a correctness proof of the algorithm using the Starling verification tool, a full implementation in C++, and a demonstration of the best- and worst-case performance using micro-benchmarks.<\/p>\n\n\n\n<p>The new algorithm is faster than the classic algorithm in the best case, but has an overhead in the worst case. The researchers present a more complex algorithm that effectively combines the classic algorithm and the wait-free algorithm, delivering much better performance in the worst case, while maintaining the benefits of the wait-free algorithm.<\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--4\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/wait-free-weak-reference-counting\/\">Read the paper<\/a><\/div>\n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity is-style-dots\"\/>\n\n\n\n<h6 class=\"wp-block-heading has-blue-color has-text-color\" id=\"new-research-3\">NEW RESEARCH<\/h6>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"disaggregating-stateful-network-functions\">Disaggregating Stateful Network Functions<\/h2>\n\n\n\n<p>For security, isolation, metering, and other purposes, public clouds today implement complex network functions at every server. Today\u2019s implementations, in software or on FPGAs and ASICs that are attached to each host, are becoming increasingly complex and costly, creating bottlenecks to scalability.<\/p>\n\n\n\n<p>In a new paper: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/disaggregating-stateful-network-functions\/\">Disaggregating Stateful Network Functions<\/a>, researchers from Microsoft present a different design that disaggregates network function processing off the host and into shared resource pools by making novel use of appliances which tightly integrate general-purpose ARM cores with high-speed stateful match processing ASICs. When work is skewed across VMs, such disaggregation can offer better reliability and performance over the state of the art, at a lower per-server cost. The paper, which was published at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/www.usenix.org\/conference\/nsdi23\" target=\"_blank\" rel=\"noopener noreferrer\">2023 USENIX Symposium on Networked Systems Design and Implementation<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (NSDI), includes solutions to the consequent challenges and presents results from a production deployment at a large public cloud.<\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--5\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/disaggregating-stateful-network-functions\/\">Read the paper<\/a><\/div>\n\n\n\n<div class=\"wp-block-button is-style-fill-download\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/04\/sirius_nsdi_2023_v3_split.pptx\">Presentation<\/a><\/div>\n\n\n\n<div class=\"wp-block-button\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/learn.microsoft.com\/en-us\/azure\/networking\/nva-accelerated-connections\" target=\"_blank\" rel=\"noreferrer noopener\">Azure public preview<\/a><\/div>\n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity is-style-dots\"\/>\n\n\n\n<h6 class=\"wp-block-heading has-blue-color has-text-color\" id=\"new-research-4\">NEW RESEARCH<\/h6>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"industrial-strength-controlled-concurrency-testing-for-c-programs-with-coyote\">Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote<\/h2>\n\n\n\n<p>Testing programs with concurrency is challenging because their execution is non-deterministic, making bugs hard to find, re-produce and debug. Non-determinism can cause <em>flaky <\/em>tests\u2014which may pass or fail without any code changes\u2014creating a significant engineering burden on development teams. As concurrency is essential for building modern multi-threaded or distributed systems, solutions are required to help developers test their concurrent code for correctness.<\/p>\n\n\n\n<p>Testing concurrent programs comes with two main challenges. First is the problem of reproducibility or control, while the second challenge is the state-space explosion problem. A concurrent program, even with a fixed test input, can have an enormous number of possible behaviors.<\/p>\n\n\n\n<p>In a new research paper: <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/industrial-strength-controlled-concurrency-testing-for-c-programs-with-coyote\/\">Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote,<\/a> researchers from Microsoft describe the design and implementation of the open-source tool Coyote for testing concurrent programs written in the C# language. This research won a <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/pdeligia.github.io\/lib\/awards\/easst_etaps_award_2023.pdf\" target=\"_blank\" rel=\"noopener noreferrer\">2023 Best Software Science Paper award<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> from The European Association of Software Science and Technology (EASST).<\/p>\n\n\n\n<div class=\"wp-block-buttons is-content-justification-center is-content-justification-center is-layout-flex wp-container-core-buttons-is-layout-16018d1d wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button is-style-outline is-style-outline--6\"><a data-bi-type=\"button\" class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/industrial-strength-controlled-concurrency-testing-for-c-programs-with-coyote\/\">Read the paper<\/a><\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>In this issue: Our new Responsible AI Maturity Model; FoundWright helps \u201cre-find\u201d web pages; Trace-guided Inductive Synthesis of Recursive Functional Programs; a wait-free algorithm for weak reference counting; and new research on concurrency testing. <\/p>\n","protected":false},"author":42183,"featured_media":950424,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr-author-ordering":[],"msr_hide_image_in_river":0,"footnotes":""},"categories":[1],"tags":[],"research-area":[13556,13554,13560,13547],"msr-region":[],"msr-event-type":[],"msr-locale":[268875],"msr-post-option":[243984],"msr-impact-theme":[],"msr-promo-type":[],"msr-podcast-series":[],"class_list":["post-949350","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-research-blog","msr-research-area-artificial-intelligence","msr-research-area-human-computer-interaction","msr-research-area-programming-languages-software-engineering","msr-research-area-systems-and-networking","msr-locale-en_us","msr-post-option-blog-homepage-featured"],"msr_event_details":{"start":"","end":"","location":""},"podcast_url":"","podcast_episode":"","msr_research_lab":[199562,199565],"msr_impact_theme":[],"related-publications":[],"related-downloads":[],"related-videos":[],"related-academic-programs":[],"related-groups":[144939,559983,578422],"related-projects":[647265,615984],"related-events":[],"related-researchers":[],"msr_type":"Post","featured_image_thumbnail":"<img width=\"960\" height=\"540\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-960x540.jpg\" class=\"img-object-cover\" alt=\"Microsoft Research Focus 18 | Week of June 19, 2023\" decoding=\"async\" loading=\"lazy\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-960x540.jpg 960w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-300x169.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-1024x576.jpg 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-768x432.jpg 768w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-1066x600.jpg 1066w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-655x368.jpg 655w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-343x193.jpg 343w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-240x135.jpg 240w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-640x360.jpg 640w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1-1280x720.jpg 1280w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2023\/06\/RF18-blog-hero-1400x788-1.jpg 1400w\" sizes=\"auto, (max-width: 960px) 100vw, 960px\" \/>","byline":"","formattedDate":"June 23, 2023","formattedExcerpt":"In this issue: Our new Responsible AI Maturity Model; FoundWright helps \u201cre-find\u201d web pages; Trace-guided Inductive Synthesis of Recursive Functional Programs; a wait-free algorithm for weak reference counting; and new research on concurrency testing.","locale":{"slug":"en_us","name":"English","native":"","english":"English"},"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/949350","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/users\/42183"}],"replies":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/comments?post=949350"}],"version-history":[{"count":15,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/949350\/revisions"}],"predecessor-version":[{"id":952878,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/949350\/revisions\/952878"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/950424"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=949350"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/categories?post=949350"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/tags?post=949350"},{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=949350"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=949350"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=949350"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=949350"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=949350"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=949350"},{"taxonomy":"msr-promo-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-promo-type?post=949350"},{"taxonomy":"msr-podcast-series","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-podcast-series?post=949350"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}