{"id":1209,"date":"2016-11-22T00:00:47","date_gmt":"2016-11-22T09:00:47","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=1209"},"modified":"2016-11-25T06:52:15","modified_gmt":"2016-11-25T15:52:15","slug":"poster-presentation-on-a-certified-dsl-for-gpgpu-at-aplas16","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/poster-presentation-on-a-certified-dsl-for-gpgpu-at-aplas16\/","title":{"rendered":"APLAS 2016\u3067 GPGPU \u7528 DSL \u306e\u5f62\u5f0f\u691c\u8a3c\u306b\u95a2\u3059\u308b\u30dd\u30b9\u30bf\u30fc\u767a\u8868"},"content":{"rendered":"<p>\u671d\u5009\u6cc9\" target=\"_blank\" rel=\"noopener\">Asakura<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Masuhara<\/a>, and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">Aotani<\/a>), is presented at <a href=\"http:\/\/soict.hust.edu.vn\/~aplas2016\/\">APLAS 2016<\/a>.<a href=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161122_152834.jpg?ssl=1\" rel=\"attachment wp-att-1304\"><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"alignnone size-medium wp-image-1304\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161122_152834.jpg?resize=300%2C169&#038;ssl=1\" alt=\"1-20161122_152834\" width=\"300\" height=\"169\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161122_152834.jpg?resize=300%2C169&amp;ssl=1 300w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161122_152834.jpg?resize=768%2C432&amp;ssl=1 768w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161122_152834.jpg?resize=1024%2C576&amp;ssl=1 1024w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161122_152834.jpg?resize=190%2C107&amp;ssl=1 190w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161122_152834.jpg?w=1120&amp;ssl=1 1120w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/1-20161122_152834.jpg?w=1680&amp;ssl=1 1680w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><br \/>\n<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/asakura\/\" data-internallinksmanager029f6b8e52c=\"291\" title=\"\u671d\u5009\u6cc9\" target=\"_blank\" rel=\"noopener\">\u671d\u5009<\/a>\uff0c<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">\u5897\u539f<\/a>\uff0c<a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/aotani\/\" data-internallinksmanager029f6b8e52c=\"290\" title=\"&lt;!--:en--&gt;Tomoyuki Aotani&lt;!--:--&gt;&lt;!--:ja--&gt;\u9752\u8c37\u77e5\u5e78&lt;!--:--&gt;\" target=\"_blank\" rel=\"noopener\">\u9752\u8c37<\/a>\u306b\u3088\u308b\u30dd\u30b9\u30bf\u30fc &#8220;Towards a Formally Verified Skeleton-based Data Parallel DSL for GPGPU&#8221; \u304c <a href=\"http:\/\/soict.hust.edu.vn\/~aplas2016\/\">APLAS 2016 <\/a>\u3067\u767a\u8868\u3055\u308c\u307e\u3059\uff0e<\/p>","protected":false},"excerpt":{"rendered":"<p>\u671d\u5009\u6cc9&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>Asakura, Masuhara, and Aotani), is presented at APLAS 2016. \u671d\u5009\uff0c\u5897\u539f\uff0c\u9752\u8c37\u306b\u3088\u308b\u30dd\u30b9\u30bf&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/poster-presentation-on-a-certified-dsl-for-gpgpu-at-aplas16\/\">Continue Reading APLAS 2016\u3067 GPGPU \u7528 DSL \u306e\u5f62\u5f0f\u691c\u8a3c\u306b\u95a2\u3059\u308b\u30dd\u30b9\u30bf\u30fc\u767a\u8868<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[5],"tags":[],"class_list":["post-1209","post","type-post","status-publish","format-standard","hentry","category-news","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1209","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/comments?post=1209"}],"version-history":[{"count":6,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1209\/revisions"}],"predecessor-version":[{"id":1306,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1209\/revisions\/1306"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=1209"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=1209"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=1209"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}