posted by organizer: saragonzalez || 2551 views || tracked by 5 users: [display]

COUFLESS 2015 : [Final Extended Deadline] 1st International Workshop on COmplex faUlts and Failures in LargE Software Systems at ICSE 2015

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/site/coufless2015/
 
When May 23, 2015 - May 23, 2015
Where Firenze, Italy
Submission Deadline Feb 4, 2015
Notification Due Feb 20, 2015
Final Version Due Feb 27, 2015
Categories    software engineering   software architecture   reliability   formal methods
 

Call For Papers

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.

Related Resources

COMPLEX NETWORKS 2017   6th International Conference on Complex Networks and Their Applications
CGDEIJ 2017   Computer Game Development and Education: An International Journal
AACSN 2017   Complexity Special Issue on Analysis and Applications of Complex Social Networks
HVC 2017   Haifa Verification Conference
ICECCS 2017   International Conference on Engineering of Complex Computer Systems
ICCSIT 2017   2017 10th International Conference on Computer Science and Information Technology (ICCSIT 2017)
ECBS 2017   5th European Conference on the Engineering of Computer Based Systems
SoICT 2017   The Eighth International Symposium on Information and Communication Technology
COSPS 2017   Complex Optimization and Simulation in Power Systems - Complexity (Wiley Journal) - IF: 4.621
Microservices 2017   Microservices - Special Issue at IEEE Software