|
|
| Chair |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
| Vice Chair |
|
Kozo Okano (Shinshu Univ.) |
| Secretary |
|
Kazuyuki Shima (Hiroshima City Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.) |
| Assistant |
|
Shinpei Ogata (Shinshu Univ.) |
|
| Conference Date |
Wed, Mar 3, 2021 10:00 - 16:40
Thu, Mar 4, 2021 10:00 - 16:15 |
| Topics |
|
| Conference Place |
Online |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| Notes on Review |
This article is a technical report without peer review, and its polished version will be published elsewhere. |
| Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS. |
Wed, Mar 3 AM
10:00 - 11:40 |
| (1) |
10:00-10:25 |
Weighted Multiple Context-free Grammars and their Properties  SS2020-28 |
Yusuke Inoue, Hiroyuki Seki (Nagoya Univ.) |
| (2) |
10:25-10:50 |
A Subclass of LTL with the Freeze Quantifier Translatable into Register Automata SS2020-29 |
Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) |
| (3) |
10:50-11:15 |
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems
Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai (Nagoya Univ.)
https://www.ieice.org/ken/paper/20200304A1wB/eng/ (2020-03-SS) |
| (4) |
11:15-11:40 |
A Type System for Information Flow Analysis of Rust Programs
Kenta Hasegawa (Ritsumeikan Univ.), Hiroaki Kuwabara (Nanzan Univ.), Yoshitoshi Kunieda (Ritsumeikan Univ.)
https://www.ieice.org/ken/paper/20200305J1Xp/eng/ (2020-03-SS) |
Wed, Mar 3 PM
13:00 - 14:40 |
| (5) |
13:00-13:25 |
SS2020-30 |
|
| (6) |
13:25-13:50 |
SS2020-31 |
|
| (7) |
13:50-14:15 |
Analysis of the Impact of Automatically Generated Test Cases on the Results of Automatic Bug Repair SS2020-32 |
Yuga Matsuda, Kyosuke Yamate, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
| (8) |
14:15-14:40 |
SS2020-33 |
|
Wed, Mar 3 PM
15:00 - 16:40 |
| (9) |
15:00-15:25 |
Performance Evaluation of Automatic Bug Repair using Neural Machine Translation with Bug Fix Histories SS2020-34 |
Gakuto Akiyama, Tsukasa Nakamura, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
| (10) |
15:25-15:50 |
Evaluation of Concept Drift Detection by monitoring Maximum Safe Radius SS2020-35 |
Naoto Sato, Hironobu Kuruma, Hideto Ogawa (Hitachi) |
| (11) |
15:50-16:15 |
Distortion Metrics for Trained Machine Learning Models
Shin Nakajima (NII)
https://www.ieice.org/ken/paper/20200304K1v6/eng/ (2020-03-SS) |
| (12) |
16:15-16:40 |
Similar Problem Search Using Deep Learning for Supportintg Programming Education SS2020-36 |
Hiroki Yamamoto, Haruki Matsuo, Kentaro Okino, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
Thu, Mar 4 AM
10:00 - 11:15 |
| (13) |
10:00-10:25 |
SS2020-37 |
Tomoaki Tsuru, Tasuku Nakagawa, Shinsuke Matsumoto, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| (14) |
10:25-10:50 |
SS2020-38 |
|
| (15) |
10:50-11:15 |
SS2020-39 |
|
Thu, Mar 4 PM
13:00 - 14:40 |
| (16) |
13:00-13:25 |
SS2020-40 |
|
| (17) |
13:25-13:50 |
Generating Exhaustive Counterexample and Path Constraint with Software Analysis Workbench and Symbolic PathFinder SS2020-41 |
Rin Karashima, Shinpei Ogata, Kozo Okano (Shinshu Univ.) |
| (18) |
13:50-14:15 |
SS2020-42 |
|
| (19) |
14:15-14:40 |
A Reproducibility Support Tool Using Execution Log for Jupyter Notebook SS2020-43 |
Naotoshi Matsubara, Ken Matsui, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) |
Thu, Mar 4 PM
15:00 - 16:15 |
| (20) |
15:00-15:25 |
SS2020-44 |
|
| (21) |
15:25-15:50 |
SS2020-45 |
|
| (22) |
15:50-16:15 |
Untangling Composite Changes Using Tree-based Convolution Neural Network SS2020-46 |
Cong Li, Takashi Kobayashi (Tokyo Tech) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Shinpei Hayashi (Tokyo Institute of Technology)
TEL: +81-3-5734-3213
E- :     c    |
| Announcement |
Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/ |
Last modified: 2021-02-24 22:03:04
|