Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs
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, a Consulting Faculty Member in the Computer Science Department at Stanford University, and a program manager at DARPA where she started and managed the HACMS and PPAML programs. 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), past Co-Chair of CRA’s Committee on the Status of Women (CRA-W), and a former editor of the Journal of Functional Programming.
Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 45mTalk | Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs PEPM Invited Talks | ||
11:15 45mTalk | Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic PEPM Invited Talks |