Early Research Achievements Program
ERA 1: Optimization December 6th 15:30 – 17:00 @Conference Room 4 on the 2nd floor
Chair: Yoshiki Higo (Osaka University, Japan)
- unjQuerify: Migration of jQuery Snippets to Modern Vanilla JavaScript APIs
Dereck Bridie, Shinsuke Matsumoto and Shinji Kusumoto
- An Automatic Approach to Validating Log Levels in Java
Tae-Young Kim, Suntae Kim, Sooyong Park and Soohwan Cho
- DeepGraph: A PyCharm Tool for Visualizing and Understanding Deep Learning Models
Qiang Hu, Lei Ma and Jianjun Zhao
- lpt: a Tool for Tuning the Level of Parallelism of Spark Applications
Edgar Eduardo Rosales Rosero, Andrea Rosà and Walter Binder
ERA 2: Investigation on Implementation December 5th 15:45 – 17:15 @Conference Room 4 on the 2nd floor
Chair: Shinsuke Matsumoto (Osaka University, Japan)
- Applying Gamification and Posing to Software Development
Masateru Tsunoda and Hirotaka Yumoto
- A Doc2Vec-Based Assessment of Comments and Its Application to Change-Prone Method Analysis
Hirohisa Aman, Sousuke Amasaki, Tomoyuki Yokogawa and Minoru Kawahara
- Organising and Querying program portions from repositories to reveal potential for parallelism
Emiliano Tramontana, Andrea Fornaia, Misael Mongiovì and Giuseppe Pappalardo
- An Investigation of the Relationship Between Extract Method and Change Metrics: A Case Study of JEdit
Eunjong Choi, Daiki Tanaka, Norihiro Yoshida, Kenji Fujiwara, Daniel Port and Hajimu Iida
ERA 3: Miscellaneous on Source Code December 7th 10:45 – 12:15 @Conference Room 4 on the 2nd floor
Chair: Takayuki Omori (Ritsumeikan University, Japan)
- Live Search of Fix Ingredients for Automated Program Repair
Kui Liu, Anil Koyuncu, Kisub Kim, Dongsun Kim and Tegawendé F. Bissyandé
- Automated Code-based Test Selection for Software Product Line Regression Testing
Pilsu Jung, Sungwon Kang, Jihyun Lee and Teahyun Park
- ICAT: An IoT Device Compatibility Testing Tool
Woei-Kae Chen, Chien-Hung Liu, William W.-Y. Liang and Ming-Yi Tsai
- Multilingual Detection of Code Clones Using ANTLR Grammar Definitions
Yuichi Semura, Norihiro Yoshida, Eunjong Choi and Katsuro Inoue
ERA 4: Validation & Verification December 6th 10:45 – 12:15 @Conference Room 3 on the 2nd floor
Chair: Yoshiki Higo (Osaka University, Japan)
- Verification of CPS Based on Control Loop using Model Checking
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi and Hiroyuki Nakagawa
- xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems
Chunlin Guan, Yi Ao, Dehui Du and Frédéric Mallet
- Large-scale Evaluation of the Efficiency of Runtime-Verification Tools in the Wild
Omar Javed and Walter Binder