{"id":2394,"date":"2023-08-04T10:07:12","date_gmt":"2023-08-04T01:07:12","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=2394"},"modified":"2023-08-04T10:07:12","modified_gmt":"2023-08-04T01:07:12","slug":"distinguished-paper-award%e5%8f%97%e8%b3%9e","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/distinguished-paper-award%e5%8f%97%e8%b3%9e\/","title":{"rendered":"Distinguished paper award at 35th International Conference on Computer Aided Verification"},"content":{"rendered":"\n<p>A paper by Mayuko Kori, Ichiro Hasuo and others was awarded as Distinguished Paper Award of 35th International Conference on Computer Aided Verification.&nbsp;<\/p>\n\n\n\n<p>Authors<br>Mayuko Kori (National Institute of Informatics &amp; SOKENDAI)<br>Flavio Ascari (University of Pisa)&nbsp;<br>Filippo Bonchi (University of Pisa)&nbsp;<br>Roberto Bruni (University of Pisa)&nbsp;<br>Roberta Gori (University of Pisa)&nbsp;<br>Ichiro Hasuo (National Institute of Informatics &amp; SOKENDAI)<\/p>\n\n\n\n<p>Awarded Paper Title<br>Exploiting Adjoints in Property Directed Reachability Analysis<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"791\" height=\"1024\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-791x1024.jpg\" alt=\"\" class=\"wp-image-2384\" srcset=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-791x1024.jpg 791w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-232x300.jpg 232w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-768x994.jpg 768w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-1187x1536.jpg 1187w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-1583x2048.jpg 1583w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints.jpg 1700w\" sizes=\"auto, (max-width: 791px) 100vw, 791px\" \/><\/figure>\n\n\n\n<p>Mayuko Kori is a PhD student at SOKENDAI\/NII, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 0).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>A paper by Mayuko Kori, Ichiro Hasuo and others was awarded as Distinguished Paper Award of 35th International Conference on Computer Aided Verification.&nbsp; AuthorsMayuko Kori (National Institute of Informatics &amp; SOKENDAI)Flavio Ascari (University of Pisa)&nbsp;Filippo Bonchi (University of Pisa)&nbsp;Roberto Bruni (University of Pisa)&nbsp;Roberta Gori (University of Pisa)&nbsp;Ichiro Hasuo (National Institute of Informatics &amp; SOKENDAI) Awarded Paper TitleExploiting Adjoints in Property Directed Reachability Analysis Mayuko Kori is a PhD student at SOKENDAI\/NII, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 0).<\/p>\n","protected":false},"author":7,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"en_US","_original_post":"https:\/\/group-mmm.org\/eratommsd\/?p=2386","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2394","post","type-post","status-publish","format-standard","hentry","category-1","en-US"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2394","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=2394"}],"version-history":[{"count":1,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2394\/revisions"}],"predecessor-version":[{"id":2395,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2394\/revisions\/2395"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=2394"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=2394"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=2394"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}