Friday, 26 December 2014

2nd CFP: ICSE Workshop on Complex faUlts and Failures in LargE Software Systems (COUFLESS 2015)

CALL FOR PAPERS

COUFLESS: COmplex faUlts and Failures in LargE Software Systems


May 23, 2015

Firenze, Italy

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


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. 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.

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: January 23, 2015

Authors notification: February 18, 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


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.


CONTACT
----------------

Twitter: @COUFLESS_2015
Facebook Group: https://www.facebook.com/coufless   


No comments:

Post a Comment