{"id":5274,"date":"2022-08-31T00:00:00","date_gmt":"2022-08-31T09:00:00","guid":{"rendered":"https:\/\/prg.is.titech.ac.jp\/?p=5274"},"modified":"2023-08-20T00:36:31","modified_gmt":"2023-08-20T09:36:31","slug":"jssst2022","status":"publish","type":"post","link":"https:\/\/prg.is.titech.ac.jp\/ja\/news\/jssst2022\/","title":{"rendered":"\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u5927\u4f1a\u30672\u4ef6\u306e\u767a\u8868"},"content":{"rendered":"<p>\u6771\u4eac\u5927\u5b66\u672c\u90f7\u30ad\u30e3\u30f3\u30d1\u30b9\u304a\u3088\u3073\u30aa\u30f3\u30e9\u30a4\u30f3\u306e\u30cf\u30a4\u30d6\u30ea\u30c3\u30c9\u5f62\u5f0f\u3067\u958b\u50ac\u3055\u308c\u308b<a rel=\"noreferrer noopener\" href=\"https:\/\/jssst2022.wordpress.com\/\" target=\"_blank\">2022\u5e74\u5ea6\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c39\u56de\u5927\u4f1a<\/a>\u306b\u30662\u4ef6\u306e\u8ad6\u6587\u767a\u8868\u304c\u3042\u308a\u307e\u3059\u3002 <\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>\u6728\u5185\u5eb7\u4ecb\" target=\"_blank\" rel=\"noopener\">Kosuke Kiuchi<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a> and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>. &#8212;&#8212; <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/kiuchi\/\" data-internallinksmanager029f6b8e52c=\"327\" title=\"\u6728\u5185\u5eb7\u4ecb\" target=\"_blank\" rel=\"noopener\">\u6728\u5185\u5eb7\u4ecb<\/a>, <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\u82f1\u5f66<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2\u60a0\u60a0<\/a>. \u5b66\u7fd2\u8005\u81ea\u8eab\u304c\u7269\u7406\u73fe\u8c61\u3092\u30e2\u30c7\u30eb\u5316\u3059\u308b\u30b7\u30df\u30e5\u30ec\u30fc\u30bf SimSym \u306e\u63d0\u6848<\/li><li><a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/sakai\/\" data-internallinksmanager029f6b8e52c=\"326\" title=\"\u9152\u4e95\u5927\u6211\" target=\"_blank\" rel=\"noopener\">Taiga Sakai<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/masuhara\/\" data-internallinksmanager029f6b8e52c=\"285\" title=\"\u5897\u539f\u82f1\u5f66\" target=\"_blank\" rel=\"noopener\">Hidehiko Masuhara<\/a> and <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">Youyou Cong<\/a>. &#8212;&#8212;- <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/sakai\/\" data-internallinksmanager029f6b8e52c=\"326\" title=\"\u9152\u4e95\u5927\u6211\" target=\"_blank\" rel=\"noopener\">\u9152\u4e95\u5927\u6211<\/a>, <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\u82f1\u5f66<\/a>, <a href=\"https:\/\/prg.is.titech.ac.jp\/ja\/people\/cong\/\" data-internallinksmanager029f6b8e52c=\"298\" title=\"\u53e2\u60a0\u60a0\" target=\"_blank\" rel=\"noopener\">\u53e2\u60a0\u60a0<\/a>. \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u6559\u80b2\u306e\u305f\u3081\u306e\u76ee\u7684\u6587\u4f5c\u6210\u624b\u9806\u306e\u63d0\u6848\u3068\u76ee\u7684\u6587\u4f5c\u6210\u652f\u63f4\u74b0\u5883\u306e\u4e88\u5099\u8a2d\u8a08<\/li><\/ul>\n\n\n\n<!--more-->\n\n\n\n<div data-wp-interactive=\"core\/file\" id=\"takeuchi\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-23.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of How many mutex bugs can a simple analysis find in Go programs?.\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-28498fa7-a875-4f88-9606-2e17af9e9a41\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-23.pdf\">How many mutex bugs can a simple analysis find in Go programs?<\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-23.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-28498fa7-a875-4f88-9606-2e17af9e9a41\">Download<\/a><\/div>\n\n\n\n<div data-wp-interactive=\"core\/file\" id=\"fathul\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-5.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation.\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-9f712734-ef5c-4bb2-9650-31b1f7c05317\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-5.pdf\">Supporting Multiple Inheritance in an Object-Oriented DSL for GPGPU by Class Hierarchy Transformation<\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-5.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-9f712734-ef5c-4bb2-9650-31b1f7c05317\">Download<\/a><\/div>\n\n\n\n<div data-wp-interactive=\"core\/file\" id=\"rifqi\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!state.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-45.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of Visual Debugger with a Customizable View.\u306e\u57cb\u3081\u8fbc\u307f\u3002\"><\/object><a id=\"wp-block-file--media-dbbfbd9e-3b76-42ba-a0c6-dde4faf02a0c\" href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-45.pdf\">Visual Debugger with a Customizable View<\/a><a href=\"https:\/\/prg.is.titech.ac.jp\/wp-content\/uploads\/2022\/09\/jssst2022-45.pdf\" class=\"wp-block-file__button\" download aria-describedby=\"wp-block-file--media-dbbfbd9e-3b76-42ba-a0c6-dde4faf02a0c\">Download<\/a><\/div>","protected":false},"excerpt":{"rendered":"<p>\u6771\u4eac\u5927\u5b66\u672c\u90f7\u30ad\u30e3\u30f3\u30d1\u30b9\u304a\u3088\u3073\u30aa\u30f3\u30e9\u30a4\u30f3\u306e\u30cf\u30a4\u30d6\u30ea\u30c3\u30c9\u5f62\u5f0f\u3067\u958b\u50ac\u3055\u308c\u308b2022\u5e74\u5ea6\u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u7b2c39\u56de\u5927\u4f1a\u306b\u30662\u4ef6\u306e\u8ad6\u6587\u767a\u8868\u304c\u3042\u308a\u307e\u3059\u3002 \u6728\u5185\u5eb7\u4ecb&#8221; target=&#8221;_blank&#8221; rel=&#8221;noopener&#8221;>&hellip; <a class=\"continue\" href=\"https:\/\/prg.is.titech.ac.jp\/ja\/news\/jssst2022\/\">Continue Reading \u65e5\u672c\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u79d1\u5b66\u4f1a\u5927\u4f1a\u30672\u4ef6\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":[41,5,19],"tags":[],"class_list":["post-5274","post","type-post","status-publish","format-standard","hentry","category-jigsaw","category-news","category-sanajeh","radius"],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/5274","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=5274"}],"version-history":[{"count":24,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/5274\/revisions"}],"predecessor-version":[{"id":6113,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/posts\/5274\/revisions\/6113"}],"wp:attachment":[{"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/media?parent=5274"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/categories?post=5274"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prg.is.titech.ac.jp\/ja\/wp-json\/wp\/v2\/tags?post=5274"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}