Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014
暂无分享,去创建一个
Welcome to Portland and to HILT 2014, this year's annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda). This year we are pleased to be colocated with the SPLASH 2014 conference, enabling even more chances for interactions with colleagues in industry, academia, and government.
HILT 2014 features a top-quality technical program focused on the issues associated with high integrity software -- where a failure could cause loss of human life or have other unacceptable consequences -- and on the solutions provided by language technology. "Language technology" here encompasses not only programming languages but also languages for expressing specifications, program properties, domain models, and other attributes of the software or the overall system.
HILT 2014 consists of two days of tutorials, and two days of conference sessions. The tutorials cover a wide range of topics: Ada 2012, SPARK 2014, High-Integrity OOP, AADLv2, and the Rust language. The conference program includes keynote and invited presentations from internationally recognized experts:
Christine Anderson (Spaceport America) on From Ada9X to Spaceport America: Going Where No One Has Gone Before;
Peter Feiler (Software Engineering Institute /Carnegie Mellon University), on AADL and Model-Based Engineering; and
Tom Ball (Microsoft Research), on Correctness via Compilation to Logic.
HILT 2014 conference sessions deal with a range of topics associated with safe, secure and reliable software: enhancing and evolving embedded systems languages for safety; behavioral modeling and code generation; practical use of assertions and formal methods in industry; and safe programming languages for the multicore era. You will learn the latest developments in model and program verification technologies, and hear industrial presentations from practitioners. The accompanying exhibits will give you the opportunity to meet our corporate sponsors and find out about their latest offerings. Sponsors include AdaCore (Platinum Level); Microsoft Research (Gold Level); Ellidiss (Silver Level).
At HILT 2014 you will learn about both the challenges confronting high integrity software and the solutions available to address them. Perhaps just as important are the social interactions that you get at a live conference, this year co-located with the SPLASH 2014 conference: the chance to meet and talk with researchers and practitioners in industry, academia, and government, to ask them questions, and to explain your own work and interests. These renewed and new associations can be as valuable as the technical program at professional conferences, and their benefits will continue to reward you well after you return home.