{"id":1114,"date":"2021-11-29T20:13:00","date_gmt":"2021-11-30T04:13:00","guid":{"rendered":"https:\/\/www.tvmcon.org\/?post_type=events&#038;p=1114"},"modified":"2021-11-29T20:36:30","modified_gmt":"2021-11-30T04:36:30","slug":"verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching","status":"publish","type":"events","link":"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/","title":{"rendered":"Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching"},"content":{"rendered":"","protected":false},"template":"","acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v17.7.1 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching - TVMCon 2021<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching - TVMCon 2021\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/\" \/>\n<meta property=\"og:site_name\" content=\"TVMCon 2021\" \/>\n<meta property=\"article:modified_time\" content=\"2021-11-30T04:36:30+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.tvmcon.org\/#organization\",\"name\":\"TVM Conference\",\"url\":\"https:\/\/www.tvmcon.org\/\",\"sameAs\":[],\"logo\":{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.tvmcon.org\/#logo\",\"inLanguage\":\"en-US\",\"url\":\"https:\/\/www.tvmcon.org.dream.website\/wp-content\/uploads\/2021\/10\/TVM-Conference-logo.png\",\"contentUrl\":\"https:\/\/www.tvmcon.org.dream.website\/wp-content\/uploads\/2021\/10\/TVM-Conference-logo.png\",\"width\":1200,\"height\":390,\"caption\":\"TVM Conference\"},\"image\":{\"@id\":\"https:\/\/www.tvmcon.org\/#logo\"}},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.tvmcon.org\/#website\",\"url\":\"https:\/\/www.tvmcon.org\/\",\"name\":\"TVMCon 2021\",\"description\":\"Apache TVM and Open Source ML Acceleration Conference\",\"publisher\":{\"@id\":\"https:\/\/www.tvmcon.org\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.tvmcon.org\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/#webpage\",\"url\":\"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/\",\"name\":\"Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching - TVMCon 2021\",\"isPartOf\":{\"@id\":\"https:\/\/www.tvmcon.org\/#website\"},\"datePublished\":\"2021-11-30T04:13:00+00:00\",\"dateModified\":\"2021-11-30T04:36:30+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.tvmcon.org\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching\"}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching - TVMCon 2021","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/","og_locale":"en_US","og_type":"article","og_title":"Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching - TVMCon 2021","og_url":"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/","og_site_name":"TVMCon 2021","article_modified_time":"2021-11-30T04:36:30+00:00","twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Organization","@id":"https:\/\/www.tvmcon.org\/#organization","name":"TVM Conference","url":"https:\/\/www.tvmcon.org\/","sameAs":[],"logo":{"@type":"ImageObject","@id":"https:\/\/www.tvmcon.org\/#logo","inLanguage":"en-US","url":"https:\/\/www.tvmcon.org.dream.website\/wp-content\/uploads\/2021\/10\/TVM-Conference-logo.png","contentUrl":"https:\/\/www.tvmcon.org.dream.website\/wp-content\/uploads\/2021\/10\/TVM-Conference-logo.png","width":1200,"height":390,"caption":"TVM Conference"},"image":{"@id":"https:\/\/www.tvmcon.org\/#logo"}},{"@type":"WebSite","@id":"https:\/\/www.tvmcon.org\/#website","url":"https:\/\/www.tvmcon.org\/","name":"TVMCon 2021","description":"Apache TVM and Open Source ML Acceleration Conference","publisher":{"@id":"https:\/\/www.tvmcon.org\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.tvmcon.org\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/#webpage","url":"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/","name":"Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching - TVMCon 2021","isPartOf":{"@id":"https:\/\/www.tvmcon.org\/#website"},"datePublished":"2021-11-30T04:13:00+00:00","dateModified":"2021-11-30T04:36:30+00:00","breadcrumb":{"@id":"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.tvmcon.org\/events\/verifiable-compilation-to-accelerators-using-a-formal-software-hardware-interface-and-flexible-matching\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.tvmcon.org\/"},{"@type":"ListItem","position":2,"name":"Verifiable Compilation to Accelerators Using a Formal Software\/Hardware Interface and Flexible Matching"}]}]}},"_links":{"self":[{"href":"https:\/\/www.tvmcon.org\/wp-json\/wp\/v2\/events\/1114"}],"collection":[{"href":"https:\/\/www.tvmcon.org\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.tvmcon.org\/wp-json\/wp\/v2\/types\/events"}],"version-history":[{"count":3,"href":"https:\/\/www.tvmcon.org\/wp-json\/wp\/v2\/events\/1114\/revisions"}],"predecessor-version":[{"id":1154,"href":"https:\/\/www.tvmcon.org\/wp-json\/wp\/v2\/events\/1114\/revisions\/1154"}],"wp:attachment":[{"href":"https:\/\/www.tvmcon.org\/wp-json\/wp\/v2\/media?parent=1114"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}