ICECCS 2018

Welcome to the website of the 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018)

Over the past several years, we have seen a rapid rising emphasis on design, implement and manage complex computer systems which are present in every aspect of human activities, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. The complex computer systems are frequently distributed over heterogeneous networks and processing large amount data. Complexity arises from many factors, including the dynamic environments and scenarios these systems operate in; demanding and sometimes conflicting requirements in functionality, efficiency, scalability, security, dependability and adaptability; as well as the large variation in development methodology, programming languages and implementation details. The key issues in these systems include performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, and long life concerns.

The goal of this conference is to bring together industrial, academic, and government experts, from a variety of application domains and software disciplines, to discuss how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of interest includes long-term research issues; near-term requirements and challenges; established complex systems; emerging promising tools; and retrospective and prospective reflections of research and development into complex systems.

ICECCS is an A-ranked international conference by the Computing Research and Education Association of Australasia (CORE) 2018 ranking.

ICECCS 2019 will be hosted in Hong Kong.

Download the PDF version of the CFP Here.

We look forward to your contribution and participation.

Registration

	Student Early Registration (until 2 Nov 2018)	Early Registration (until 2 Nov 2018)	Student Late Registration (after 2 Nov 2018)	Late Registration (after 2 Nov 2018)
ICECCS	860 AUD (≈ 617 USD)	1060 AUD (≈ 760 USD)	1000 AUD (≈ 717 USD)	1200 AUD (≈ 861 USD)

The USD conversion is only for indication purposes. The attendants should use the AUD price for registration.

Required fields are followed by *.

First Name *

Last Name *

Email *

Contact *

Affiliation *

Address *

Paper ID

If you cannot use Paypal, please use bank transfer with the following details:

Account Name: Semantic Engineering Pte. Ltd.
Account Number: 0209012840 (S$ account)
Bank: DBS Bank Ltd. (Bank code: 7171)
Branch: DBS Clementi (Branch code: 020)
Swift Code: DBSSSGSG
Bank Address: DBS Bank, 6 Shenton Way, DBS Building Tower One, Singapore 068809

Please feel free to contact our organizer, if you encounter any registration/payment issues.

Host City and Accomodation

Melbourne is the cultural capital and the second largest city of Australia. Melbourne is belssed with Victorian style architecture, extensive shopping, museums, galleries, theatres, parks, gardens, cafes, and restaurants. The city consistently ranks number 1 of the world's most liveable cities.

Conference venue: ICECCS 2018 will be held at Mercure Melbourne Treasury Gardens. Detailed address: 13 Spring Street Melbourne, Victoria 3000 Australia Tel: (+61) 3/92059999 Email: h2086-RE02@accor.com. The location can be found in Google Maps below.

10% off best flexible rate of the day is available if booked directly with the hotel. Guests will need to provide credit card details at time of booking to guarantee the reservation. The code for booking the accommodation rooms is "348481Monash". To make the booking please email the hotel's reservation department at h2086-re2@accor.com. Any cancellations within 30 days of arrival will incur 100% cancellation fees.

Visa Application

Attendees that require a visa may request a support letter from sunjun@sutd.edu.sg.
Additional visa information can be found here

Program

Proceedings

Online proceedings can be found here.

Conference

See the program here.

Keynote Speakers

Mark Staples is a Senior Principal Research Scientist at Data61 (CSIRO) in Sydney Australia, and is a Conjoint Associate Professor in the School of Computer Science and Engineering at UNSW. He has previously held roles in industry in software engineering and systems engineering management, in domains ranging from SCADA systems, electronic payments, and implantable active medical devices. His research is on blockchain technologies, software engineering, and philosophy of engineering. He is on the Standards Australia committee IT-041 and ISO committee TC307 for standardisation of blockchain and distributed ledger technology. He has degrees in computer science and cognitive science from the University of Queensland, and a PhD in computer science from the University of Cambridge.

Title: Engineering Research Opportunities for Blockchain-Based Systems

Abstract: Blockchain-based systems are complex and increasingly trusted systems, becoming used in application areas where dependability is required. Are these systems trustworthy? Drawing on a framework in the philosophy of engineering, I sketch a landscape of research opportunities for evidence that can support design and assurances about blockchain-based systems. Examples in this landscape will be provided using previous blockchain research.

Jon Whittle is Dean of the Faculty of Information Technology at Monash University, Australia, and Professor of Software Engineering. Before joining Monash, Jon was Head of the School of Computing and Communications at Lancaster University, UK. Jon’s research spans software engineering and human-computer interaction. In software engineering, he is best known for his work on program and design synthesis, model-driven development and aspect-oriented modelling. He is a past recipient of the Royal Society’s Wolfson Merit Fellowship, a Pilkington Teaching Award for his studio-based approach to software engineering education, and an IEE Software Premium Award. He has also received a number of Best Paper awards or nominations at ICSE, ASE, MODELS, CSEE&T and CHI. Jon has Chaired a number of prestigious software engineering conferences and is Co-Chairing ICSE 2019 with Tevfik Bultan. Currently, Jon’s research focuses on IT for social good and, in particular, how to reimagine software design methodologies to embed social values.

Title: Human Values in Complex Software Systems – Where are they?

Abstract: Every organisation, corporate or non profit, has values (e.g., integrity, diversity, social inclusion, transparency, compassion). But how can we ensure that these human values are embedded in the software systems that organisations design and use? With the increased automation of decision making that AI and machine learning brings to organisations, how can we ensure that machines make decisions that reflect an organisation’s human values? In this talk, I will outline work going on at Monash University to rethink the way we design complex software systems to embed human values such as social responsibility, transparency, and inclusion, as core drivers. The aim is to better equip organisations to state and track their social or corporate values so that they are reflected in the software systems that they provide to their customers.

Zhendong Su is a Professor in Computer Science at the Swiss Federal Institute of Technology in Zurich (ETH Zurich). Previously, he was a Professor in Computer Science and a Chancellor's Fellow at the University of California, Davis (UC Davis). He received his PhD in Computer Science from the University of California, Berkeley (UC Berkeley). His research spans programming languages and compilers, software engineering, computer security, deep learning and education technologies. His work was recognized by an ACM SIGSOFT Impact Paper Award, a Google Scholar Classic Paper (2017) Award, multiple best/distinguished paper awards at top venues (e.g., PLDI, OOPSLA, EAPLS, TACAS, ISSTA, and ICSE), an ACM CACM Research Highlight, an NSF CAREER Award, a UC Davis Outstanding Faculty Award, and multiple industrial faculty awards (e.g., Cisco, Google, Huawei, IBM, Microsoft, and Mozilla). He serves on the steering committees of ISSTA and ESEC/FSE, served as an Associate Editor for ACM TOSEM, co-chaired SAS 2009, program chaired ISSTA 2012, and program co-chaired SIGSOFT FSE 2016.

Title: Advancing Software Analysis via Changed Perspectives

Abstract: Viewing difficult problems from fresh perspectives can lead to powerful insight and solutions. This talk highlights two instances where changed perspectives have led to new, effective attacks on difficult software analysis problems. First, I will describe equivalence modulo inputs, a general methodology for validating optimizing compilers. The new perspective is to devise a simple relaxed program equivalence, leading to the most practical compiler testing technique --- 1,600+ confirmed and 1000+ fixed bugs to-date for the widely-used GCC and Clang/LLVM compilers. Second, I will introduce mathematical execution, a novel general approach to analyzing floating-point software. The new perspective is to establish the equivalence of achieving an analysis objective and optimizing a certain mathematical function, leading to several orders faster, more effective analysis.

General Chair

Yuan-Fang Li, Monash University, Australia

Program Chairs

Anthony Widjaja Lin, University of Oxford, United Kingdom
Jun Sun, Singapore University of Technology and Design, Singapore

Workshop/Tutorial chair

Marcel Boehme, Monash University, Australia

Local Chair

Xin Xia, Monash University, Australia

Publicity Chairs

Étienne André, Université Paris 13, France
Huibiao Zhu, East China Normal University, China

Web Chairs

Hadrien Bride, Griffith University, Australia
Zhe Hou, Griffith University, Australia

Steering Committee

Jin Song Dong, Griffith University and NUS, Australia
Mike Hinchey, University of Limerick, Ireland
Mark Lawford, McMaster University, Canada
Xiaohong Li, Tianjin University, China
Shaoying Liu, Hosei University, Japan
Andrew Martin, University of Oxford, UK
Roy Sterritt, University of Ulster, USA
Jing Sun, The University of Auckland, New Zealand

Program Committee Members

Parosh Aziz Abdulla, Uppsala University, Sweden
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Étienne André, Université Paris 13, France
Luciano Baresi, Politecnico di Milano, Italy
Sergiy Bogomolov, Australian National University, Australia
Yu-Fang Chen, National Taiwan University, Taiwan
Wei-Ngan Chin, National University of Singapore, Singapore
Duc Hiep Chu, Google LLC, United States
Sebastien Gerard, CEA LIST, France
Felicita Di Giandomenico, Institute ISTI, Italy
Matthew Hague, Royal Holloway University of London, United Kingdom
Jane Hillston, The University of Edinburgh, United Kingdom
Atsushi Igarashi, Kyoto University, Japan
Kung-Kiu Lau, University of Manchester, United Kingdom
Yuan-Fang Li, Monash University, Australia
Yang Liu, Nanyang Technological University, Singapore
David Lo, Singapore Management University, Singapore
Gerald Luettgen, University of Bamberg, Germany
Xiaoxing Ma, Nanjing University, China
Tiziana Margaria, Lero, Ireland
Dominique Mery, Université de Lorraine, France
Paolo Nesi, University of Florence, Italy
Jun Pang, University of Luxembourg, Luxembourg
David Parker, University of Birmingham, United Kingdom
Christian Prehofer, Technical University of Munich, Germany
Philipp Ruemmer, Uppsala University, Sweden
Bernhard Rumpe, RWTH Aachen University, Germany
Max Schaefer, Semmle Ltd., United Kingdom
Maria Spichkova, RMIT University, Australia
Kenji Taguchi, CAV Technologies Co., Ltd., Japan
Kenji Tei, National Institute of Informatics, Japan
Cong Tian, Xidian University, China
Tullio Vardanega, University of Padua, Italy
Hai H. Wang, University of Aston, United Kingdom
Hironori Washizaki, Waseda University, Japan
Zhilin Wu, Chinese Academy of Sciences, China
Huibiao Zhu, East China Normal University, China

Scope and Topics

Authors are invited to submit papers describing original, unpublished research results, case studies and toolsed research results, case studies and tools. Papers are solicited in all areas related to complex computer-based systems, including the causes of complexity and means of avoiding, controlling, or coping with complexity. Topic areas include, but are not limited to:

Requirement specification and analysis
Verification and validation
Security and privacy of complex systems
Model-driven development
Reverse engineering and refactoring
Achitecture software
Big data management
Ambient intelligence, pervasive computing
Ubiquitous computing, context awareness, sensor networks
Applications to SAT/SMT techniques to analysis of complex systems

Design by contract
Agile methods
Safety-critical and fault-tolerant architectures
Adaptive, self-managing and multi-agent systems
Real-time, hybrid and embedded systems
Systems of systems
Cyber-physical systems and Internet of Things (IoT)
Tools and tool integration
Industrial case studies

Different kinds of contributions are sought, including novel research, lessons learned, experience reports, and discussions of practical problems faced by industry and user domains. The ultimate goal is to build a rich and comprehensive conference program that can fit the interests and needs of different classes of attendees: professionals, researchers, managers, and students. A program goal is to organize several sessions that include both academic and industrial papers on a given topic and culminate panels to discuss relationships between industrial and academic research.

Full Papers

Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to both categories will be reviewed by program committee members, and papers accepted in either category will be published in the conference proceedings. Technical papers should describe original research, and experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them.

Short Papers

Short paper submissions describe early-stage, ongoing or PhD research. All short papers will be reviewed by program committee members, and accepted short papers will be published in the conference proceedings.

Submission and Publication

Submitted manuscripts should be in English and formatted in the style of the double-column CPS format. Full papers should not exceed 10 pages, and short papers should not exceed 4 pages, including figures, references, and appendices. All submissions should be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review.

Please prepare your manuscripts in accordance to the (CPS guidelines). We invite all prospective authors to submit their manuscripts via the ICECCS'18 portal, hosted on EasyChair.

Access submission portal

Accepted papers can be found here.

The 23^rd International Conference on Engineering of Complex Computer Systems