{"id":1271,"date":"2017-01-21T00:00:51","date_gmt":"2017-01-21T09:00:51","guid":{"rendered":"http:\/\/prg.is.titech.ac.jp\/?p=1271"},"modified":"2017-01-31T04:47:27","modified_gmt":"2017-01-31T13:47:27","slug":"coqpl17","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/coqpl17\/","title":{"rendered":"CoqPL 2017\u3067\u691c\u8a3c\u6e08\u307f GPGPU \u7528 DSL \u306b\u3064\u3044\u3066\u306e\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:\/\/conf.researchr.org\/track\/CoqPL-2017\/main\">CoqPL 2017<\/a>, co-located with POPL 2017. The paper is available\u00a0<a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/CoqPL_2017_paper_15.pdf\">here<\/a>.<\/p>\n<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"size-full wp-image-1323\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2017\/01\/coqpl2017-1.jpg?resize=320%2C320&#038;ssl=1\" alt=\"Asakura's presentation at CoqPL'17\" width=\"320\" height=\"320\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2017\/01\/coqpl2017-1.jpg?resize=150%2C150&amp;ssl=1 150w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2017\/01\/coqpl2017-1.jpg?zoom=2&amp;resize=320%2C320&amp;ssl=1 640w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2017\/01\/coqpl2017-1.jpg?zoom=3&amp;resize=320%2C320&amp;ssl=1 960w\" sizes=\"auto, (max-width: 320px) 100vw, 320px\" \/><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\u8ad6\u6587 &#8220;CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL&#8221; \u304c <a href=\"http:\/\/conf.researchr.org\/track\/CoqPL-2017\/main\">CoqPL 2017<\/a> (POPL 2017\u3068\u5171\u540c\u958b\u50ac) \u3067\u767a\u8868\u3055\u308c\u307e\u3059\uff0e\u8ad6\u6587\u306f<a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2016\/11\/CoqPL_2017_paper_15.pdf\">\u3053\u3061\u3089<\/a>\u304b\u3089\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9\u3067\u304d\u307e\u3059\uff0e<\/p>\n<p><img data-recalc-dims=\"1\" decoding=\"async\" loading=\"lazy\" class=\"size-full wp-image-1323\" src=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2017\/01\/coqpl2017-1.jpg?resize=320%2C320&#038;ssl=1\" alt=\"Asakura's presentation at CoqPL'17\" width=\"320\" height=\"320\" srcset=\"https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2017\/01\/coqpl2017-1.jpg?resize=150%2C150&amp;ssl=1 150w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2017\/01\/coqpl2017-1.jpg?zoom=2&amp;resize=320%2C320&amp;ssl=1 640w, https:\/\/i0.wp.com\/prg.is.titech.ac.jp\/wp-content\/uploads\/2017\/01\/coqpl2017-1.jpg?zoom=3&amp;resize=320%2C320&amp;ssl=1 960w\" sizes=\"auto, (max-width: 320px) 100vw, 320px\" \/><\/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 CoqPL 2017, co-located wit&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/coqpl17\/\">Continue Reading CoqPL 2017\u3067\u691c\u8a3c\u6e08\u307f GPGPU \u7528 DSL \u306b\u3064\u3044\u3066\u306e\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-1271","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\/1271","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=1271"}],"version-history":[{"count":8,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1271\/revisions"}],"predecessor-version":[{"id":1325,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/1271\/revisions\/1325"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=1271"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=1271"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=1271"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}