CALL FOR PAPERS

COUFLESS: Complex faUlts and Failures in LargE Software Systems

https://sites.google.com/site/coufless2015

May 23, 2015

Firenze, Italy

Co-located with the 37th International Conference on Software Engineering

ICSE 2015 (http://2015.icse-conferences.org/)

Modern software systems ingest, process, and output information in quantities that would have been unthinkable only a few years ago. Not only has the volume of information being handled increased, it has also grown more complex, as have the applications - the many collaborating components of large, distributed applications may individually process information from diverse sources that must all be transformed and properly ordered to produce accurate and timely results. Many of the faults in these applications occur as a result of complex conditions that accrue within the applications and a significant time lag between fault activation and failure is due to error states that cross between the components of these applications and the databases. These faults, to which we refer as Mandelbugs, are difficult to isolate and the failures they are hard to reproduce. Then, Mandelbug characteristics are connected with the activation complexity or error propagation.

The theory of software debugging is stuck at the notion of a software system as a single program with input data. Debugging distributed components involves correlating messages that these components send to one another. Mandelbug debugging is difficult due to the lack of understanding of interactions among different components. Another ramification of the software increasing complexity is the request decomposition to improve the request response time. Under these complex environments, there is a large variability on the response time. This large variability is causing thousands of disruptions per second (scale of milliseconds) according to Google results. These types of phenomena can be also considered to Mandelbug-based anomalies.

TOPICS OF INTEREST
-----------------------------------

Major topics of interest this year will include (but not limited):

· Applications of software maintenance technologies;

· Reliable software architectures and software engineering techniques;

· Middleware and Infrastructures for software support and maintenance;

· Reliability and debugging aspects of the computational models such as object-oriented, declarative (functional, logic, constraint), programming or their extensions with coordination capabilities;

· Formal aspects (semantics, reasoning, verification);

· Software artifact mining for maintenance and evolution;

· Evolution and reverse engineering;

· Refactoring to improve software reliability.

· Software fault location

· Software testing

· Latency tail tolerance systems

· Industrial points of view: experiences, applications, open issues;


IMPORTANT DATES
-------------------------------

Paper submissions: February 4, 2015 (extended)

Authors notification: February 20, 2015

Camera-ready copies: February 27, 2015


ORGANIZING COMMITTEE
-----------------------------------------

Mark Grechanik, University of Illinois at Chicago, USA

Javier Alonso, Universidad de Leon, Spain

Allen P. Nikora, Jet Propulsory Laboratory, USA


PROGRAM COMMITTEE
-------------------------------------

Alberto Avritzer, Siemens, USA

Padmalochan Bera, Indian Institute of Technology Bhubaneswar, India

Illir Gashi, City University London, UK

Gerard Holzmann, Jet Propulsory Laboratory, USA

Rick Kuhn, National Institute of Standards & Technology, USA

Vinay Kulkarni, Tata Consultancy Services, India

Jeff Offutt, George Mason University, USA

Roberto Pietrantuono, University of Naples Federico II, Italy

Adam Porter, University of Maryland at College Park, USA

Gregg Rothermel, University of Nebraska - Lincoln, USA

Nuno Silva, Critical Software, Portugal

A. Prasad Sistla, University of Illinois at Chicago, USA

Hongyu Zhang, Microsoft Research, China

Thomas Zimmermann, Microsoft Research, USA

Myron Hecht, SBCGlobal, USA

Mikael Lindvall, Fraunhofer, USA

Kalyan Vaidyanathan, Oracle Corporation, USA

Ugo Buy, University of Illinois at Chicago, USA

Michael Grottke, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany

Rivalino Matias, Federal University of Uberlandia, Brazil

Atif Memon, University of Maryland, USA

Dewayne E. Perry, University of Texas at Austin, USA

Ali Ebnenasir, Michigan Technological University, USA

Mohamed Kaaniche, LAAS-CNRS, France

HuaJie Lee, Dolby Laboratories, Australia


SUBMISSIONS
-----------------------

Authors from academia, industry and government are invited to submit high quality unpublished research work describing the results of theoretical and experimental research related to the topics addressed by the workshop. After rigorous review, all the accepted papers will be included in the IEEE Digital Library and ACM Digital Library. Paper submission must be in PDF format and use the correct IEEE Style file. All submissions will be done electronically through EasyChair (https://easychair.org/conferences/?conf=coufless2015).


We look forward to receiving your submission(s), and hope you will be able to join us.