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 |
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 |
Hiroki Funase, Akio Nakata (Hiroshima City Univ.) |
(3) |
15:10-15:40 |
QORAL: External Domain-Specific Language for Mining Software Repositories with GPGPU |
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 |
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 |
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 |
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 |
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 |
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 |
Keiichirou Kusakari (Nagoya Univ.) |