I can provide a automated detection of privacy-leaks in Java classes using a custom static analysis tool.
Algorithms for pronunciation-aware searches in dictionaries and other databases.
I have an application for finding wave-induced cracks in video inspections of sub-sea structures available for interested customers.
A short screencast introducing the viewers to some of the benefits of how
An Open Source tool for generating command-line interfaces to Ada packages.
An Open Source sound library for Ada providing recording and playback support.
An appendix to the book
Are you tired of having all kinds of people tracking which links you click, and which pages you visit on the web? My HTTP redirector attempts to solve this problem by providing you with a local, non-logging replacement for some of the trackers out there. The tool is Open Source and written in Ada.
An Open Source Ada package wrapping a POSIX file descriptor (as declared in the POSIX.IO package from the POSIX Ada API) as an Ada stream. This allows you to stream Ada objects to/from any kind of file opened with the POSIX Ada API using just the standard stream attributes of Ada.
Mathematical models designed to solve problems for your business.
Software development on a consultancy basis. I can provide time estimates and hourly rates, or fixed-price quotes depending on your needs. I have experience in a large variety of programming languages, among others: Ada, C, C++, Python, Oracle PL/SQL, Pascal, SPARK and Fortran.
Coding standards can benefit from a critical review from an experienced software developer. I provide reviews and constructive comments for coding standards for Ada source text.
I can provide critical source text reviews, either during development or as an independent review of a final product before delivery/acceptance.
A course introducing the participants to contract-based programming in Ada 2012, and giving them some basic rules for using the features of Ada 2012 in a consistent and efficient manner. This course has previously been given as a tutorial at the Ada-Europe conferences in 2014 and 2015.
A course introducing experienced programmers to
New business use of existing software technology, and development of new programming techniques.
A course introducing the participants to systems programming in Ada using the POSIX Ada API. An extended version of this course has previously been given as a part of the software engineering education at DMU-Syd.
The FOSDEM video team has published a video recording of my presentation Saturday. (Due to a technical glitch, the first couple of seconds of the video are without sound.) The presentation is intended both for software developers, who are considering to try Ada, and for experienced Ada developers, who haven't worked with the newest features for contract-based programming in Ada.
Presentation on how Ada makes it easier to insert assertions in your software. There will live-streaming from the presentation at 14:00 CET 2018-02-03.
The submission deadline for Ada-Europe 2018 in Lisbon has been moved to 5 February. Please submit presentations which deliver value and insight on industrial use of Ada and reliable software technologies in general. Industrial presentations are submitted as one-page extended abstracts. Feel free to contact me, if you have any questions regarding this.
I was in Cagliari for Linux Day 2017. I gave a one-hour crash course on parallel and concurrent programming using Ada for software developers who already know sequential programming. The slides are also available in (a kind of) Italian. Many thanks to GULCh for inviting me to Cagliari.
The Call for presentations for the Ada DevRoom at FOSDEM 2018 is out. Please submit your proposals soon.
It was a pleasure attending AdaCore Tech Days in Paris. I had some good discussions with various AdaCore engineers, and with other AdaCore customers. The only disappointment was that the plans for handling code-generators with
I've just gotten word that FOSDEM 2018 will include an Ada DevRoom. The exact programme for the DevRoom will be prepared in the coming weeks.
Next year's Ada-Europe conference on reliable software systems will take place in Lisbon, Portugal. The submission deadline is 22 January 2018.
I gave a presentation at Ada-Europe 2017 – 22nd International Conference on Reliable Software Technologies in Vienna about introducing static analysis to a mature software project. I expect to submit a paper to Ada User Journal on the same topic, but including some of the feedback I got at the conference.
On Wednesday I will give a presentation on introducing static analysis to a mature software project. Mature software projects are likely to contain source text, which violates rules checked by a tool introduced later in the development process. Sometimes this will be because of limitations of the tool. In other cases, it can be regular errors or just bad style compared to the project ambitions. Whatever the reasons, if can be infeasible to resolve all the newly identified issues immediately, so we need a strategy to handle that. My presentation will introduce one such strategy.