LISTSERV mailing list manager LISTSERV 16.5

Help for TEAM-ADA Archives


TEAM-ADA Archives

TEAM-ADA Archives


TEAM-ADA@LISTSERV.ACM.ORG


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

TEAM-ADA Home

TEAM-ADA Home

TEAM-ADA  January 2018

TEAM-ADA January 2018

Subject:

FOSDEM 2018 - Ada Developer Room - Sat 3 Feb 2018 - Brussels

From:

Dirk Craeynest <[log in to unmask]>

Reply-To:

Team Ada: Ada Programming Language Advocacy

Date:

Wed, 10 Jan 2018 23:19:37 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (282 lines)

-----------------------------------------------------------------------

         Ada-Belgium is pleased to announce the program for its

                 8th Ada Developer Room at FOSDEM 2018

                      on Saturday 3 February 2018

   Universitť Libre de Bruxelles (ULB), Solbosch Campus, Room AW1.125
     Avenue Franklin D. Roosevelt Laan 50, B-1050 Brussels, Belgium

                Organized in cooperation with Ada-Europe

<http://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203-fosdem.html>
              <http://fosdem.org/2018/schedule/track/ada/>

-----------------------------------------------------------------------

FOSDEM, the Free and Open source Software Developers' European Meeting,
is a non-commercial two-day weekend event organized early each year in
Brussels, Belgium.  It is highly developer-oriented and brings together
8000+ participants from all over the world.  The goal is to provide
open source developers and communities a place to meet with other
developers and projects, to be informed about the latest developments
in the open source world, to attend interesting talks and presentations
on various topics by open source project leaders and committers, and
to promote the development and the benefits of open source solutions.
The 2018 edition takes place on Saturday 3 and Sunday 4 February.  It
is free to attend and no registration is necessary.

In this edition, Ada-Belgium organizes once more a series of
presentations related to the Ada Programming Language and Free or
Open Software in a s.c. Developer Room.  The "Ada DevRoom" at FOSDEM
2018 is held on the first day of the event, Saturday 3 February 2018.

---------------------------------------
Ada Programming Language and Technology
---------------------------------------

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 Ada 2012
language definition was approved and published by ISO in December 2012,
updated early 2016, and work on new features for the next revision
is ongoing.  As with the prior Ada 1995 and Ada 2005 standards,
the first full implementation of the Ada 2012 standard was made
available in gcc - the GNU Compiler Collection (GNAT).  More and more
tools are available, many are open source, including for small and
recent platforms.  Interest keeps increasing, also in the open source
community, and many exciting projects 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.

--------------------------------
Ada Developer Room Presentations (room: AW1.125, 76 seats)
--------------------------------

The presentations in the Ada DevRoom start after the opening FOSDEM
keynote.  The program runs from 10:30 to 19:00, and consists of 7.5
hours with 9 talks by 9 presenters from 5 different countries, plus
2 half-hour sessions with informal discussions.

10:30-11:00 - Arrival & Informal Discussions

  Feel free to arrive early, to start the day with some informal
  discussions while the set-up of the DevRoom is finished.

11:00-11:05 - Welcome
              by Dirk Craeynest - Ada-Belgium

  Welcome to the Ada Developer Room at FOSDEM 2018, which is organized
  by Ada-Belgium in cooperation with Ada-Europe.  Ada-Belgium and
  Ada-Europe are non-profit organizations set up to promote the
  use of the Ada programming language and related technology,
  and to disseminate knowledge and experience into academia,
  research and industry in Belgium and Europe, resp. Ada-Europe has
  member-organizations, such as Ada-Belgium, in various countries,
  and direct members in many other countries.  More information on this
  DevRoom is available on the Ada-Belgium web-site (see URL above).

11:05-11:50 - An Introduction to Ada for Beginning and Experienced Programmers
              by Jean-Pierre Rosen - Adalog

  An overview of the main features of the Ada language, with special
  emphasis on those features that make it especially attractive for
  free software development.  Ada is a feature-rich language, but what
  really makes Ada stand-out is that the features are nicely integrated
  towards serving the goals of software engineering.  If you prefer
  to spend your time on designing elegant solutions rather than on
  low-level debugging, if you think that software should not fail,
  if you like to build programs from readily available components
  that you can trust, you should really consider Ada!

12:00-12:50 - Making the Ada_Drivers_Library: Embedded Programming with Ada
              by Fabien Chouteau - AdaCore

  The Ada programming language was designed for embedded programming
  and it is well known in the aerospace domains and in general every
  domain where failure is not an option.  Unfortunately it is not
  used a lot in the embedded FOSS community.  In the past two years,
  AdaCore worked to promote the use of Ada in the FOSS community,
  in particular for embedded programming with the "Make with Ada"
  blog post series, my interview for the Embedded.fm podcase, blog
  posts on "ARM Community" or the "Make with Ada" competition.

  In this 45 minutes lecture I will:
  + give a short introduction of Ada for embedded and how its features
    (programing by contract, strong typing, representation clauses
    (hardware mapping), OOP, static compiler checks and optional
    run-time checks) can help improving the development time,
    maintenance and quality of FOSS embedded projects;
  + present the Ada_Drivers_Library project, where we put all those
    features in practice to develop micro-controller device drivers
    in Ada;
  + make a quick getting started demo;
  + present some of the best projects from the "Make with Ada"
    competition.

13:00-13:20 - Shared Memory Parallelism in Ada: Load Balancing by Work Stealing
              by Jan Verschelde - University of Illinois at Chicago

  Tasking in Ada provides an effective tool for shared memory
  parallelism.  For coarse grained regular parallelism, load balancing
  works with one single job queue.  For finer grained and irregular
  parallelism, work stealing balances the load with multiple job
  queues.  The programming concepts will be illustrated with examples
  of algorithms in polyhedral geometry.  The demonstrated code belongs
  to the free and open source PHCpack.

13:30-13:50 - Ada, or How to Enforce Safety Rules at Compile Time
              by Jean-Pierre Rosen - Adalog

  This is a real life story of a mixed criticality system, where a
  proper usage of Ada's features for controlling visibility allowed
  a provable enforcement of the segregation rules at compile time:
  any violation would simply not compile.

14:00-14:50 - Contract-based Programming: a Route to Finding Bugs Earlier
              by Jacob Sparre Andersen - JSA Research & Innovation

  Contract-based programming is a software development technique,
  where you include assertions of program properties as a part of the
  compiled source text.  In the strict form, the assertions are checked
  at compile-time, but in this presentation I will focus on the more
  common, less strict, form, where at least some of the assertions
  aren't checked until run-time.  Ada gives us a lot of help, so we
  can write the our assertions about the program properties once, and
  then have the compiler insert actual run-time checks wherever there
  is a possibility that the assertion is violated.

  This presentation will focus on how we can write these contracts in
  Ada in a way that make them effective at ensuring that our source
  text does what we intend it to and allow the compiler to generate
  efficient checks of the assertions.  The intended audience is anybody
  with enough programming experience to know concepts like types,
  encapsulation and packages.  Having tried to write Ada before will
  be a benefit, but it isn't a requirement.

15:00-15:50 - SPARK Language: Historical Perspective & FOSS Development
              by Yannick Moy - AdaCore

  SPARK started in 1987 as a restricted subset of Ada 83, defined by
  its own grammar rules.  The overhaul of the language and toolset
  starting in 2010 increased greatly the language subset, dropping in
  effect the need for separate grammar rules.  Since then, SPARK has
  progressively adopted most of the Ada features, to a point where the
  last remaining non-SPARK significant Ada feature today is pointers.
  We have started work on including safe pointers in SPARK, borrowing
  the ideas of pointer ownership from Rust.  So one can legitimately
  wonder what difference remains between SPARK and Ada.

  In the first part of this talk, I will lay out the principles that
  have guided us through the inclusion of language features in SPARK
  since 2010.  I will describe in particular the trade-offs that
  we considered for support of important features like recursion,
  types with non-static constraints, generics, object orientation,
  concurrency.  I will give a preview of the support envisioned
  for pointers in SPARK.  So that the distinction between Ada and
  SPARK appears clearly: it's not about quantity, it's about safety
  and security.

  In the second part of this talk, I will give a tour of FOSS projects
  which are using SPARK today: Aida, Certyflie, Muen, PolyORB-HI,
  Pulsar, StratoX, Tokeneer.  For each one, I will describe at
  which level of assurance SPARK is used, with how much efforts and
  for which benefits.  Then I will focus on the largest one, Muen,
  an x86/64 separation kernel for high assurance.  Finally, we will
  look at the resources which are available to the community for FOSS
  development in SPARK.

16:00-16:50 - Writing REST APIs with OpenAPI and Swagger Ada
              by Stephane Carrez - Bouygues Telecom

  The OpenAPI specification is an emerging specification to describe
  RESTful web services.  The Swagger suite is a collection of tools
  to write such API descriptions and have the code generated in more
  than 29 languages, including Ada.  The presentation will describe
  how to write a REST operation with OpenAPI, generate the Ada client
  with Swagger Codegen and use the generated code to interact with
  the server.  We will also describe the generated Ada server code
  and how to implement the server side and run a complete REST server.

17:00-17:50 - Browser-as-GUI and Web Applications with Gnoga
              by Jeffrey R. Carter - Atos Belgium

  Gnoga is an all-Ada library that uses the features of modern web
  browsers as a portable GUI.  The program may run on the same computer
  as the browser, or on a server over the internet.  Participants will
  be introduced to using Gnoga to create such programs.

  A singleton version of the Random_Int demo program will be used to
  demonstrate the use of Gnoga as the GUI for a program running on the
  same computer as the browser.  Random_Int is a very simple program
  that generates (pseudo)random integers in a user-specified range.
  The Chattanooga demo is a text-chat server program allowing people
  to chat on line.  It demonstrates the use of Gnoga to create web
  applications.  A secure version of Chattanooga can sometimes be
  accessed at https://chat.gnoga.com/.  (The certificate for this site
  has expired, but can still be used to ensure encrypted communication
  with the site.)

  After installing Gnoga, the demos are available in the demo
  directory.  More information about Gnoga may be found at gnoga.com,
  especially the Tools page.

18:00-18:20 - Easy Ada Tooling with Libadalang
              by RaphaŽl Amiard and Pierre-Marie De Rodat - AdaCore

  A lot of developers consider that a language is only as good as the
  tooling that accompanies it.  Ada has been conceived as a language
  pretty well amenable to tooling, yet the tooling offer besides
  AdaCore's is not very extensive, at least when compared to other
  languages like Java, despite the existence of the ASIS project
  (Ada Semantic Interface Specification).

  One of Libadalang's aims is to help solve that by providing an
  easy way to build new Ada-aware tools.  Libadalang is a library
  that allows the user to query information about Ada code, including:
  + Syntactic information.  Query the token stream, the syntax tree,
    find syntax patterns, etc.
  + Semantic information, such as which declaration an identifier
    references, the type of expressions, all references to a
    declaration, etc.
  In addition, one of the aims is to allow the users to modify the
  trees, and propagate the changes to the source.

  This talk will go over what Libadalang can already do today, how
  it differs from ASIS, future plans for the library, and potential
  exciting use cases.

18:30-19:00 - Informal Discussions & Closing

  Informal discussion on ideas and proposals for future events.

-------------------------------
More information on Ada DevRoom 
-------------------------------

Speakers bios, pointers to relevant information, links to the FOSDEM
site, etc., are available on the Ada-Belgium site at
<http://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203-fosdem.html>

We invite you to attend some or all of the presentations: they will
be given in English.  Everybody interested can attend FOSDEM 2018;
no registration is necessary.

We hope to see many of you there!

Dirk Craeynest, FOSDEM Ada DevRoom coordinator
[log in to unmask] (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

Top of Message | Previous Page | Permalink

Advanced Options


Options

Log In

Log In

Get Password

Get Password


Search Archives

Search Archives


Subscribe or Unsubscribe

Subscribe or Unsubscribe


Archives

September 2018
August 2018
June 2018
May 2018
April 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
June 2017
May 2017
April 2017
January 2017
December 2016
November 2016
October 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
December 2010
November 2010
October 2010
September 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
June 2007
May 2007
March 2007
February 2007
December 2006
November 2006
October 2006
September 2006
August 2006
July 2006
June 2006
May 2006
April 2006
March 2006
February 2006
January 2006
December 2005
November 2005
October 2005
August 2005
July 2005
June 2005
May 2005
April 2005
March 2005
February 2005
January 2005
December 2004
November 2004
October 2004
September 2004
August 2004
July 2004
June 2004
May 2004
March 2004
February 2004
January 2004
December 2003
November 2003
October 2003
September 2003
August 2003
July 2003
June 2003
May 2003
April 2003
March 2003
February 2003
January 2003
December 2002
November 2002
October 2002
September 2002
August 2002
July 2002
June 2002
May 2002
April 2002
March 2002
February 2002
December 2001
November 2001
October 2001
September 2001
August 2001
July 2001
June 2001
May 2001
April 2001
March 2001
February 2001
January 2001
December 2000
November 2000
October 2000
September 2000
August 2000
July 2000
June 2000
May 2000
April 2000
March 2000
February 2000
January 2000
December 1999
November 1999
October 1999
September 1999
August 1999
July 1999
June 1999
May 1999
April 1999
March 1999
February 1999
January 1999
December 1998
November 1998
October 1998
September 1998
August 1998
July 1998
June 1998
May 1998
April 1998
March 1998
February 1998
January 1998
December 1997
November 1997
October 1997
September 1997
August 1997
July 1997
June 1997
May 1997
April 1997
March 1997
February 1997
January 1997
December 1996
November 1996
October 1996

ATOM RSS1 RSS2



LISTSERV.ACM.ORG

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager