24th International Conference on
Reliable Software Technologies

11-14 June 2019, Warsaw, Poland

Keynote Speakers

On both of the central days of the conference week, a keynote will be delivered as the opening event to address hot topics of relevance in the conference scope.

Michael Klemm

OpenMP, Germany

OpenMP API: A Story about Threads, Tasks, and Devices

(Wednesday 12th)

Abstract. The OpenMP Architecture Review Board has released Version 5.0 of the OpenMP API in November 2018. Since its inauguration in 1997, the OpenMP API has become the standard programming model for multi-threading in HPC applications and beyond. The OpenMP API is based on directives to augment code written in C/C++ and Fortran with parallelization hints to the compiler. The talk will provide a glimpse at the key concepts of the OpenMP API and provide insight into the different programming paradigms supported, ranging from threading to tasking and support for heterogeneous programming.

Short Bio. Dr. Michael Klemm is the Chief Executive Officer of the OpenMP Architecture Review Board. He has joined the OpenMP Language Committee in 2009 and since then has worked on the development of various OpenMP features since OpenMP Version 3.1. Michael contributed to features such as support for SIMD, tasking, and heterogeneous programming. Michael is also a Principal Engineer at Intel Germany and works in the Compute Ecosystem Engineering division on High Performance and Throughput Computing. Michael's research interests include compiler construction, design of programming languages, parallel programming as well as performance analysis and tuning.

Tucker Taft

AdaCore, USA

A 2020 View of Ada

(Thursday 13th)

Abstract. The Ada language continues to evolve. Ada 95 brought us object-orientation, hierarchical libraries, and protected objects. Ada 2005 brought us multiple inheritance of interfaces, "Object.Operation" syntax, and a container library. Ada 2012 brought us contract-based programming, iterators, and quantified expressions. So where is Ada 2020 going? And what about Ada 2099? This talk will illustrate some highlights of the features anticipated in the forthcoming Ada 2020 standard, and speculate about how Ada will or should continue to evolve in the 21st century.

Short Bio. S. Tucker Taft is VP and Director of Language Research at AdaCore, and Senior Advisor for AdaCore's "QGen" Model-Based Development toolsuite. Tucker led the Ada 9X language design team, culminating in the February 1995 approval of Ada 95 as the first ISO standardized object-oriented programming language. His specialties include programming language design, advanced static analysis tools, formal methods, real-time systems, parallel programming, and model-based development. Tucker is a member of the ISO Rapporteur Group that developed Ada 2005 and Ada 2012. Tucker has also been designing and implementing a parallel programming language called "ParaSail," and defining parallel programming extensions for Ada as part of the forthcoming Ada 2020 standard.