Kathleen Fisher -

Registered user since Fri 30 May 2014

Name:Kathleen Fisher

Bio:

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. Recently, she has been exploring synergies between machine learning and programming languages and studying how to apply advances in programming languages to the problem of building more secure systems.

Kathleen is an ACM Fellow. She has served as program chair for FOOL, ICFP, CUFP, and OOPSLA and as General Chair for ICFP 2015. 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. She is an Associate Editor for TOPLAS.

Country:United States

Affiliation:Tufts University

Personal website:http://www.cs.tufts.edu/~kfisher

Research interests:Programming Langauges

Contributions

PLDI 2022	Author of (PLDI 2021) CoStar: A Verified ALL(*) Parser within the SIGPLAN Track-track
CPP 2022	Author of Verbatim++: Verified, Optimized, and Semantically Rich Lexing with Derivatives within the CPP 2022-track
PLDI 2021	Committee Member in Steering Committee Session Chair of Ask Me Anything (part of Ask Me Anything) Author of CoStar: A Verified ALL(*) Parser within the PLDI-track
PLMW@PLDI 2021	Panelist of Panel on Career Paths within the PLMW@PLDI 2021-track
PLMW @ ICFP 2020	Panelist of Panel discussion: Making a career in PL (even in uncertain times) within the PLMW @ ICFP 2020-track
PLDI 2020	Session Chair of Session 9 (part of Ask Me Anything) Author of "Ask Me Anything" with Kathleen Fisher within the Ask Me Anything-track Committee Member in Steering Committee
APLAS 2019	Author of Transactional Forest: A DSL for Managing Concurrent Filestores within the Research Papers-track
PLMW @ ICFP 2019	Author of Time management, family, and quality of life within the PLMW @ ICFP 2019-track Committee Member in Speakers within the PLMW @ ICFP 2019-track
ICFP 2019	Author of Synthesizing Symmetric Lenses within the Research Papers-track
PLMW @ PLDI 2019	Author of Career Options in Academia, Industry, and Government within the PLMW @ PLDI 2019-track
PLDI 2019	Program Chair in Organizing Committee Program Chair in Program Committee within the PLDI Research Papers-track
ESOP 2019	Author of One Step at a Time within the ESOP 2019-track
ETAPS 2019	Author of From quadcopters to helicopters: Formal verification to eliminate exploitable bugs within the Keynotes-track
SPLASH 2018	Speaker in Speakers within the PLMW-track Panelist of Panel: Industrial and Academic Research within the PLMW-track Author of Work/Life Balance within the PLMW-track Speaker in Speakers within the SPLASH-I-track Author of Provably Eliminating Exploitable Bugs within the SPLASH-I-track
ICFP 2018	Author of Synthesizing Quotient Lenses within the Research Papers-track
Haskell 2018	Author of Autobahn 2.0: Minimizing Bangs while Maintaining Performance (System Demonstration) within the Haskell 2018-track
PLDI 2018	Committee Member in Distinguished Paper Committee Session Chair of Types (part of PLDI Research Papers) Committee Member in Program Committee Author of PLDI 2019 Introduction within the PLDI Invited Speakers-track Session Chair of PLDI 2019 Introduction (part of PLDI Invited Speakers)
POPL 2018	Author of Synthesizing Bijective Lenses within the Research Papers-track Author of Synthesizing Bijective Lenses within the Artifact Evaluation-track
ICFP 2017	ICFP'15 General Chair in Steering Committee
POPL 2017	Committee Member in Program Committee within the POPL-track Session Chair of Functional Programming with Effects (part of POPL)
RDP 2017	Author of Programming Language Ideas Escape the Lab: Declarative Data Description Languages for Managing Ad hoc Data within the RDP-track
PLMW	Committee Member in Speaker within the PLMW-track Author of Time management, family and quality of life within the PLMW-track
SPLASH 2016	Author of Incremental Forest: A DSL for Efficiently Managing Filestores within the OOPSLA-track
ICFP 2016	ICFP'15 General Chair in Steering Committee Session Chair of Session 2 (part of Research Papers)
Haskell 2016	Author of Autobahn: Using Genetic Algorithms to Infer Strictness Annotations within the Haskell-track
PLMW 2016	Author of Welcome to ICFP! within the PLMW-track Committee Member in Speakers within the PLMW-track
PPS 2016	Chair in Program Committee within the PPS 2016-track
PEPM 2016	Invited Speaker of Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs within the Invited Talks-track
ML4PL 2015	Committee Member in Program committee within the ML4PL-track Author of Using topic models to understand programming languages literature within the ML4PL-track
PLDI 2015	Committee Member in Program Committee within the Research Papers-track Session Chair of Synthesis I (part of Research Papers)
SPLASH 2014	Author of Adaptive LL() Parsing: The Power of Dynamic Analysis within the OOPSLA-track Committee Member in Steering Committee Presenter of Adaptive LL() Parsing: The Power of Dynamic Analysis within the OOPSLA Artifacts-track
SPLASH 2011	General Chair in Program Committee within the OOPSLA-track Program Chair in Organizing Committee