HILT 2014             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Sponsored by SIGAda, ACM’s Special Interest Group on the Ada Programming Language,
in cooperation with SIGAPP, SIGBED, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT, Ada-Europe, and the Ada Resource Association

October 18-21, 2014 — Portland, Oregon (USA)
Pre-conference tutorials: October 18-19
Conference: October 20-21

Co-located with SPLASH 2014
HILT attendees will be welcome to attend the SPLASH keynote.

Please see the Final Program (PDF) for the conference schedule and other important information.

High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programming language(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system.

HILT 2014 will provide a forum for experts from academia/research, industry, and government to present the latest findings in designing, implementing, and using language technology for high integrity software. To this end we are soliciting technical papers, experience reports (including experience in teaching), and tutorial proposals on a broad range of relevant topics.

Conference Keynote Speakers

The conference will feature keynote and invited presentations from leading experts in language technology and high-integrity systems.

Thomas Ball
 Correctness via Compilation to Logic (Abstract)
Microsoft Research

Christine Anderson
 From Ada9X to Spaceport America: Going Where No One Has Gone Before (Abstract)
Spaceport America

Invited Speakers

Peter Feiler
 AADL and Model-Based Engineering
Software Engineering Institute / Carnegie Mellon University

Platinum Sponsors


Gold Sponsors

Microsoft Research

Silver Sponsors

Ellidiss (TNI Europe) logo

Basic Exhibitors


logo for Portland Marriott Downtown Waterfront Hotel

Hotel Rates, Reservations, Travel

Hotel Reservations at HILT 2014
Portland Marriott Downtown Waterfront Hotel

1401 SW Naito Parkway
Portland, Oregon   97201   (USA)

Why Stay at the Conference Hotel?

Portland with Mt. Hood (elevation 11,245 ft
or 3,429 m)

Portland with Mt. Hood (elevation 11,245 feet) in the far background
Street Car in Portland's downtown area
Street Car in Portland's downtown area
Oregon was a land claimed by France, Spain, Britain, Russia, Connecticut (Western Reserve), Native Americans, and perhaps several others. When the Louisiana Purchase transferred the land to the United States, Oregon was still disputed territory. The 1805-1806 Lewis & Clark Expedition reaching Oregon in the Pacific Northwest, cemented its ownership by the United States of America. Because of the wondrous descriptions of the Oregon Valley, Oregon was the main destination of settlers in their wagon trains from St. Louis until the California Gold Rush in 1849. Oregon became a state in 1859.

Register On-Line for HILT 2014 Now!
Conference Registration Information

Why Should You Join ACM?

USA Visas: If you require a visa to attend HILT 2014, read this IMPORTANT VISA INFORMATION FOR NON-US SUBMITTERS.

Created on 14 October 2014;  website comments and corrections to ClydeRoby at ACM.Org