• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 2012
• 
  Jason Belt, Patrice Chalin, John Hatcliff, Robby:
  Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT 2012: 3-4
• 
  Lennart Beringer, Randall Brukardt, Thomas Plum, S. Tucker Taft:
  Panel on compiler certification: should we trust our compiler? HILT 2012: 103-104
• 
  Geert Bosch:
  Synchronization cannot be implemented as a library. HILT 2012: 73-80
• 
  Dan Eilers, Tero Koskinen:
  Adapting ACATS for use with run-time checks suppressed. HILT 2012: 97-102
• 
  Kathleen Fisher:
  HACMS: high assurance cyber military systems. HILT 2012: 51-52
• 
  David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham:
  A DSL for cross-domain security. HILT 2012: 53-62
• 
  Johannes Kanig:
  Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve - the hi-lite project. HILT 2012: 5-6
• 
  Johannes Kanig, Edmond Schonberg, Claire Dross:
  Hi-Lite: the convergence of compiler technology and program verification. HILT 2012: 27-34
• 
  Hristian Hristov Kirtchev:
  A new robust and efficient implementation of controlled types in the GNAT compiler. HILT 2012: 43-50
• 
  K. Rustan M. Leino:
  Developing verified programs with Dafny. HILT 2012: 9-10
• 
  K. Rustan M. Leino:
  Program proving using intermediate verification languages (IVLs) like boogie and why3. HILT 2012: 25-26
• 
  Nancy G. Leveson, Cody Harrison Fleming, John Thomas:
  Safety of embedded software. HILT 2012: 7-8
• 
  Shuai Li, Frank Singhoff, Stéphane Rubini, Michel Bourdellès:
  Applicability of real-time schedulability analysis on a software radio protocol. HILT 2012: 81-94
• 
  Barbara Liskov:
  Keynote presentation: Programming the turing machine. HILT 2012: 23-24
• 
  Kelvin Nilsen:
  Tutorial overview: understanding dynamic memory management in safety critical java. HILT 2012: 15-22
• 
  Kelvin Nilsen:
  Real-time Java in modernization of the aegis weapon system. HILT 2012: 63-70
• 
  Jeffrey O'Leary, Alok Srivastava:
  FAA's controller pilot automatic data communication (data comm) system software development. HILT 2012: 71-72
• 
  Bo Ingvar Sandén:
  Hilt'12 tutorial overview / design of multitask software: the entity-life modeling approach. HILT 2012: 1-2
• 
  Edmond Schonberg, Vincent Pucci:
  Implementation of a simple dimensionality checking system in Ada 2012. HILT 2012: 35-42
• 
  Guy L. Steele Jr.:
  Programming language life cycles. HILT 2012: 95-96
• 
  Ricky E. Sward, Jeff Boleng:
  Service-oriented architecture (SOA) concepts and implementations. HILT 2012: 11-12
• 
  S. Tucker Taft:
  Tutorial: multicore programming using divide-and-conquer and work stealing. HILT 2012: 13-14
• 
  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 [contents]