Event program

The NEW program can be seen here.



The SQAMIA 2014 proceedings are available here.



Invited Talks


Jozsef Györkös*: The Importance of ICT in Cross-Cutting Activities of Horizon 2020

Abstract: The Horizon 2020 Work Programme 2014-2015 for Information and Communication Technologies (ICT) can be a disappointing read for those who understand software development in a very conventional way. Software development appears only under Chapter 9 Future Internet. Software tools and methods for large, complex and data-intensive systems and Software architectures and tools for highly distributed applications are addressed in the chapter. Regardless, software takes a shape for all other research topics of ICT. Cross – cutting activities are specific in this context since they are related to sensitive societal aspects. These aspects often call for rethinking of existing legislative principles (e.g. privacy, trustworthy) and to leverage the emerging role of Internet of Things (IoT) in our lives. It is of utmost importance to understand the transformational role of ICT: it’s role as a game changer in non-ICT sectors and a catalyst for social innovation. Internet of Things – not just because of sensitive machine to machine communication – is becoming a discipline that challenges certain principles in understanding the process of technological. Metcalfe’s law is an intrinsic aspect of the IoT world that implies re-definition of business models, putting more emphasis on the services associated to hyper-scalability and connectability.
In the keynote the mission of CONNECT Advisory Forum for Research and Innovation in ICT is to be presented. Forum’s recommendations to the European commission, published in June 2013 will be discussed. The lecture will be concluded by the following statement: Software development needs to be carefully (self) positioned in cross-cutting applicative aspects focused on immediate results, scalability beyond imagination and highest respect to security and privacy. Are we squaring the circle?


* chair of EU CONNECT Advisory Forum for Research and Innovation in ICT (2013- 2014)


Kevin Hammond: Compositional resource analysis in Hume using automatic amortisation

Abstract: This talk shows how amortised analysis can be automated using type inference. Building on an operational semantics for Hume and extending previous work by Hoffmann and Jost, we develop an associated cost model and thus derive an automatic analysis for worst-case behaviours in terms of e.g. memory usage and execution time. The analysis is compositional and scalable. Using e.g. dependent types, resource information can be associated with language constructs that can inform and direct the resource analysis.




Federica Sarro: Software Fault Prediction

Abstract: Software fault prediction is challenging, because of the diverse factors that influence the location and numbers of faults. Such factors vary in strength­of­influence and availability between systems and organisations. Nevertheless, this challenge is important because fault prediction may improve effort targeting and reduce the number of faults that survive into production software. Predictive modeling has thus become an attractive subset of activity for Search Based Software Engineering (SBSE). Search­based approaches have been used to predict effort, quality, faults and performance. In this talk, we will discuss the use of SB techniques to address some of the challenges within fault prediction, and give directions for the development of this sub­field of SBSE



Short Biography: Federica Sarro is a Research Associate working in CREST centre, Department of Computer Science, University College London. Her main research areas are Empirical Software Engineering and Search-Based Software Engineering, with specific interest for project management, software development effort estimation and fault prediction. She also has been working on functional metrics for sizing software products and human-computer interaction. Her recent research interests include app store analysis and automatic program repair.