Kathleen Fisher

Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher: An introduction to data representation synthesis. Commun. ACM 55(12): 91-99 (2012)

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Reasoning about Lock Placements. ESOP 2012: 336-356

Kenny Qili Zhu, Kathleen Fisher, David Walker: LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. PADL 2012: 168-182

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Concurrent data representation synthesis. PLDI 2012: 417-428

Kathleen Fisher: HACMS: high assurance cyber military systems. HILT 2012: 51-52

Kathleen Fisher, David Walker: The PADS project: an overview. ICDT 2011: 11-17

Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu: Forest: a language and toolkit for programming with filestores. ICFP 2011: 292-306

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data representation synthesis. PLDI 2011: 38-49

Terence Parr, Kathleen Fisher: LL(*): the foundation of the ANTLR parser generator. PLDI 2011: 425-436

Cristina Videira Lopes, Kathleen Fisher (Eds.): Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011. ACM 2011, isbn 978-1-4503-0940-0

Cristina Videira Lopes, Kathleen Fisher (Eds.): Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011. ACM 2011, isbn 978-1-4503-0942-4

Kathleen Fisher, Yitzhak Mandelbaum, David Walker: The next 700 data description languages. J. ACM 57(2) (2010)

Kenny Qili Zhu, Kathleen Fisher, David Walker: Incremental learning of system log formats. Operating Systems Review 44(1): 85-90 (2010)

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv: Data Structure Fusion. APLAS 2010: 204-221

Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu: Ad Hoc Data and the Token Ambiguity Problem. PADL 2009: 91-106

Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker: Language support for processing distributed ad hoc data. PPDP 2009: 243-254

Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges: Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. SIGCSE 2009: 132-133

Kathleen Fisher, Chandra Krintz: SIGPLAN programming language curriculum workshop: Workshop organization. SIGPLAN Notices 43(11): 1-6 (2008)

Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand: SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Notices 43(11): 6-29 (2008)

Kathleen Fisher, Chandra Krintz: SIGPLAN programming language curriculum workshop: Workshop report summary. SIGPLAN Notices 43(11): 29-30 (2008)

Kathleen Fisher: We need more than one: why students need a sophisticated understanding of programming languages. SIGPLAN Notices 43(11): 62-65 (2008)

Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen: DSLs: the good, the bad, and the ugly. OOPSLA Companion 2008: 791-794

Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum: A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. PADL 2008: 133-149

Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White: From dirt to shovels: fully automatic tool generation from ad hoc data. POPL 2008: 421-434

Kathleen Fisher, David Walker, Kenny Qili Zhu: LearnPADS: automatic tool generation from ad hoc data. SIGMOD Conference 2008: 1299-1302

Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer: PADS/ML: a functional data description language. POPL 2007: 77-83

Kathleen Fisher: Typing ad hoc data. TLDI 2007: 39-40

Kathleen Fisher: Introduction. J. Funct. Program. 16(4-5): 373-374 (2006)

Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum: PADX: Querying Large-scale Ad Hoc Data with XQuery. PLAN-X 2006: 24-35

Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker: LAUNCHPADS: A System for Processing Ad Hoc Data. PLAN-X 2006: 90-91

Kathleen Fisher, Yitzhak Mandelbaum, David Walker: The next 700 data description languages. POPL 2006: 2-15

Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng: PADS: an end-to-end system for processing ad hoc data. SIGMOD Conference 2006: 727-729

Norman Ramsey, Kathleen Fisher, Paul Govereau: An expressive language of signatures. ICFP 2005: 27-40

Kathleen Fisher, Robert Gruber: PADS: a domain-specific language for processing ad hoc data. PLDI 2005: 295-304

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith: Hancock: A language for analyzing transactional data streams. ACM Trans. Program. Lang. Syst. 26(2): 301-338 (2004)

Chris Okasaki, Kathleen Fisher (Eds.): Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. ACM 2004, isbn 1-58113-905-5

Kathleen Fisher, Riccardo Pucella, John H. Reppy: A Framework for Interoperability. CoRR cs.PL/0405084 (2004)

Kathleen Fisher, John H. Reppy: Inheritance-Based Subtyping. Inf. Comput. 177(1): 28-55 (2002)

Kathleen Fisher, Benjamin C. Pierce: Guest editorial. ACM Trans. Program. Lang. Syst. 24(2): 111 (2002)

Kathleen Fisher, Riccardo Pucella, John H. Reppy: A framework for interoperability. Electr. Notes Theor. Comput. Sci. 59(1): 3-19 (2001)

Kathleen Fisher, Colin R. Goodall, Karin Högstedt, Anne Rogers: An Application-Specific Database. DBPL 2001: 213-227

Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott: A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Software Eng. 26(7): 617-634 (2000)

Kathleen Fisher, John H. Reppy: Extending Moby with Inheritance-Based Subtyping. ECOOP 2000: 83-107

Kathleen Fisher, John H. Reppy, Jon G. Riecke: A Calculus for Compiling and Linking Classes. ESOP 2000: 135-149

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers: Hancock: a language for extracting signatures from data streams. KDD 2000: 9-17

Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith: Hancock: a language for processing very large-scale data. DSL 1999: 163-176

Kathleen Fisher, John H. Reppy: The Design of a Class Mechanism for Moby. PLDI 1999: 37-49

Kathleen Fisher, John C. Mitchell: On the Relationship Between Classes, Objects, and Data Abstraction. TAPOS 4(1): 3-25 (1998)

Viviana Bono, Kathleen Fisher: An Imperative, First-Order Calculus with Object Extension. ECOOP 1998: 462-497

Paolo Di Blasio, Kathleen Fisher: A Calculus for Concurrent Objects. CONCUR 1996: 655-670

Kathleen Fisher, John C. Mitchell: The Development of Type Systems for Object-Oriented Languages. TAPOS 1(3): 189-220 (1995)

Kathleen Fisher, John C. Mitchell: A Delegation-based Object Calculus with Subtying. FCT 1995: 42-61

Kathleen Fisher, Furio Honsell, John C. Mitchell: A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. 1(1): 3-37 (1994)

Kathleen Fisher, John C. Mitchell: Notes on Typed Object-Oriented Programming. TACS 1994: 844-885

John C. Mitchell, Furio Honsell, Kathleen Fisher: A lambda calculus of objects and method specialization. LICS 1993: 26-38