AWFS 2011

The Eighth Asian Workshop on Foundation of Software

Shanghai, China.
Hosted by BASICS Lab, Shanghai Jiao Tong University
May 13-14, 2011

Topics | Invited Speakers | Submission | Important Dates | Venue | Organization | Program | Travel Information | sponsors | Contact Us

The Eighth Asian Workshop on Foundations of Software (AWFS) addresses foundational problems in current and future software design, development, and analysis. The previous AWFS meetings were held in Hangzhou in 2002, Nanjing in 2003, Xi'an in 2004, Beijing in 2005, Xiamen in 2007, Tokyo in 2009, and Beijing in 2010.

The aim of this workshop is to stimulate various activities leading to the formation of new forums for Asian researchers in the foundational aspects of software science and technology.


Specific topics for AWFS 2011 include (but are not limited to):

Keynote and Invited Speakers


Potential participants of AWFS 2011 are invited to submit abstracts of 1-2 pages for the work to be presented at the workshop. Abstracts (in pdf) should be submitted electronically to

The submitted abstracts will be judged on its significance, technical quality, and the relevance to AWFS.

Important Dates

Deadline for abstract submission:

March 30, 2011


April 14, 2011


May 13-14, 2011


AWFS2011 will be held at the Faculty Club, in Xuhui campus, SJTU, in Shanghai, China.

With a history of more than 700 years, Shanghai was once the financial center of the Far East. Since the reforms that began in the 1990s, great changes have taken place in the city. The municipal government is working towards building Shanghai into a modern metropolis and into a world economic, financial, trading and shipping center by 2020.

For more information, please visit:


Workshop Chair

Program Co-Chairs

Program Committee

Local Arrangements


Day 1: Friday, May 13, 2011





Invited Talk1  

Chair: Yasuhiko Minamide

Title: A complete tour of completion methods

 Jean-Pierre Jouannaud (LIAMA and Tsinghua University)


Chair: Yijia Chen




 Session 1

Title:   A Comparative Approach to RNA Pseudoknotted Structure Prediction 

         Based on Multiple Context-Free Grammar

Authors: Hiroyuki Seki, Nobuyoshi Mizoguchi, Yuki Kato (NAIST)

Title:     Decidability of Behavioral Equivalences in Process Calculi with Name Scoping

Authors:   Chaodong He (Shanghai Jiao Tong University)

Title:    Passing names with priority guards

Authors:  Shoji Yuen and Shogo Ohta (Nagoya University)


Chair: Zhenjiang Hu




 Session 2

Title:    What's Behind Program Analysis with Polymorphism

Authors:  Xin Li and Mizuhito Ogawa (JAIST)

Title:    Frequency Estimation of Virtual Call Targets for Object-Oriented Programs

Authors:  Cheng Zhang (Shanghai Jiao Tong University)

Title:    Probabilistic Points-to Analysis for Java

Authors:  Qiang Sun (Shanghai Jiao Tong Unversity)


Chair: Jianjun Zhao




 Session 3

Title:    Relating Computational Effects by TT-Lifting

Authors:  Shinya Katsumata (Kyoto University)

Title:    Semantics and Implementations of Regular Expression Matching

Authors:  Yasuhiko Minamide (University of Tsukuba)

Title:    Local reasoning for a distributed synchronous data-centric algorithm

 Authors:   Jean-François Monin ( University Joseph Fourier)

  Title:     Bounded Model checking Projection Temporal Logic

 Authors:   Zhenhua Duan (Xidian University)

Day 2: Saturday, May 14, 2011



Invited Talk 2 

Chair: Yuxi Fu

Title:   Data Processing: A Programming Language Perspective

Kenny Qili Zhu (Shanghai Jiao Tong University)


Chair: Hiroyuki Seki



 Session 4

Title:     Linear Kernelizations for Restricted 3-Hitting Set Problems

Authors:   Xuan Cai (The Third Research Institute of Ministry of Public Security)

Title:     GRoundTram: A Toolkit for Bidirectional Model Transformations

Auhtors: Zhenjiang Hu (NII)

Title:    Challenges in Program Generation

Authors:  Yukiyoshi Kameyama (University of Tsukuba)


 Chair: Zhenhua Duan




 Session 5

Title:     Proof Documents for Automated Origami Theorem Proving

Authors    Fadoua Ghourabi and Tetsuo Ida (University of Tsukuba)

Title:     Analysis of of Partial Modeling Formalisms in Abstract Model Checking

Authors:   Ou Wei (Nanjing University of Aeronautics and Astronautics),

               Arie Gurfinkel (Carnegie Mellon University)

               Marsha Chechik (University of Toronto)

Title:     OO Specification for Verification of OO Programs

Authors:   Qiu Zongyan and Yijing Liu (Peking University)


Chair: Yukiyoshi Kameyama



 Session 6

Title:   CNFs with Elementary Symmetric Clauses and their SAT Solving

Authors: Masahiko Sakai, Yohei Umano and Yoshizane Hino (Nagoya University)

Title:   Finite basis property revisited

AuhtorsMizuhito Ogawa (JAIST)

Title:     Consistency and Optimality

Authors:   Yijia Chen (Shanghai Jiao Tong Unversity), 

                Jorg Flum (Albert-Ludwigs-Universitat Freiburg),

                Moritz Muller (Centre de Recerca Matem_atica)






























Travel Information

Transportation to SJTU Faculty Club

*      From Pudong International Airport

     1) By Taxi: about 50 min, normal taxi charge is about150 RMB (Chinese Yuan) which is about 20 US$, plus 30% night charge if after 11:00 PM.

     2) By bus: Take Airport Bus No.3 to Xujiahui (or Tianping Road, see the "AB3" on the map), it takes about 1 hour, and bus ticket is 18 RMB (2.5US$). From bus stop to SJTU Faculty Club, it takes about 15min on foot or 3~5 min by taxi. (After taking off the Airport Bus 3, go along the bus direction for 100m, turn right at the cross, go along Tianping Rd. for 2 blocks (about 500m), after reaching Guangyuan Rd. turn left, go along Guangyuan Rd for 200m, cross Huashan Rd. Turn right about 30m if the main gate of SJTU (with two stone lions). Enter through the main gate and turn right, about 100m, you will reach the Faculty Club.)

*      From Hongqiao International Airport

     1) By Taxi: about 25 min, normal taxi charge 25 RMB (Chinese Yuan) which is about 3 US$, plus 30% night extra if after 11:00 PM.

    2) By bus: Take bus No.806 to Jiao Tong University (see “806” on the map), bus ticket is 3 RMB (0.5US$), SJTU Faculty Club is just behind the bus stop, but you need about 2min by foot to go through the main gate (with two stone lions) to there.

*      From Shanghai Railway Station

    1) By Taxi: about 30 min, normal taxi charge 32 RMB (Chinese Yuan) which is about 4 US$, plus 30% if after 11:00 PM.

    2) By Subway: take Line No.1 to Xujiahui, ticket 4 RMB, 20min, exit from Gate No.12, go alone Huashan Road to SJTU (No.1954, Huashan Road).

Hotel address and Telephone

Faculty Club

Address: No. 1954, Huashan Road, Shanghai 200030
Telephone: 021-62822822

For the detailed map and Chinese translations please download the following pdf file:


BASICS Lab, MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems, Shanghai Jiao Tong University

Contact Us

All inquiries should be sent to the program co-chairs at

Last Updated on May. 5, 2011.