| 2023 | NDSS | BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats. | Jared Chandler, Adam Wick, Kathleen Fisher |
| 2022 | CPP | Verbatim++: verified, optimized, and semantically rich lexing with derivatives. | Derek Egolf, Sam Lasser, Kathleen Fisher |
| 2021 | PLDI | CoStar: a verified ALL(*) parser. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2021 | SP | Verbatim: A Verified Lexer Generator. | Derek Egolf, Sam Lasser, Kathleen Fisher |
| 2020 | CCS | Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. | Lauren Labell, Jared Chandler, Kathleen Fisher |
| 2019 | APLAS | TxForest: A DSL for Concurrent Filestores. | Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster |
| 2019 | ESOP | One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. | Ferdinand Vesely, Kathleen Fisher |
| 2019 | ITP | A Verified LL(1) Parser Generator. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2018 | HASKELL | Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). | Marilyn Sun, Kathleen Fisher |
| 2016 | HASKELL | Autobahn: using genetic algorithms to infer strictness annotations. | Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher |
| 2016 | OOPSLA | Incremental forest: a DSL for efficiently managing filestores. | Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster |
| 2014 | ICFP | Using formal methods to enable more secure vehicles: DARPA's HACMS program. | Kathleen Fisher |
| 2014 | OOPSLA | Adaptive LL(*) parsing: the power of dynamic analysis. | Terence Parr, Sam Harwell, Kathleen Fisher |
| 2012 | ESOP | Reasoning about Lock Placements. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2012 | PADL | LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. | Kenny Qili Zhu, Kathleen Fisher, David Walker |
| 2012 | PLDI | Concurrent data representation synthesis. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2011 | ICDT | The PADS project: an overview. | Kathleen Fisher, David Walker |
| 2011 | ICFP | Forest: a language and toolkit for programming with filestores. | Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu |
| 2011 | PLDI | Data representation synthesis. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2011 | PLDI | LL(*): the foundation of the ANTLR parser generator. | Terence Parr, Kathleen Fisher |
| 2010 | APLAS | Data Structure Fusion. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2009 | PADL | Ad Hoc Data and the Token Ambiguity Problem. | Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu |
| 2009 | PPDP | Language support for processing distributed ad hoc data. | Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker |
| 2009 | SIGCSE | Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. | Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges |
| 2008 | OOPSLA | DSLs: the good, the bad, and the ugly. | Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen |
| 2008 | PADL | A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. | Mary F. Fernndez, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum |
| 2008 | POPL | From dirt to shovels: fully automatic tool generation from ad hoc data. | Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White |
| 2008 | SIGMOD | LearnPADS: automatic tool generation from ad hoc data. | Kathleen Fisher, David Walker, Kenny Qili Zhu |
| 2007 | POPL | PADS/ML: a functional data description language. | Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernndez, Artem Gleyzer |
| 2006 | POPL | The next 700 data description languages. | Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
| 2006 | SIGMOD | PADS: an end-to-end system for processing ad hoc data. | Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernndez, Kathleen Fisher, Robert Gruber, Xuan Zheng |
| 2005 | ICFP | An expressive language of signatures. | Norman Ramsey, Kathleen Fisher, Paul Govereau |
| 2005 | PLDI | PADS: a domain-specific language for processing ad hoc data. | Kathleen Fisher, Robert Gruber |
| 2000 | ECOOP | Extending Moby with Inheritance-Based Subtyping. | Kathleen Fisher, John H. Reppy |
| 2000 | ESOP | A Calculus for Compiling and Linking Classes. | Kathleen Fisher, John H. Reppy, Jon G. Riecke |
| 2000 | KDD | Hancock: a language for extracting signatures from data streams. | Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers |
| 1999 | PLDI | The Design of a Class Mechanism for Moby. | Kathleen Fisher, John H. Reppy |
| 1998 | ECOOP | An Imperative, First-Order Calculus with Object Extension. | Viviana Bono, Kathleen Fisher |
| 1996 | CONCUR | A Calculus for Concurrent Objects. | Paolo Di Blasio, Kathleen Fisher |
| 1995 | FCT | A Delegation-based Object Calculus with Subtying. | Kathleen Fisher, John C. Mitchell |
| 1993 | LICS | A lambda calculus of objects and method specialization | John C. Mitchell, Furio Honsell, Kathleen Fisher |