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) [schedule] [select]
Chair Hiroyuki Seki (NAIST)
Vice Chair Shin Nakajima (NII)
Secretary Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.)
Assistant Hironobu Washizaki (Waseda Univ.)

Conference Date Thu, May 10, 2012 14:10 - 16:55
Fri, May 11, 2012 09:30 - 11:45
Topics General topics 
Conference Place Media Hall on 1F of Center for Information Technology, Ehime University 
Address 3 Bunkyo-cho, Matsuyama, Ehime Pref. 790-8577, Japan.
Transportation Guide Nearby Teppo-cho tram stop
Prof. Hirohisa Aman
Announcement Please join us for an opening reception on Thu., 10 May.
Please register yourself by the following site by 2 May.
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)

Thu, May 10 PM 
14:00 - 16:55
  14:00-14:10 2011 IEICE SIGSS Incentive Award Ceremony ( 10 min. )
(1) 14:10-14:40 Adoption of Software Product Line from Extreme Derivative Development Process SS2012-1 Tsuneo Nakanishi (Kyushu Univ.), Hans-Werner Griepentrog, Claes Jaeger-Hansen (UHOH), Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)
(2) 14:40-15:10 On Multi-Task Scheduling for Reducing Heap Memory Consumption Using Live Variable Analysis SS2012-2 Hiroki Funase, Akio Nakata (Hiroshima City Univ.)
(3) 15:10-15:40 QORAL: External Domain-Specific Language for Mining Software Repositories with GPGPU SS2012-3 Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda (Kyushu Univ.)
  15:40-15:55 Break ( 15 min. )
(4) 15:55-16:25 An Analysis Method of Code Clone With Context and Content of Code SS2012-4 Toshihiro Kamiya (Fun)
(5) 16:25-16:55 Throughput Performance Verification of Airship Autopilot Software: A Case Study for Evaluating Performance Verification of Software Design Model SS2012-5 Akira Kado, Akio Nakata (Hiroshima City Univ.)
Fri, May 11 AM 
09:30 - 11:45
(6) 09:30-10:00 Mining API Usage Patterns from Software Repositories by Categorizing Method Invocations SS2012-6 Rizky Januar Akbar, Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.)
(7) 10:00-10:30 A Weighted-Pushdown-System-Based Formal Model for Information-Based Access Control SS2012-7 Pablo Lamilla Alvarez, Yoshiaki Takata (Kochi Univ. of Tech.)
  10:30-10:45 Break ( 15 min. )
(8) 10:45-11:15 Introducing Array Mechanism into High-Level Assembly Language for Malbolge SS2012-8 Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
(9) 11:15-11:45 Static Dependecy Pair Method in Rewriting Systems for Functional Programs with Product, Algebraic Data, and ML-Polymorphic Types SS2012-9 Keiichirou Kusakari (Nagoya Univ.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Hironori Washizaki (Waseda University)
TEL 03-5286-3272
E-: a- 
Announcement Latest information will be presented on the homepage

Last modified: 2012-05-02 18:17:12

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[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]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan