Kathleen S. Fisher
1 River Oaks Place
San Jose, CA
Subject matter expert in Programming Languages, Domain-Specific Programming Languages, Data-Description Languages
Kathleen Fisher is 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 Distinguished Scientist. She has served as program chair for FOOL, CUFP, and ICFP. She 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. She is currently serving on the CRA Board.
Projects
I have been co-teaching Stanford's Graduate Programming Language course (cs242).
Kathleen's cv.
Kathleen's personal web site.
In March, I will be joining the faculty at Tufts University (Kathleen Fisher's homepage at Tufts)
ACM Distinguished Scientist Award, 2007.
Publications
Language support for processing distributed ad hoc data
Kenny Q. Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker
PPDP '09: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming,
ACM,
pp 243--254,
2009.
[PDF]
[BIB]
ACM Copyright
Ad Hoc Data and the Token Ambiguity Problem
Qian Xi, Kathleen Fisher, David Walker, Kenny Q. Zhu
PADL '09: Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages,
Springer-Verlag,
pp 91--106,
2009.
[PDF]
[BIB]
We need more than one: Why students need a sophisticated understanding of programming languages
Fisher, Kathleen
SIGPLAN Not.,
ACM,
v43,
#11,
pp 62--65,
2008.
[PDF]
[BIB]
ACM Copyright
SIGPLAN programming language curriculum workshop: Workshop report summary
Kathleen Fisher, Chandra Krintz
SIGPLAN Not.,
ACM,
v43,
#11,
pp 29--30,
2008.
[BIB]
ACM Copyright
LearnPADS: automatic tool generation from ad hoc data
Kathleen Fisher, David Walker, Kenny Q. Zhu
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
ACM,
pp 1299--1302,
2008.
[PDF]
[BIB]
ACM Copyright
From dirt to shovels: fully automatic tool generation from ad hoc data
Kathleen Fisher, David Walker, Kenny Q. Zhu, Peter White
POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
ACM,
pp 421--434,
2008.
[PDF]
[BIB]
ACM Copyright
From dirt to shovels: Fully automatic tool generation from ad hoc data
Kathleen Fisher, David Walker, Kenny Q. Zhu, Peter White
POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
ACM,
pp 421--434,
2008.
[BIB]
PADS/ML: a functional data description language
Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary Fernandez, Artem Gleyzer
POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
ACM,
pp 77--83,
2007.
[PDF]
[BIB]
ACM Copyright
The next 700 data description languages
Kathleen Fisher, Yitzhak Mandelbaum, David Walker
POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
ACM,
pp 2--15,
2006.
[PDF]
[BIB]
ACM Copyright
PADS: An end-to-end system for processing ad hoc data
Mark Daly, Yitzhak Mandelbaum, David Walker, Mary Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng
SIGMOD '06: Proceedings of the 2006 ACM SIGMOD international conference on Management of data,
ACM,
pp 727--729,
2006.
[PDF]
[BIB]
ACM Copyright
PADS: a domain-specific language for processing ad hoc data
Kathleen Fisher, Robert Gruber
PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation,
ACM,
pp 295--304,
2005.
[PDF]
[BIB]
ACM Copyright
An expressive language of signatures
Norman Ramsey, Kathleen Fisher, Paul Govereau
ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming,
ACM,
pp 27--40,
2005.
[PS]
[BIB]
ACM Copyright
Hancock: A language for analyzing transactional data streams
Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith
ACM Trans. Program. Lang. Syst.,
ACM,
v26,
#2,
pp 301--338,
2004.
[PDF]
[BIB]
ACM Copyright
A Typed Calculus of Traits
Kathleen Fisher, John Reppy
Proceedings of the 11th Workshop on Foundations of Object-oriented Programming,
2004.
[PDF]
[BIB]
Inheritance-based subtyping
Kathleen Fisher, John Reppy
Inf. Comput.,
Academic Press, Inc.,
v177,
#1,
pp 28--55,
2002.
[PDF]
[BIB]
An Application-Specific Database
Kathleen Fisher, Colin R. Goodall, Karin Högstedt, Anne Rogers
DBPL '01: Revised Papers from the 8th International Workshop on Database Programming Languages,
Springer-Verlag,
pp 213--227,
2002.
[PDF]
[BIB]
A framework for interoperability
Kathleen Fisher, Riccardo Pucella, John Reppy
Nick Benton and Andrew Kennedy,
Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01),
Electronic Notes in Theoretical Computer Science,
Elsevier Science Publishers,
v59,
2001.
[PDF]
[BIB]
Hancock: a language for extracting signatures from data streams
Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers
KDD '00: Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining,
ACM,
pp 9--17,
2000.
[PDF]
[BIB]
ACM Copyright
Extending Moby with Inheritance-Based Subtyping
Kathleen Fisher, John H. Reppy
ECOOP '00: Proceedings of the 14th European Conference on Object-Oriented Programming,
Springer-Verlag,
pp 83--107,
2000.
[PDF]
[BIB]
A Control-Flow Analysis for a Calculus of Concurrent Objects
Paolo Di Blasio, Kathleen Fisher, Carolyn Talcott
IEEE Trans. Softw. Eng.,
IEEE Press,
v26,
#7,
pp 617--634,
2000.
[BIB]
A Calculus for Compiling and Linking Classes
Kathleen Fisher, John H. Reppy, Jon G. Riecke
ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems,
Springer-Verlag,
pp 135--149,
2000.
[PDF]
[BIB]
The design of a class mechanism for Moby
Kathleen Fisher, John Reppy
PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation,
ACM,
pp 37--49,
1999.
[BIB]
Hancock: a language for processing very large-scale data
Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith
PLAN '99: Proceedings of the 2nd conference on Domain-specific languages,
ACM,
pp 163--176,
1999.
[PDF]
[BIB]
ACM Copyright
On the relationship between classes, objects, and data abstraction
Kathleen Fisher, John C. Mitchell
Theory and Practice of Object Systems,
John Wiley & Sons, Inc.,
v4,
#1,
pp 3--25,
1998.
[BIB]
An Imperative, First-Order Calculus with Object Extension
Viviana Bono, Kathleen Fisher
ECCOP '98: Proceedings of the 12th European Conference on Object-Oriented Programming,
Springer-Verlag,
pp 462--497,
1998.
[BIB]
Analysis for concurrent objects
Paolo Di Blasio, Kathleen Fisher, Carolyn Talcott
FMOODS '97: Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems,
Chapman & Hall, Ltd.,
pp 73--88,
1997.
[BIB]
A Calculus for Concurrent Objects
Paolo Di Blasio, Kathleen Fisher
CONCUR '96: Proceedings of the 7th International Conference on Concurrency Theory,
Springer-Verlag,
pp 655--670,
1996.
[BIB]
The development of type systems for object-oriented languages
Kathleen Fisher, John C. Mitchell
Theory and Practice of Object Systems,
John Wiley & Sons, Inc.,
v1,
#3,
pp 189--220,
1995.
[BIB]
A Delegation-based Object Calculus with Subtying
Kathleen Fisher, John C. Mitchell
FCT '95: Proceedings of the 10th International Symposium on Fundamentals of Computation Theory,
Springer-Verlag,
pp 42--61,
1995.
[BIB]
Notes on Typed Object-Oriented Programming
Kathleen Fisher, John C. Mitchell
TACS '94: Proceedings of the International Conference on Theoretical Aspects of Computer Software,
Springer-Verlag,
pp 844--885,
1994.
[BIB]
A lambda calculus of objects and method specialization
Kathleen Fisher, Furio Honsell, John C. Mitchell
Nordic J. of Computing,
Publishing Association Nordic Journal of Computing,
v1,
#1,
pp 3--37,
1994.
[BIB]
A lambda calculus of objects and method specialization
John C. Mitchell, Furio Honsell, Kathleen Fisher
LICS,
pp 26-38,
1993.
[BIB]
facebook