{"id":330,"date":"2019-04-01T17:40:02","date_gmt":"2019-04-01T15:40:02","guid":{"rendered":"http:\/\/www.ens-lyon.fr\/LIP\/CASH\/?p=330"},"modified":"2019-04-01T17:40:02","modified_gmt":"2019-04-01T15:40:02","slug":"7th-cash-reading-group-10-4-at-930","status":"publish","type":"post","link":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/?p=330","title":{"rendered":"7th Cash reading group: 10\/4 at 9:30"},"content":{"rendered":"<p><strong>7th edition of CASH paper presentation<\/strong> will be on<br \/>\n<strong>April 10 at 9:30<\/strong><br \/>\n<strong>Salle de r\u00e9union M7 3\u00e8me \u00e9tage<br \/>\n<\/strong><\/p>\n<p><strong>Program:<\/strong><\/p>\n<ul>\n<li>Laure Gonnord: &#8220;Relational Program Reasoning&#8221; based on:\n<ul>\n<li>Relational Program Reasoning Using Compiler IR VSTTE 2016, Moritz<br \/>\nKiefer, Vladimir Klebanov, Mattias Ulbrich<\/li>\n<li>De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.:<br \/>\nRelational verification through Horn clause transformation., SAS 2016<\/li>\n<li>(opt) Beckert, B., Bormer, T., Gocht, S., Herda, M., Lentzsch, D.,<br \/>\nUlbrich, M.: Sem-slice: Exploiting relational verification for<br \/>\nautomatic program slicing. Tool paper IFM 2017<\/li>\n<\/ul>\n<\/li>\n<li>Paul Iannetta: &#8220;Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code&#8221;Riyadh Baghdadi, Jessica Ray, Malek Ben Romdhane, Emanuele Del Sozzo, Abdurrahman Akkas, Yunming Zhang, Patricia Suriana, Shoaib Kamil, and Saman Amarasinghe. 2019.\u00a0<em> International Symposium on Code Generation and Optimization<\/em> (CGO 2019).<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>7th edition of CASH paper presentation will be on April 10 at 9:30 Salle de r\u00e9union M7 3\u00e8me \u00e9tage Program: Laure Gonnord: &#8220;Relational Program Reasoning&#8221; based on: Relational Program Reasoning Using Compiler IR VSTTE 2016, Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.: Relational verification through Horn clause &hellip; <a href=\"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/?p=330\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;7th Cash reading group: 10\/4 at 9:30&#8221;<\/span><\/a><\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-330","post","type-post","status-publish","format-standard","hentry","category-paper-presentation"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/posts\/330","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=330"}],"version-history":[{"count":1,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/posts\/330\/revisions"}],"predecessor-version":[{"id":331,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=\/wp\/v2\/posts\/330\/revisions\/331"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=330"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=330"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/CASH\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=330"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}