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; 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 (Proc. ACM Program. Lang., 2023)

BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats - Jared Chandler; Adam Wick; Kathleen Fisher (30th Annual Network and Distributed System Security Symposium, NDSS 2023, San Diego, California, USA, February 27 - March 3, 2023, 2023)

Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation - Sam Lasser; Chris Casinghino; Derek Egolf; Kathleen Fisher; Cody Roux (NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, 2023)

Saggitarius: A DSL for Specifying Grammatical Domains - Anders Miltner; Devon Loehr; Arnold Mong; Kathleen Fisher; David Walker (CoRR, 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; Mihai Christodorescu; Anupam Datta; Soheil Feizi; Kathleen Fisher; Tatsunori Hashimoto; et al. (CoRR, 2023)

Verbatim++: verified, optimized, and semantically rich lexing with derivatives - Derek Egolf; Sam Lasser; Kathleen Fisher (CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022, 2022)

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

CoStar: a verified ALL(*) parser - Sam Lasser; Chris Casinghino; Kathleen Fisher; Cody Roux (PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021, 2021)

Verbatim: A Verified Lexer Generator - Derek Egolf; Sam Lasser; Kathleen Fisher (IEEE Security and Privacy Workshops, SP Workshops 2021, San Francisco, CA, USA, May 27, 2021, 2021)

Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples - Lauren Labell; Jared Chandler; Kathleen Fisher (PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020, 2020)

Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception - Jared Chandler; Kathleen Fisher; Erin Chapman; Eric Davis; Adam Wick (53rd Hawaii International Conference on System Sciences, HICSS 2020, Maui, Hawaii, USA, January 7-10, 2020, 2020)

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

TxForest: A DSL for Concurrent Filestores - Jonathan DiLorenzo; Katie Mancini; Kathleen Fisher; Nate Foster (Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, 2019)

One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts - Ferdinand Vesely; Kathleen Fisher (Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 2019)

A Verified LL(1) Parser Generator - Sam Lasser; Chris Casinghino; Kathleen Fisher; Cody Roux (10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA, 2019)

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019 - Kathryn S. McKinley; Kathleen Fisher (ACM, 2019)

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

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

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

Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration) - Marilyn Sun; Kathleen Fisher (Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018, 2018)

Synthesizing Symmetric Lenses - Anders Miltner; Solomon Maina; Kathleen Fisher; Benjamin C. Pierce; David Walker; Steve Zdancewic (CoRR, 2018)

Synthesizing Bijective Lenses - Anders Miltner; Kathleen Fisher; Benjamin C. Pierce; David Walker; Steve Zdancewic (CoRR, 2017)

Autobahn: using genetic algorithms to infer strictness annotations - Yisu Remy Wang; Diogenes Nunez; Kathleen Fisher (Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, 2016)

Incremental forest: a DSL for efficiently managing filestores - Jonathan DiLorenzo; Richard Zhang; Erin Menzies; Kathleen Fisher; Nate Foster (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016, 2016)

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

Tracking the Flow of Ideas through the Programming Languages Literature - Michael Greenberg; Kathleen Fisher; David Walker (1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA, 2015)

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015 - Kathleen Fisher; John H. Reppy (ACM, 2015)

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)

Using formal methods to enable more secure vehicles: DARPA's HACMS program - Kathleen Fisher (Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014, 2014)

Adaptive LL(*) parsing: the power of dynamic analysis - Terence Parr; Sam Harwell; Kathleen Fisher (Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014, 2014)

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)

Reasoning about Lock Placements - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012)

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats - Kenny Qili Zhu; Kathleen Fisher; David Walker (Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings, 2012)

Concurrent data representation synthesis - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012, 2012)

HACMS: high assurance cyber military systems - Kathleen Fisher (Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA, 2012)

The PADS project: an overview - Kathleen Fisher; David Walker (Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings, 2011)

Forest: a language and toolkit for programming with filestores - Kathleen Fisher; Nate Foster; David Walker; Kenny Qili Zhu (Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011, 2011)

Data representation synthesis - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, 2011)

LL(*): the foundation of the ANTLR parser generator - Terence Parr; Kathleen Fisher (Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, 2011)

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 - Cristina Videira Lopes; Kathleen Fisher (ACM, 2011)

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 - Cristina Videira Lopes; Kathleen Fisher (ACM, 2011)

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

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

Data Structure Fusion - Peter Hawkins; Alex Aiken; Kathleen Fisher; Martin C. Rinard; Mooly Sagiv (Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings, 2010)

Ad Hoc Data and the Token Ambiguity Problem - Qian Xi; Kathleen Fisher; David Walker; Kenny Qili Zhu (Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, 2009)

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 (Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, 2009)

Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report - Mark W. Bailey; Kim B. Bruce; Kathleen Fisher; Robert Harper; Stuart Reges (Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009, 2009)

SIGPLAN programming language curriculum workshop: Workshop organization - Kathleen Fisher; Chandra Krintz (ACM SIGPLAN Notices, 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; Chandra Krintz; Shriram Krishnamurthi; James R. Larus; Doug Lea; Gary T. Leavens; et al. (ACM SIGPLAN Notices, 2008)

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

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

DSLs: the good, the bad, and the ugly - Jeff Gray; Kathleen Fisher; Charles Consel; Gabor Karsai; Marjan Mernik; Juha-Pekka Tolvanen (Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, 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; Yitzhak Mandelbaum (Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, 2008)

From dirt to shovels: fully automatic tool generation from ad hoc data - Kathleen Fisher; David Walker; Kenny Qili Zhu; Peter White (Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, 2008)

LearnPADS: automatic tool generation from ad hoc data - Kathleen Fisher; David Walker; Kenny Qili Zhu (Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, 2008)

PADS/ML: a functional data description language - Yitzhak Mandelbaum; Kathleen Fisher; David Walker; Mary F. Fernández; Artem Gleyzer (Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, 2007)

Typing ad hoc data - Kathleen Fisher (Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007, 2007)

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

PADX: Querying Large-scale Ad Hoc Data with XQuery - Mary F. Fernández; Kathleen Fisher; Robert Gruber; Yitzhak Mandelbaum (PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, USA, January 14, 2006, 2006)

LAUNCHPADS: A System for Processing Ad Hoc Data - Mark Daly; Mary F. Fernández; Kathleen Fisher; Yitzhak Mandelbaum; David Walker (PLAN-X 2006 Informal Proceedings, Charleston, South Carolina, USA, January 14, 2006, 2006)

The next 700 data description languages - Kathleen Fisher; Yitzhak Mandelbaum; David Walker (Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, 2006)

PADS: an end-to-end system for processing ad hoc data - Mark Daly; Yitzhak Mandelbaum; David Walker; Mary F. Fernández; Kathleen Fisher; Robert Gruber; Xuan Zheng (Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006, 2006)

An expressive language of signatures - Norman Ramsey; Kathleen Fisher; Paul Govereau (Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, 2005)

PADS: a domain-specific language for processing ad hoc data - Kathleen Fisher; Robert Gruber (Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, 2005)

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

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004 - Chris Okasaki; Kathleen Fisher (ACM, 2004)

A Framework for Interoperability - Kathleen Fisher; Riccardo Pucella; John H. Reppy (CoRR, 2004)

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

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

An Application-Specific Database - Kathleen Fisher; Colin R. Goodall; Karin Högstedt; Anne Rogers (Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers, 2001)

A framework for interoperability - Kathleen Fisher; Riccardo Pucella; John H. Reppy (First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001, 2001)

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

Extending Moby with Inheritance-Based Subtyping - Kathleen Fisher; John H. Reppy (ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings, 2000)

A Calculus for Compiling and Linking Classes - Kathleen Fisher; John H. Reppy; Jon G. Riecke (Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000)

Hancock: a language for extracting signatures from data streams - Corinna Cortes; Kathleen Fisher; Daryl Pregibon; Anne Rogers (Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, Boston, MA, USA, August 20-23, 2000, 2000)

Hancock: a language for processing very large-scale data - Dan Bonachea; Kathleen Fisher; Anne Rogers; Frederick Smith (Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999, 1999)

The Design of a Class Mechanism for Moby - Kathleen Fisher; John H. Reppy (Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999, 1999)

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

An Imperative, First-Order Calculus with Object Extension - Viviana Bono; Kathleen Fisher (ECOOP'98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings, 1998)

Type systems for object-oriented programming languages - Kathleen Fisher (Stanford University, USA, 1996)

A Calculus for Concurrent Objects - Paolo Di Blasio; Kathleen Fisher (CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, 1996)

Teaching Biology to Prospective Elementary School Teachers so as to Promote Transition from Receiver to Giver of Information - Kathleen Fisher; Stacy Gomes (Learning for the Real World: Proceedings of the Second International Conference on the Learning Sciences, ICLS 1996, Evanston, IL, USA, July 24-27, 1996, 1996)

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

A Delegation-based Object Calculus with Subtying - Kathleen Fisher; John C. Mitchell (Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings, 1995)

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

Notes on Typed Object-Oriented Programming - Kathleen Fisher; John C. Mitchell (Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings, 1994)

A lambda calculus of objects and method specialization - John C. Mitchell; Furio Honsell; Kathleen Fisher (Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993, 1993)