Keynotes

We are proud to announce our keynote speakers for ISSTA 2013:

Abstract

During the last decades, the programming language and software engineering research communities have made great advances on techniques for static program analysis. In industrial practice, however, engineers need to frequently answer questions that go beyond the scope of a single program and require end-to-end analyses of multiple distributed system components. Such systems often consist of multiple programs written in different programming languages, database schema and query languages, message formats, ETL scripts and proprietary business reporting languages. As an example I will discuss the calculation of data lineage in enterprise information systems, which is required by many financial services organisations. I will show how we have combined static program analysis techniques, such as dataflow analysis and program slicing with a meta data repository in order to calculate, visualize and report on data lineage in financial systems.

About the Speaker

Wolfgang Emmerich is Chairman and CEO of Zuhlke Engineering Ltd in London, UK. He is also a co-founder and Partner of the Zuhlke Technology Group in Schlieren (Zurich), Switzerland. Wolfgang and the business units that he leads have extensively consulted in the financial service industry in London and built a portfolio of static analysis tools for legacy systems analysis. Wolfgang holds a Doctor of Science degree from the University of Paderborn. He was Program Co-Chair of ICSE 2007 and Co-Chair of the Software Engineering in Practice Track of ICSE 2012. He has served on the editorial board of IEEE Transactions on Software Engineering and is a member of ACM SIGSOFT. Wolfgang is a Chartered Engineer and Member of the Institute of Engineering and Technology.

Abstract

Formal verification, and in particular model checking, has made a lot of progress in the recent past. However, it is considered with skepticism by practitioners. It is viewed as a niche technique, somewhat confined to safety-critical systems, that failed to become standard practice in general. It is considered as a heavy-weight and very expensive technique that does not fit the requirements of the now prevalent incremental, iterative (i.e., agile) developments. On the other hand, recent work on rapidly evolving and self-adaptive software showed that formal verification can be brought effectively to run time to support reactive adaptation, by making model checking incremental. The talk discusses why and how that happened. It also argues that by making modeling and model checking incremental and iterative (i.e., agile) formal modeling and verification techniques potentially can be fully reconciled with the requirements of agile development, and this may pave the way for their adoption in the common practice.

About the Speaker

Carlo Ghezzi is an ACM Fellow, an IEEE Fellow, a member of the Italian Academy of Sciences, and a recipient of the ACM SIGSOFT Distinguished Service Award. He is the current President of Informatics Europe. He has been a member of the program committee of flagship conferences in the software engineering field, such as the ICSE and ESEC/FSE, for which he also served as Program and General Chair. He was also General Co-Chair of the International Conference on Service Oriented Computing. Ghezzi has been the Editor in Chief of the ACM Trans. on Software Engineering and Methodology and is currently an Associate Editor of the Communications of the ACM, IEEE Trans. on Software Engineering, Science of Computer Programming, Computing, and Service Oriented Computing and Applications. Ghezzi’s research has been mostly focusing on different aspects of software engineering. He co-authored over 200 papers and 8 books. He coordinated several national and international research projects. He is currently the PI of the ERC Advanced Grant SMScom.