Sixth Asian Workshop on Foundations of Software

April 6th (Monday)

8:30 Reception Desk Open (12F in NII)

8:50-9:00 Openning

9:00-10:00 Invited Talk I

• Functional Documentation Using Tabular Expressions
  - An Integrated Approach to the Use of Mathematics in Computer System Design -
  David Lorge Parnas (Emeritus Professor, McMaster University)

10:00-10:30 Tea Break

10:30-12:00 Session 1: Language Design and Implementation

• Interfacing with C Polymorphically (30')
  Atsushi Ohori (Tohoku University), Katsuhiro Ueno (Tohoku University)

• A Global-to-Local Approach for Rigorous Development of Distributed Systems with Coordinated Exception Handling (30')
  Chao Cai (Peking University), Zongyan Qiu (Peking University)

• Translation and Optimization for a Core Calculus with Exceptions (30')
  Cristina David (National University of Singapore), Cristian Gherghina (National University of Singapore), Wei-Ngan Chin (National University of Singapore)

12:00-14:00 Lunch Break (3F)

14:00-15:50 Session 2: Software Engineering I

• Concern Based Approach to Generating SCR Requirement Specification: a Case Study (30')
  Ying Jin (Jilin University), Weiping Hao (Jilin University), Pengfei Ma (Jilin University)

• User-oriented Preparative Treatments for Requirements Engineering (40')
  Fei He (waseda University), Yoshiaki Fukazawa (Waseda University)

• The Specification Construction of a Service-Oriented System Using the SOFL Method (40')
  Weikai Miao (Hosei University), Shaoying Liu (Hosei University)

15:50-16:20 Tea Break

16:20-18:00 Session 3: Software Engineering II

• Consistency of Networks of Components (30')
  Zhiying Liu (University of Limerick), David Lorge Parnas (Emeritus Professor, McMaster University), Baltasar Trancon y Widemann (Universitat Bayreuth)

• From Bidirectional Model Transformation to Model Synchronization (40')
  Yingfei Xiong (Universit of Tokyo), Zhenjiang Hu (National Institute of Informatics), Masato Takeichi (University of Tokyo)

• Bidirectionalizing Structural Recursive Transformation on Graphs (30')
  Soichiro Hidaka (National Institue of Informatics), Zhenjiang Hu (National Institue of Informatics), Hiroyuki Kato (National Institue of Informatics), Keisuke Nakano (The University of Electro-Communications)

18:00-20:00 Reception (3F)

April 7th (Tuesday)

9:00-10:00 Invited Talk II

• Functional Programming, Workflow and Cloud
  Yike Guo (Imperial College London)

10:00-10:30 Tea Break

10:30-12:10 Session 4: Languages

• Linguistics as Physics (30')
  Masahiko Sato (Kyoto University)

• On the Computation of Quotients and Factors of Regular Languages (40')
  Mircea Marin (University of Tsukuba), Temur Kutsia (Johannes Kepler University)

• Copy-on-Write in the PHP Language (30')
  Akihiko Tozawa (IBM Research), Michiaki Tatsubori (IBM Research), Tamiya Onodera (IBM Research), Yasuhiko Minamide (University of Tsukuba)

12:10-14:00 Lunch Break

14:00-15:30 Session 5: AOP and Program Transformation

• Finding Bugs in AspectJ is not Difficult (30')
  Haihao Shen (Shanghai Jiao Tong University), Sai Zhang (Shanghai Jiao Tong University), Jianjun Zhao (Shanghai Jiao Tong University)

• AOJS: Aspect-Oriented JavaScript Programming Framework (30')
  Hironori Washizaki (Waseda University), Atsuto Kubo, Tomohiko Mizumachi, Kazuki Eguchi, Yoshiaki Fukazawa, Nobukazu Yoshioka, Hideyuki Kanuka, Toshihiro Kodaka, Nobuhide Sugimoto, Yoichi Nagai and Rieko Yamamoto

• Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store (30')
  Hiroyuki Kato (National Institue of Informatics), Soichiro Hidaka (National Institue of Informatics), Zhenjiang Hu (National Institue of Informatics), Yasunori Ishihara (Osaka University) Keisuke Nakano (The University of Electro-Communications)

15:30-16:00 Tea Break

16:00-18:20 Session 6: Logic and Formal Method

• Formalization and Specification of Geometric Knowledge Objects (40')
  Dongming Wang (CNRS / Beihang University)

• A Revised Pointer Logic for Verification of Pointer Programs (40')
  Zhaopeng Li (University of Science and Technology of China), Yiyun Chen (University of Science and Technology of China), Baojian Hua (University of Science and Technology of China), Zhifang Wang (University of Science and Technology of China)

• Combining Formal Engineering Methods and Democracy for Software Quality Assurance (30')
  Shaoying Liu (Hosei University)

• A Dynamic Description Logic for the Three-level RBAC model (30')
  Li Ma (Beihang University), Shilong Ma (Beihang University), Yuefei Sui (Chinese Academy of Sciences), Cungen Cao (Chinese Academy of Sciences), Jianghua Lv (Beihang University)

18:30-22:00 Banquet (Bus leaves at 18:30)

April 8th (Wednesday)

9:00- 9:30 Invited Talk III

• Introduction to GRACE Center
  Shinichi Honiden (National Institute of Informatics)

9:30-10:30 Session 7: Language Implementation

• Sharp Program Analysis and Test Data Generation (30')
  Jian Zhang (Chinese Academy of Sciences)

• Porting GNU Compiler Collection and GNU Binary Utilities for C16X (30')
  Le Ton Chanh (Ho Chi Minh City University of Technology), Le Minh Vu (Ho Chi Minh City University of Technology), Nguyen Hua Phung (Ho Chi Minh City University of Technology)

10:30-11:00 Tea Break

11:00-12:00 Session 8: Programming Algebra

• The Third Homomorphism Theorem on Trees Upward & Downward Leads to Divide-and-Conquer (30')
  Akimasa Morihata (University of Tokyo), Kiminori Matsuzaki (University of Tokyo), Zhenjiang Hu (National Institute of Informatics) Masato Takeichi (University of Tokyo)

• Algebra of Programming using Dependent Types (30')
  Shin-Cheng Mu (Academia Sinica, Taiwan), Hsiang-Shang Ko (National Taiwan University), Patrik Jansson (Chalmers University of Technology & University of Gothenburg)

12:00-12:10 Closing