default search action
HILT 2012: Boston, Massachusetts, USA
- Ben Brosgol, Jeff Boleng, S. Tucker Taft:
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA. ACM 2012, ISBN 978-1-4503-1505-0
Pre-conference tutorials
- Bo Ingvar Sandén:
Hilt'12 tutorial overview / design of multitask software: the entity-life modeling approach. 1-2 - Jason Belt, Patrice Chalin, John Hatcliff, Robby:
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. 3-4 - Johannes Kanig:
Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project. 5-6 - Nancy G. Leveson, Cody Harrison Fleming, John Thomas:
Safety of embedded software. 7-8 - K. Rustan M. Leino:
Developing verified programs with Dafny. 9-10 - Ricky E. Sward, Jeff Boleng:
Service-oriented architecture (SOA) concepts and implementations. 11-12 - S. Tucker Taft:
Tutorial: multicore programming using divide-and-conquer and work stealing. 13-14 - Kelvin Nilsen:
Tutorial overview: understanding dynamic memory management in safety critical java. 15-22
Keynote address
- Barbara Liskov:
Keynote presentation: Programming the turing machine. 23-24
Program verification at compile-time
- K. Rustan M. Leino:
Program proving using intermediate verification languages (IVLs) like boogie and why3. 25-26 - Johannes Kanig, Edmond Schonberg, Claire Dross:
Hi-Lite: the convergence of compiler technology and program verification. 27-34
Advanced compiler technology
- Edmond Schonberg, Vincent Pucci:
Implementation of a simple dimensionality checking system in Ada 2012. 35-42 - Hristian Hristov Kirtchev:
A new robust and efficient implementation of controlled types in the GNAT compiler. 43-50
Keynote address 2
- Kathleen Fisher:
HACMS: high assurance cyber military systems. 51-52
Languages and security
- David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham:
A DSL for cross-domain security. 53-62
Languages and safety - track 1 industrial session on safety
- Kelvin Nilsen:
Real-time Java in modernization of the aegis weapon system. 63-70 - Jeffrey O'Leary, Alok Srivastava:
FAA's controller pilot automatic data communication (data comm) system software development. 71-72
Languages and safety - track 2 real time systems
- Geert Bosch:
Synchronization cannot be implemented as a library. 73-80 - Shuai Li, Frank Singhoff, Stéphane Rubini, Michel Bourdellès:
Applicability of real-time schedulability analysis on a software radio protocol. 81-94
Keynote address 3
- Guy L. Steele Jr.:
Programming language life cycles. 95-96
Compiler certification issues
- Dan Eilers, Tero Koskinen:
Adapting ACATS for use with run-time checks suppressed. 97-102 - Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft:
Panel on compiler certification: should we trust our compiler? 103-104
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.