High Integrity Language Technology
ACM SIGAda’s Annual International Conference
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
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