Notes on Typed Object-Oriented Programming. - Kathleen Fisher; John C. Mitchell (TACS, 1994)

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

A Delegation-based Object Calculus with Subtying. - Kathleen Fisher; John C. Mitchell (FCT, 1995)

The Development of Type Systems for Object-Oriented Languages. - Kathleen Fisher; John C. Mitchell (Theory Pract. Object Syst., 1995)

A Calculus for Concurrent Objects. - Paolo Di Blasio; Kathleen Fisher (CONCUR, 1996)

Teaching Biology to Prospective Elementary School Teachers so as to Promote Transition from Receiver to Giver of Information. - Kathleen Fisher; Stacy Gomes (ICLS, 1996)

Type systems for object-oriented programming languages. - Kathleen Fisher (1996)

An Imperative, First-Order Calculus with Object Extension. - Viviana Bono; Kathleen Fisher (ECOOP, 1998)

On the Relationship Between Classes, Objects, and Data Abstraction. - Kathleen Fisher; John C. Mitchell (Theory Pract. Object Syst., 1998)

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

The Design of a Class Mechanism for Moby. - Kathleen Fisher; John H. Reppy (PLDI, 1999)

Extending Moby with Inheritance-Based Subtyping. - Kathleen Fisher; John H. Reppy (ECOOP, 2000)

A Calculus for Compiling and Linking Classes. - Kathleen Fisher; John H. Reppy; Jon G. Riecke (ESOP, 2000)

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

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

An Application-Specific Database. - Kathleen Fisher; Colin R. Goodall; Karin Högstedt; Anne Rogers (DBPL, 2001)

A framework for interoperability. - Kathleen Fisher; Riccardo Pucella; John H. Reppy (BABEL, 2001)

Inheritance-Based Subtyping. - Kathleen Fisher; John H. Reppy (Inf. Comput., 2002)

Guest editorial. - Kathleen Fisher; Benjamin C. Pierce (ACM Trans. Program. Lang. Syst., 2002)

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

An expressive language of signatures. - Norman Ramsey; Kathleen Fisher; Paul Govereau (ICFP, 2005)

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

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

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

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

Introduction. - Kathleen Fisher (J. Funct. Program., 2006)

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

Typing ad hoc data. - Kathleen Fisher (TLDI, 2007)

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

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

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

LearnPADS: automatic tool generation from ad hoc data. - Kathleen Fisher; David Walker 001; Kenny Qili Zhu (SIGMOD Conference, 2008)

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. - Eric Allen; Mark W. Bailey; Rastislav Bodík; Kim B. Bruce; Kathleen Fisher; Stephen N. Freund; Robert Harper 001; Chandra Krintz; Shriram Krishnamurthi; James R. Larus; Doug Lea; Gary T. Leavens; et al. (ACM SIGPLAN Notices, 2008)

We need more than one: why students need a sophisticated understanding of programming languages. - Kathleen Fisher (ACM SIGPLAN Notices, 2008)

SIGPLAN programming language curriculum workshop: Workshop organization. - Kathleen Fisher; Chandra Krintz (ACM SIGPLAN Notices, 2008)

SIGPLAN programming language curriculum workshop: Workshop report summary. - Kathleen Fisher; Chandra Krintz (ACM SIGPLAN Notices, 2008)

Ad Hoc Data and the Token Ambiguity Problem. - Qian Xi; Kathleen Fisher; David Walker 001; Kenny Qili Zhu (PADL, 2009)

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

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

Data Structure Fusion. - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (APLAS, 2010)

The next 700 data description languages. - Kathleen Fisher; Yitzhak Mandelbaum; David Walker 001 (J. ACM, 2010)

Incremental learning of system log formats. - Kenny Qili Zhu; Kathleen Fisher; David Walker 001 (ACM SIGOPS Oper. Syst. Rev., 2010)

The PADS project: an overview. - Kathleen Fisher; David Walker 001 (ICDT, 2011)

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

Data representation synthesis. - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (PLDI, 2011)

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

Reasoning about Lock Placements. - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (ESOP, 2012)

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. - Kenny Qili Zhu; Kathleen Fisher; David Walker 001 (PADL, 2012)

Concurrent data representation synthesis. - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (PLDI, 2012)

HACMS: high assurance cyber military systems. - Kathleen Fisher (HILT, 2012)

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

Nourishing the future of the field: the programming language mentoring workshop 2012. - Kathleen Fisher; Ronald Garcia; Stephanie Weirich (ACM SIGPLAN Notices, 2012)

Using formal methods to enable more secure vehicles: DARPA's HACMS program. - Kathleen Fisher (ICFP, 2014)

Adaptive LL(*) parsing: the power of dynamic analysis. - Terence Parr; Sam Harwell; Kathleen Fisher (OOPSLA, 2014)

Practices of PLDI. - Hans-Juergen Boehm; Jack W. Davidson; Kathleen Fisher; Cormac Flanagan; Jeremy Gibbons; Mary W. Hall; Graham Hutton; David A. Padua; Frank Tip; Jan Vitek; Philip Wadler (ACM SIGPLAN Notices, 2014)

Tracking the Flow of Ideas through the Programming Languages Literature. - Michael Greenberg 002; Kathleen Fisher; David Walker 001 (SNAPL, 2015)

Hancock: A Language for Analyzing Transactional Data Streams. - Corinna Cortes; Kathleen Fisher; Daryl Pregibon; Anne Rogers; Frederick Smith (Data Stream Management, 2016)

Autobahn: using genetic algorithms to infer strictness annotations. - Yisu Remy Wang; Diogenes Nunez; Kathleen Fisher (Haskell, 2016)

Incremental forest: a DSL for efficiently managing filestores. - Jonathan DiLorenzo; Richard Zhang 004; Erin Menzies; Kathleen Fisher; Nate Foster (OOPSLA, 2016)

Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). - Marilyn Sun; Kathleen Fisher (Haskell@ICFP, 2018)

Synthesizing quotient lenses. - Solomon Maina; Anders Miltner; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2018)

Synthesizing bijective lenses. - Anders Miltner; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2018)

TxForest: A DSL for Concurrent Filestores. - Jonathan DiLorenzo; Katie Mancini; Kathleen Fisher; Nate Foster (APLAS, 2019)

One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. - Ferdinand Vesely; Kathleen Fisher (ESOP, 2019)

A Verified LL(1) Parser Generator. - Sam Lasser; Chris Casinghino; Kathleen Fisher; Cody Roux (ITP, 2019)

Synthesizing symmetric lenses. - Anders Miltner; Solomon Maina; Kathleen Fisher; Benjamin C. Pierce; David Walker 001; Steve Zdancewic (Proc. ACM Program. Lang., 2019)

Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. - Lauren Labell; Jared Chandler; Kathleen Fisher (PLAS@CCS, 2020)

Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception. - Jared Chandler; Kathleen Fisher; Erin Chapman; Eric Davis; Adam Wick (HICSS, 2020)

CoStar: a verified ALL(*) parser. - Sam Lasser; Chris Casinghino; Kathleen Fisher; Cody Roux (PLDI, 2021)

Verbatim: A Verified Lexer Generator. - Derek Egolf; Sam Lasser; Kathleen Fisher (SP (Workshops), 2021)

Verbatim++: verified, optimized, and semantically rich lexing with derivatives. - Derek Egolf; Sam Lasser; Kathleen Fisher (CPP, 2022)

Technical Report: Match-reference regular expressions and lenses. - Jeanne-Marie Musca; Anders Miltner; Kathleen Fisher; David Walker 001 (CoRR, 2022)

BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats. - Jared Chandler; Adam Wick; Kathleen Fisher (NDSS, 2023)

Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. - Sam Lasser; Chris Casinghino; Derek Egolf; Kathleen Fisher; Cody Roux (NFM, 2023)

Identifying and Mitigating the Security Risks of Generative AI. - Clark W. Barrett; Brad Boyd; Ellie Burzstein; Nicholas Carlini; Brad Chen; Jihye Choi; Amrita Roy Chowdhury 001; Mihai Christodorescu; Anupam Datta; Soheil Feizi; Kathleen Fisher; Tatsunori Hashimoto; et al. (CoRR, 2023)

Identifying and Mitigating the Security Risks of Generative AI. - Clark W. Barrett; Brad Boyd; Elie Bursztein; Nicholas Carlini; Brad Chen; Jihye Choi; Amrita Roy Chowdhury 001; Mihai Christodorescu; Anupam Datta; Soheil Feizi; Kathleen Fisher; Tatsunori Hashimoto; et al. (Found. Trends Priv. Secur., 2023)

Saggitarius: A DSL for Specifying Grammatical Domains. - Anders Miltner; Devon Loehr; Arnold Mong; Kathleen Fisher; David Walker 001 (Proc. ACM Program. Lang., 2023)