{"id":757234,"date":"2021-06-29T10:08:37","date_gmt":"2021-06-29T17:08:37","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=757234"},"modified":"2025-08-06T11:51:17","modified_gmt":"2025-08-06T18:51:17","slug":"cav-2021","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/cav-2021\/","title":{"rendered":"Microsoft at CAV 2021"},"content":{"rendered":"\n\n

Time zone:<\/strong> PST (UTC\u221208:00)<\/p>\n

Website:<\/strong> CAV 2021 (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is excited to be a Platinum sponsor of the CAV 2021 is the 33rd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.\u202fThe conference will be held online, July 18-24, 2021.\u202fIt was originally planned to take place in Los Angeles, California, USA.<\/p>\n

The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science (opens in new tab)<\/span><\/a> series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design (opens in new tab)<\/span><\/a> and the Journal of the ACM (opens in new tab)<\/span><\/a>.<\/p>\n

See information of CAV from previous years (opens in new tab)<\/span><\/a>.<\/p>\n

<\/div>\n

CAV Award<\/h2>\n

Microsoft is proud to announce three of our very own researchers have received the CAV Award this year. Please join me in congratulating Nikolaj Bj\u00f8rner<\/a>, Shuvendu Lahiri<\/a>, and Leonardo de Moura<\/a> on this achievement.<\/p>\n

https:\/\/x.com\/confCAV\/status\/1418634900324986893?s=20<\/p>\n

<\/div>\n
\n
<\/div>\n

Microsoft Virtual Session<\/h2>\n

Microsoft hosted an interactive session Tuesday, July 20\u00a0at the CAV conference open to all conference attendees. This session was hosted with Microsoft researchers\u00a0Nikolaj Bjorner<\/a>,\u00a0Shuvendu Lahiri<\/a>,\u00a0Akash Lal<\/a>,\u00a0Andrey Rybalchenko<\/a>, and\u00a0Nikhil Swamy<\/a> who presented a broad overview of current projects and objectives while creating opportunities for ongoing engagements and potential external candidates. If you missed this session, please feel free to review the deck<\/a>\u00a0and follow up directly with any of the researchers involved.<\/p>\n

\n\t\n\t\tReview the deck\t<\/a>\n\n\t<\/div>\n
<\/div>\n
\n
<\/div>\n

Accepted papers<\/h2>\n

Synthesis with Asymptotic Resource Bounds<\/strong><\/a>
\nQinheping Hu, John Cyphert,\u202fLoris D\u2019Antoni\u202fand\u202fThomas Reps<\/p>\n

<\/div>\n
\n
<\/div>\n

Program Committee members<\/h2>\n

Nikolaj Bjorner<\/a>, Senior Principal Researcher
\nLeonardo de Moura<\/a>, Senior Principal Researcher
\nShuvendu Lahiri<\/a>, Senior Principal Researcher
\nAkash Lal<\/a>, Senior Principal Researcher
\nMadan Musuvathi<\/a>, Partner Research Manager
\nAndrey Rybalchenko<\/a>, Senior Principal Researcher
\nNihkil Swamy<\/a>, Senior Principal ResearcherOpens in a new tab<\/span><\/p>\n

We currently have 100\u2019s of ML roles open across our teams in North America. Please check out our Careers at Microsoft | Microsoft jobs (opens in new tab)<\/span><\/a> for all available openings within your field.<\/p>\n

You may also fill out this quick interest form (opens in new tab)<\/span><\/a> to leave us your information! See candidate FAQs here (opens in new tab)<\/span><\/a>.Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Microsoft is excited to be a Platinum sponsor of the CAV 2021 is the 33rd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.\u202fThe conference will be held online,\u202fJuly 18-24, 2021.\u202fIt was originally planned to take place in Los Angeles, California, USA.<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2021-07-18","msr_enddate":"2021-07-24","msr_location":"Virtual","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":true,"msr_private_event":false,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[13556],"msr-region":[256048],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-757234","msr-event","type-msr-event","status-publish","hentry","msr-research-area-artificial-intelligence","msr-region-global","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"\n\n

Time zone:<\/strong> PST (UTC\u221208:00)<\/p>\n

Website:<\/strong> CAV 2021 (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is excited to be a Platinum sponsor of the CAV 2021 is the 33rd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.\u202fThe conference will be held online, July 18-24, 2021.\u202fIt was originally planned to take place in Los Angeles, California, USA.<\/p>\n

The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science<\/a> series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design<\/a> and the Journal of the ACM<\/a>.<\/p>\n

See information of CAV from previous years<\/a>.<\/p>\n

<\/div>\n

CAV Award<\/h2>\n

Microsoft is proud to announce three of our very own researchers have received the CAV Award this year. Please join me in congratulating Nikolaj Bj\u00f8rner<\/a>, Shuvendu Lahiri<\/a>, and Leonardo de Moura<\/a> on this achievement.<\/p>\n

https:\/\/x.com\/confCAV\/status\/1418634900324986893?s=20<\/p>\n

<\/div>\n
\n
<\/div>\n

Microsoft Virtual Session<\/h2>\n

Microsoft hosted an interactive session Tuesday, July 20\u00a0at the CAV conference open to all conference attendees. This session was hosted with Microsoft researchers\u00a0Nikolaj Bjorner<\/a>,\u00a0Shuvendu Lahiri<\/a>,\u00a0Akash Lal<\/a>,\u00a0Andrey Rybalchenko<\/a>, and\u00a0Nikhil Swamy<\/a> who presented a broad overview of current projects and objectives while creating opportunities for ongoing engagements and potential external candidates. If you missed this session, please feel free to review the deck<\/a>\u00a0and follow up directly with any of the researchers involved.<\/p>\n

\n\t\n\t\tReview the deck\t<\/a>\n\n\t<\/div>\n
<\/div>\n
\n
<\/div>\n

Accepted papers<\/h2>\n

Synthesis with Asymptotic Resource Bounds<\/strong><\/a>
\nQinheping Hu, John Cyphert,\u202fLoris D\u2019Antoni\u202fand\u202fThomas Reps<\/p>\n

<\/div>\n
\n
<\/div>\n

Program Committee members<\/h2>\n

Nikolaj Bjorner<\/a>, Senior Principal Researcher
\nLeonardo de Moura<\/a>, Senior Principal Researcher
\nShuvendu Lahiri<\/a>, Senior Principal Researcher
\nAkash Lal<\/a>, Senior Principal Researcher
\nMadan Musuvathi<\/a>, Partner Research Manager
\nAndrey Rybalchenko<\/a>, Senior Principal Researcher
\nNihkil Swamy<\/a>, Senior Principal ResearcherOpens in a new tab<\/span><\/p>\n

We currently have 100\u2019s of ML roles open across our teams in North America. Please check out our Careers at Microsoft | Microsoft jobs (opens in new tab)<\/span><\/a> for all available openings within your field.<\/p>\n

You may also fill out this quick interest form (opens in new tab)<\/span><\/a> to leave us your information! See candidate FAQs here (opens in new tab)<\/span><\/a>.Opens in a new tab<\/span><\/p>\n","tab-content":[{"id":0,"name":"About","content":"Microsoft is excited to be a Platinum sponsor of the CAV 2021 is the 33rd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.\u202fThe conference will be held online, July 18-24, 2021.\u202fIt was originally planned to take place in Los Angeles, California, USA.\r\n\r\nThe conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as biological systems and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science<\/a> series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design<\/a> and the Journal of the ACM<\/a>.\r\n\r\nSee information of CAV from previous years<\/a>.\r\n

<\/div>\r\n

CAV Award<\/h2>\r\nMicrosoft is proud to announce three of our very own researchers have received the CAV Award this year. Please join me in congratulating Nikolaj Bj\u00f8rner<\/a>, Shuvendu Lahiri<\/a>, and Leonardo de Moura<\/a> on this achievement.\r\n\r\nhttps:\/\/x.com\/confCAV\/status\/1418634900324986893?s=20\r\n
<\/div>\r\n\r\n
\r\n\r\n
<\/div>\r\n

Microsoft Virtual Session<\/h2>\r\nMicrosoft hosted an interactive session Tuesday, July 20\u00a0at the CAV conference open to all conference attendees. This session was hosted with Microsoft researchers\u00a0Nikolaj Bjorner<\/a>,\u00a0Shuvendu Lahiri<\/a>,\u00a0Akash Lal<\/a>,\u00a0Andrey Rybalchenko<\/a>, and\u00a0Nikhil Swamy<\/a> who presented a broad overview of current projects and objectives while creating opportunities for ongoing engagements and potential external candidates. If you missed this session, please feel free to review the deck<\/a>\u00a0and follow up directly with any of the researchers involved.\r\n
[msr-button text=\"Review the deck\" url=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2021\/07\/MSR-at-CAV-21.pdf\" new-window=\"true\" ]<\/div>\r\n
<\/div>\r\n\r\n
\r\n\r\n
<\/div>\r\n

Accepted papers<\/h2>\r\nSynthesis with Asymptotic Resource Bounds<\/strong><\/a>\r\nQinheping Hu, John Cyphert,\u202fLoris D\u2019Antoni\u202fand\u202fThomas Reps\r\n
<\/div>\r\n\r\n
\r\n\r\n
<\/div>\r\n

Program Committee members<\/h2>\r\nNikolaj Bjorner<\/a>, Senior Principal Researcher\r\nLeonardo de Moura<\/a>, Senior Principal Researcher\r\nShuvendu Lahiri<\/a>, Senior Principal Researcher\r\nAkash Lal<\/a>, Senior Principal Researcher\r\nMadan Musuvathi<\/a>, Partner Research Manager\r\nAndrey Rybalchenko<\/a>, Senior Principal Researcher\r\nNihkil Swamy<\/a>, Senior Principal Researcher"},{"id":1,"name":"Career opportunities","content":"We currently have 100\u2019s of ML roles open across our teams in North America. Please check out our Careers at Microsoft | Microsoft jobs<\/a> for all available openings within your field.\r\n\r\nYou may also fill out this quick interest form<\/a> to leave us your information! See candidate FAQs here<\/a>."}],"msr_startdate":"2021-07-18","msr_enddate":"2021-07-24","msr_event_time":"","msr_location":"Virtual","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"July 18, 2021","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"Microsoft is excited to be a Platinum sponsor of the CAV 2021 is the 33rd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.\u202fThe conference will be held online,\u202fJuly 18-24, 2021.\u202fIt was originally planned to take place in Los Angeles, California, USA.","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/757234","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":6,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/757234\/revisions"}],"predecessor-version":[{"id":1146864,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/757234\/revisions\/1146864"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=757234"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=757234"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=757234"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=757234"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=757234"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=757234"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=757234"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=757234"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=757234"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}