| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Akio Nakata (Hiroshima City Univ.) Vice Chair: Takashi Kobayashi (Tokyo Inst. of Tech.) Secretary: Yoshiki Higo (Osaka Univ.), Kazuyuki Shima (Hiroshima City Univ.) Assistant: Shinpei Hayashi (Tokyo Inst. of Tech.) DATE: Wed, Mar 4, 2020 13:00 - 16:55 Thu, Mar 5, 2020 09:30 - 15:10 PLACE: TOPICS: ---------------------------------------- Wed, Mar 4 PM E1 (13:00 - 14:15) ---------------------------------------- (1) 13:00 - 13:25 Analysis of Problem Based Learning to Enhance Competency Masaki Yamamoto (Nagoya Univ.), Atsushi Sawada (Nanzan Univ.), Takashi Kobayashi (Tokyo Tech.), Koji Okamura (Kyushu Univ.), Atsuko Miyaji (Handai), Kazuhiko Sato (Muroran IT), Taku Okuno (FUN), Fumihiro Kumeno (NIT) (2) 13:25 - 13:50 Supporting OSS Developers to Make and Maintain README.md Files in OSS Projects Kazuki Shimizu, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.) (3) 13:50 - 14:15 A Decision Procedure for a Macro Forest Transducer being an Implementation of an XML Schema Mapping Hiroaki Tabata, Masahiko Sakai, Kenji Hashimoto (Nagoya Univ. G. S.) ----- Break ( 5 min. ) ----- ---------------------------------------- Wed, Mar 4 PM F1 (14:20 - 15:35) ---------------------------------------- (4) 14:20 - 14:45 Distortion Metrics for Trained Machine Learning Models Shin Nakajima (NII) (5) 14:45 - 15:10 Real-time scheduling to reduce memory consumption of multiprocessor systems by considering both heap memory allocation/deallocation and real-time constraints Yuki Machigashira, Akio Nakata (Hiroshima City Univ.) (6) 15:10 - 15:35 Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai (Nagoya Univ.) ----- Break ( 5 min. ) ----- ---------------------------------------- Wed, Mar 4 PM E1 (15:40 - 16:55) ---------------------------------------- (7) 15:40 - 16:05 Performance Evaluation of Automatic Bug Fixing Tool for Syntax Error Haruki Matsuo, Sho Ikeda, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.) (8) 16:05 - 16:30 The Impact of Fault Localization Considering Developers' Intuition on Automatic Bug Repair Kyosuke Yamate, Takumi Shuto, Sho Asada, Ryosuke Sato, Yasutaka Kamei, Naoyasu Ubayasi (Kyushu Univ) (9) 16:30 - 16:55 (See Japanese page.) ---------------------------------------- Thu, Mar 5 AM E3 (09:30 - 10:45) ---------------------------------------- (10) 09:30 - 09:55 Hideaki Azuma, Shinsuke Matsumoto (Osaka Univ.), Hidetake Uwano (NIT), Shinji Kusumoto (Osaka Univ.) (11) 09:55 - 10:20 Judgment Model of Merge Conflict Resolution Pattern Using Machine Learning Meta-Information Shuya Shiraki, Tetsuya Kanda, Katsurou Inoue (Osaka Univ.) (12) 10:20 - 10:45 Analysis of Software Performance Improvement Approach in Microbenchmarking Service Kazuya Saiki, Ryota Ando, Akinori Ihara (Wakayama Univ.) ----- Break ( 5 min. ) ----- ---------------------------------------- Thu, Mar 5 AM F2 (10:50 - 12:30) ---------------------------------------- (13) 10:50 - 11:15 A Type System for Information Flow Analysis of Rust Programs Kenta Hasegawa (Ritsumeikan Univ.), Hiroaki Kuwabara (Nanzan Univ.), Yoshitoshi Kunieda (Ritsumeikan Univ.) (14) 11:15 - 11:40 Soundness of Hoare Logic based Verification in Continuation Language CbC Masataka Hokama, Shinji Kono (Ryukyu Univ) (15) 11:40 - 12:05 (See Japanese page.) (16) 12:05 - 12:30 An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking Pan Yang, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.) ----- Lunch Break ----- ---------------------------------------- Thu, Mar 5 PM E4 (13:30 - 15:10) ---------------------------------------- (17) 13:30 - 13:55 SHAP Value Coverage Testing Qiang Zhong (Hi-System21), Naoto Sato, Makoto Ishikawa (Hitachi), Kazuhiro Kodama (Hi-System21) (18) 13:55 - 14:20 SuiteRec: Automatic Test Suite Recommendation System based on Code Clone Detection Ryosuke Kurachi (NAIST), Eunjong Choi (KIT), Hajimu Iida (NAIST) (19) 14:20 - 14:45 A Unit Testing Method for Event-Driven Processing Programs Hiroshi Hosobe (Hosei Univ.) (20) 14:45 - 15:10 Morpheme Pattern Matcher morfgrep and Its Application in Software Development Tsuneo Nakanishi, Kenji Yoshimura, Hokuto Ototake, Tosifumi Tanabe, Hiroki Furusho (Fukuoka Univ.), Yoichi Nishiura, Masaki Asano (Aisin Seiki) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. - This workshop has been cancelled. However, the technical report will be issued. === Technical Committee on Software Science (SS) === # SECRETARY: Yoshiki Higo (Osaka University) TEL: 06-6879-4111 FAX: 06-6879-4114 E-mail:    ist  -u # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sa.cs.titech.ac.jp/sigss/ Last modified: 2020-03-02 08:40:55 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]