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

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

image of Kathleen Fisher

Kathleen Fisher

Kathleen Fisher is Professor in the Computer Science Department at Tufts. Previously, she was a Principal Member of the Technical Staff at AT&T Labs Research and a Consulting Faculty Member in the Computer Science Department at Stanford University. Kathleen's research focuses on advancing the theory and practice of programming languages and on applying ideas from the programming language community to the problem of ad hoc data management. The main thrust of her work has been in domain-specific languages to facilitate programming with massive amounts of ad hoc data, including the Hancock system for efficiently building signatures from massive transaction streams and the PADS system for managing ad hoc data.

Kathleen is an ACM Fellow. She has served as program chair for FOOL, ICFP, CUFP, and OOPSLA. Kathleen is past Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN), Co-Chair of CRA's Committee on the Status of Women (CRA-W), and an editor of the Journal of Functional Programming.

Her recent role is as the DARPA program manager for the HACMS project (http://www.darpa.mil/Our_Work/I2O/Programs/High-Assurance_Cyber_Military_Systems_%28HACMS%29.aspx). The goal of the HACMS program is to create tools and techniques that can produce formally verified software for defense vehicles. To reach this goal, HACMS will explore a clean-slate, formal methods-based approach that enables semi-automated code synthesis from executable, formal specifications. In addition to generating code, such a synthesizer will also produce a machine-checkable proof that the generated code satisfies the functional specification as well as security and safety policies. A key technical challenge is the development of techniques to ensure that such proofs are composable, allowing the construction of high-assurance systems out of high-assurance components. Compatibility and legacy concerns are secondary.

She can be reached via email at kfisher at eecs.tufts.edu

Created on 30 November 2012;  website comments and corrections to ClydeRoby at ACM.Org