[hpc-announce] 2nd CFP: ICSE Workshop on Complex faUlts and Failures in LargE Software Systems (COUFLESS 2015)

[SARA ISABEL GONZALEZ ALVAREZ]

(Apologies for cross-posting)


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/   )

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

E-mail: coufless2015 at easychair.org
Twitter: @COUFLESS_2015
Facebook Group: https://www.facebook.com/coufless
Linkedin Group:
https://www.linkedin.com/groups/Workshop-on-Complex-Faults-Failures-8210793
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.mcs.anl.gov/mailman/private/hpc-announce/attachments/20141224/27d6e831/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: COUFLESS_2015_Flyer.pdf
Type: application/pdf
Size: 219222 bytes
Desc: not available
URL: <https://lists.mcs.anl.gov/mailman/private/hpc-announce/attachments/20141224/27d6e831/attachment-0001.pdf>