Brussels / 1 & 2 February 2020

schedule

Ada devroom


09 10 11 12 13 14 15 16 17 18
Saturday Welcome to the Ada DevRoom An Introduction to Ada for Beginning and Experienced Programmers HAC: the Compiler which will Never Become Big Tracking Performance of a Big Application from Dev to Ops Cappulada: What we've Learned Programming ROS2 Robots with RCLAda Live Demo of Ada's Distribution Features Writing Shared Memory Parallel Programs in Ada
Multitasked Newton's Method for Power Series
Spunky: a Genode Kernel in Ada/SPARK Alire: Ada Has a Package Manager Protect Sensitive Data with Ada Keystore EUgen: a European Project Proposal Generator On Rapid Application Development in Ada Ada-TOML: a TOML Parser for Ada Informal Discussions & Closing

Ada is a general-purpose programming language originally designed for safety- and mission-critical software engineering. It is used extensively in air traffic control, rail transportation, aerospace, nuclear, financial services, medical devices, etc. It is also perfectly suited for open source development.

Awareness of safety and security issues in software systems is ever increasing. Multi-core platforms are now abundant. These are some of the reasons that the Ada programming language and technology attracts more and more attention, among others due to Ada's support for programming by contract and for multi-core targets. The latest Ada language definition was updated early 2016. Work on new features is ongoing, such as improved support for fine-grained parallelism, and will result in a new Ada standard scheduled for 2021. Ada-related technology such as SPARK provides a solution for the safety and security aspects stated above.

More and more tools are available, many are open source, including for small and recent platforms. Interest in Ada keeps further increasing, also in the open source community, and many exciting projects have been started.

The Ada DevRoom aims to present the facilities offered by the Ada language (such as for object-oriented, multicore, or embedded programming) as well as some of the many exciting tools and projects using Ada.

Event Speakers Start End

Saturday

  Welcome to the Ada DevRoom Dirk Craeynest, Jean-Pierre Rosen 10:30 10:35
  An Introduction to Ada for Beginning and Experienced Programmers Jean-Pierre Rosen 10:35 11:20
  HAC: the Compiler which will Never Become Big Gautier de Montmollin 11:30 11:50
  Tracking Performance of a Big Application from Dev to Ops Philippe Waroquiers 12:00 12:50
  Cappulada: What we've Learned Johannes Kliemann 13:00 13:20
  Programming ROS2 Robots with RCLAda Alejandro Mosteo 13:30 13:50
  Live Demo of Ada's Distribution Features Jean-Pierre Rosen 14:00 14:50
  Writing Shared Memory Parallel Programs in Ada
Multitasked Newton's Method for Power Series
Jan Verschelde 15:00 15:20
  Spunky: a Genode Kernel in Ada/SPARK Martin Stein 15:30 15:50
  Alire: Ada Has a Package Manager Fabien Chouteau, Pierre-Marie de Rodat, Alejandro Mosteo 16:00 16:50
  Protect Sensitive Data with Ada Keystore Stephane Carrez 17:00 17:20
  EUgen: a European Project Proposal Generator Riccardo Bernardini 17:30 17:50
  On Rapid Application Development in Ada Tomasz Maluszycki 18:00 18:20
  Ada-TOML: a TOML Parser for Ada Pierre-Marie de Rodat 18:30 18:50
  Informal Discussions & Closing Dirk Craeynest, Jean-Pierre Rosen 18:50 19:00