|
|
|
High Integrity Language Technology
ACM SIGAda’s Annual International Conference
Keynote Presentations |
Kathleen Fisher HACMS: High-Assurance Vehicles Wednesday, December 5, 9:00-10:30am (Abstract) DARPA Information Innovation Office |
Nancy Leveson Challenges for Safety-Critical Software Wednesday, December 5, 2:00-3:30pm (Abstract) Massachusetts Institute of Technology Dept. of Aeronautics and Astronautics Engineering Systems Division |
Barbara Liskov Programming the Turing Machine Tuesday, December 4, 9:00-10:30am (Abstract) Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science |
Greg Morrisett Hardening Legacy C/C++ Code Tuesday, December 4, 2:00-3:30pm (Abstract) Harvard University School of Engineering and Applied Sciences |
Guy Steele Programming Language Life Cycles Thursday, December 6, 9:00-10:30am (Abstract) Oracle Labs |