2016 ASE Workshop on

Specification, Comprehension, Testing and Debugging of Concurrent Programs

Singapore, Singapore, 3-7 September, 2016

NEWS: Our special issue on concurrency program is accepted by Software Quality Journal (Springer) . Best papers presented at the workshop will be invited for a special issue at Software Quality Journal published by Springer. An invited paper must have at least 30% difference from the original workshop paper. All invited papers will be peer reviewed by independent reviewers and selected based on originality, scientific quality and relevance to the Special Issue on Concurrent Software Quality.

NEWS: Deadline has been extended to June 30, 2016.

  • Call for paper

    Today, multi-core hardware and cloud platform have become ubiquitous, which puts us at a fundamental turning point in software development. In order for software applications to benefit from the continued exponential throughput advances in hardware systems, the applications will need to be well-written concurrent programs. Although for the past decade we have witnessed incrementally more programmers writing concurrent programs, the vast majority of applications today are still sequential due to the lack of effective tools that support the development of concurrent programs. This trend necessitates the use of advanced methods to redesign the existing tools that remain optimized for sequential program development. We aim to advance the state of the art in different phases of concurrent software development, covering specification, comprehension, testing and debugging.

    The goal of the workshop is to present a stimulating environment where topics relevant to effective concurrent software (including traditional software on PC/server, mobile apps, etc.) development can be discussed by members of the ASE community. The intention of the workshop is to initiate collaborations focused on solving challenges introduced by ongoing research in the concurrent programming field.

    Specific topics of interest include, but are not limited to:
    - Specification for concurrent software development
    - Requirement engineering of concurrent software
    - Modeling techniques for concurrent software
    - Profiling and program analysis
    - Static, dynamic and symbolic analysis
    - Performance tuning and auto-tuning
    - Testing and debugging of concurrent applications
    - Tools and environments for concurrent software development
    - Case studies and experience reports
    - Techniques for the development and testing of event-driven programs

    Paper Submission

    Please submit through this link: https://easychair.org/conferences/?conf=sctdcp2016

    All submissions must be in PDF format and conform, at time of submission, to the ACM formatting guidelines. Each submission should be no more than 8 pages total in length (8 pages for regular papers, 4 papers for short papers and position papers) , consisting of title, authors' names, postal and email addresses, abstract, keywords, and a body with all contents, figures, tables, and references. Please ensure your paper incorporates the following items. This is not a complete list and does not replace the ACM Formatting Guidelines, but it serves as a list of common issues:

    - Please be aware that there is a new ACM template and a new classification system.
    - Prepare your paper as a letter-size PDF document.
    - Embed all fonts.
    - Use only scalable font types (e.g., Type 1, TrueType). Bitmapped font types (e.g., Type 3) are not acceptable.
    - Use either vector graphics or at least 300-dpi graphics.
    - Caption every figure and table and reference them in the text.
    - Do not use footnotes or references in the abstract.
    - Avoid color in the regular body text. Color is allowed in figures, tables, listings, and in non-body text, such as source code, XML snippets, etc.
    - Make sure the first reference does not overlap the heading "REFERENCES".
    - Balance columns on the last page.


      Session I, 9:00-10:30
      9:00-9:05   Opening
      9:05-10:00   Invited Speech I
      10:00-10:30   Paper Presentation
      (15 mins/presentation)
      Paper 1. An algebraic specification language for Organizational Behavior of OOMAS
      Yan Zhang and Lejian Liao
      Paper 2. A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software
      Sara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark and Hans Hansson
      Tea Break
      Session II, 11:00-12:50
      11:00-11:55   Invited Speech II
      11:55-12:40   Paper Presentation
      (15 mins/presentation)
      Paper 3. A Leader Election Based Deadlock Detection Algorithm in Distributed Systems
      Wei Lu, Yong Yang, Liqiang Wang, Weiwei Xing and Xiaoping Che
      Paper 4. Dynamic Cohesion Measurement for Distributed System
      Wuxia Jin, Ting Liu, Yu Qu, Jianlei Chi, Di Cui and Qinghua Zheng
      Paper 5. A Test Case Generation Method without Test Oracle Problem
      Zhanwei Hui and Song Huang
      12:40-12:45   Closing

    Important Dates

    • Workshop paper submission: May 20, 2016 June 30 23:59 (Anywhere on Earth, AoE), 2016
    • Workshop paper notification: June 27, 2016 July 15, 2016
    • Workshop paper camera ready: July 24, 2016

    Organizing Committee

    Zijiang Yang, Western Michigan University, USA
    Ting Liu, Xi’an Jiaotong University, China
    Daniel Xiapu Luo, Hong Kong Polytechnic University, Hongkong

    Program Committee

    Gogul Balakrishnan, Google, USA
    Lei Bu, Nanjing University, China
    Yan Cai, Institute of Software, Chinese Academy of Sciences, China
    Kai Chen, Institute of Information Engineering, Chinese Academy of Sciences, China
    Nasser Giacaman, University of Auckland, New Zealand
    Andreas Holzer, University of Toronto, Canada
    Bo Jiang, Beihang Unversity, China
    Ting Liu, Xi’an Jiaotong University, China
    Yang Liu, Nanyang Technological University, Singapore
    Daniel Xiapu Luo, Hong Kong Polytechnic University, Hongkong
    Jun Sun, Singapore University of Technology and Design, Singapore
    Chao Wang, Virginia Tech, USA
    Ji Wang, National University of Defense Technology, China
    Liqiang Wang, University of Central Florida, USA
    Zijiang Yang, Western Michigan University, USA