Brussels / 2 & 3 February 2019

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 Sequential Programming in Ada: Lessons Learned Autonomous Train Control Systems: a First Approach Controlling the Execution of Parallel Algorithms in Ada Persistence with Ada Database Objects Shrink your Data to (almost) Nothing with Trained Compression GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows What is Safety-Critical Software, and How Can Ada and SPARK Help? Secure Web Applications with AWA Distributed Computing with Ada and CORBA using PolyORB Cappulada: Smooth Ada Bindings for C++ The AZip Archive Manager: a full-Ada Open-Source Portable Application Proof of Pointer Programs with Ownership in SPARK 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 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 2020. 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 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 10:30 10:35
  An Introduction to Ada for Beginning and Experienced Programmers Jean-Pierre Rosen 10:35 11:20
  Sequential Programming in Ada: Lessons Learned Joakim Strandberg 11:30 11:50
  Autonomous Train Control Systems: a First Approach Julia Teissl 12:00 12:50
  Controlling the Execution of Parallel Algorithms in Ada Jan Verschelde 13:00 13:20
  Persistence with Ada Database Objects Stephane Carrez 13:30 13:50
  Shrink your Data to (almost) Nothing with Trained Compression Gautier de Montmollin 14:00 14:50
  GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows Nicolas Roche 15:00 15:20
  What is Safety-Critical Software, and How Can Ada and SPARK Help? Jean-Pierre Rosen 15:30 15:50
  Secure Web Applications with AWA Stephane Carrez 16:00 16:50
  Distributed Computing with Ada and CORBA using PolyORB Frédéric Praca 17:00 17:20
  Cappulada: Smooth Ada Bindings for C++ Johannes Kliemann 17:30 17:50
  The AZip Archive Manager: a full-Ada Open-Source Portable Application Gautier de Montmollin 18:00 18:20
  Proof of Pointer Programs with Ownership in SPARK Yannick Moy 18:30 18:50
  Informal Discussions & Closing Dirk Craeynest 18:50 19:00