Tech Days Logo

November 15-16, 2017
Boston Marriott – Burlington, MA

AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.

Wednesday November 15, 2017

8:30 – 9:00 am

Registration


9:00 – 10:00 am

Introduction/Welcome Keynote presentation — Dr. Paul E. Black

National Institute of Standards and Technology

Lead author of the NIST report ‘Dramatically Reducing Software Vulnerabilities’ will summarize "lessons learned" from the report with a focus on formal methods and strong languages


10:00 - 10:30am

Break


10:30 - 12 Noon

Market perspective
Commercial offer evolution
Ada 2020 update


12 Noon - 1:30pm

Lunch


1:30 - 3:00pm

GNAT Pro update
Sharing files across projects through project files
Controlling elaboration order with GNAT Pro


3:00 - 3:30pm

Break


3:30 - 5:00pm

Code coverage approaches
Run-time libraries
GPS for bare metal development
Tailoring GPS with Python


5:00 - 5:30pm

Break


5:30 - 8:30pm

Reception and dinner

Thursday November 16, 2017

9:00 - 10:30am

Static Analysis update
Scaling up with CodePeer
Getting started with SPARK Discovery
Lightweight static analysis with libadalang
A platform for autonomous vehicles in Ada and SPARK


10:30 - 11:00am

Break


11:00 - 12:30am

QGen update
Dealing with platform obsolescence R&D projects and results


12:30 - 2:00pm

Lunch


2:00 - 3:30pm

Open mic session Conclusions Demos and "live support"