Kathleen Fisher

According to our database, Kathleen Fisher authored at least 77 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Saggitarius: A DSL for Specifying Grammatical Domains.

Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker

Proc. ACM Program. Lang., October, 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, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang

Found. Trends Priv. Secur., 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, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang

CoRR, 2023

Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.

Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats.

Jared Chandler, Adam Wick, Kathleen Fisher

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2022

Technical Report: Match-reference regular expressions and lenses.

Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker

CoRR, 2022

Verbatim++: verified, optimized, and semantically rich lexing with derivatives.

Derek Egolf, Sam Lasser, Kathleen Fisher

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Verbatim: A Verified Lexer Generator.

Derek Egolf, Sam Lasser, Kathleen Fisher

Proceedings of the IEEE Security and Privacy Workshops, 2021

CoStar: a verified ALL(*) parser.

Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception.

Jared Chandler, Kathleen Fisher, Erin Chapman, Eric Davis, Adam Wick

Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples.

Lauren Labell, Jared Chandler, Kathleen Fisher

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2019

Synthesizing symmetric lenses.

Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Proc. ACM Program. Lang., 2019

A Verified LL(1) Parser Generator.

Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts.

Ferdinand Vesely, Kathleen Fisher

Proceedings of the Programming Languages and Systems, 2019

TxForest: A DSL for Concurrent Filestores.

Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Synthesizing bijective lenses.

Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Proc. ACM Program. Lang., 2018

Synthesizing quotient lenses.

Solomon Maina, 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, 2018

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, 2016

Autobahn: using genetic algorithms to infer strictness annotations.

Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher

Proceedings of the 9th International Symposium on Haskell, 2016

Hancock: A Language for Analyzing Transactional Data Streams.

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith

Proceedings of the Data Stream Management - Processing High-Speed Data Streams, 2016

2015

Tracking the Flow of Ideas through the Programming Languages Literature.

Michael Greenberg, Kathleen Fisher, David Walker

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

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

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, 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, 2014

2012

Nourishing the future of the field: the programming language mentoring workshop 2012.

Kathleen Fisher, Ronald Garcia, Stephanie Weirich

ACM SIGPLAN Notices, 2012

An introduction to data representation synthesis.

Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher

Commun. ACM, 2012

HACMS: high assurance cyber military systems.

Kathleen Fisher

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Concurrent data representation synthesis.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats.

Kenny Qili Zhu, Kathleen Fisher, David Walker

Proceedings of the Practical Aspects of Declarative Languages, 2012

Reasoning about Lock Placements.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 2012

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, 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, 2011

Forest: a language and toolkit for programming with filestores.

Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

The PADS project: an overview.

Kathleen Fisher, David Walker

Proceedings of the Database Theory, 2011

2010

Incremental learning of system log formats.

Kenny Qili Zhu, Kathleen Fisher, David Walker

ACM SIGOPS Oper. Syst. Rev., 2010

The next 700 data description languages.

Kathleen Fisher, Yitzhak Mandelbaum, David Walker

J. ACM, 2010

Data Structure Fusion.

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

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, 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, 2009

Ad Hoc Data and the Token Ambiguity Problem.

Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu

Proceedings of the Practical Aspects of Declarative Languages, 2009

2008

SIGPLAN programming language curriculum workshop: Workshop report summary.

Kathleen Fisher, Chandra Krintz

ACM SIGPLAN Notices, 2008

SIGPLAN programming language curriculum workshop: Workshop organization.

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

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, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand

ACM SIGPLAN Notices, 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, 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, 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

Proceedings of the Practical Aspects of Declarative Languages, 2008

DSLs: the good, the bad, and the ugly.

Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

Typing ad hoc data.

Kathleen Fisher

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

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, 2007

2006

Introduction.

Kathleen Fisher

J. Funct. Program., 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, 2006

PADX: Querying Large-scale Ad Hoc Data with XQuery.

Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

LAUNCHPADS: A System for Processing Ad Hoc Data.

Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

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, 2005

An expressive language of signatures.

Norman Ramsey, Kathleen Fisher, Paul Govereau

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Hancock: A language for analyzing transactional data streams.

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith

ACM Trans. Program. Lang. Syst., 2004

2002

Guest editorial.

Kathleen Fisher, Benjamin C. Pierce

ACM Trans. Program. Lang. Syst., 2002

Inheritance-Based Subtyping.

Kathleen Fisher, John H. Reppy

Inf. Comput., 2002

2001

A framework for interoperability.

Kathleen Fisher, Riccardo Pucella, John H. Reppy

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

An Application-Specific Database.

Kathleen Fisher, Colin R. Goodall, Karin Högstedt, Anne Rogers

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000

A Control-Flow Analysis for a Calculus of Concurrent Objects.

Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott

IEEE Trans. Software Eng., 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, 2000

A Calculus for Compiling and Linking Classes.

Kathleen Fisher, John H. Reppy, Jon G. Riecke

Proceedings of the Programming Languages and Systems, 2000

Extending Moby with Inheritance-Based Subtyping.

Kathleen Fisher, John H. Reppy

Proceedings of the ECOOP 2000, 2000

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), 1999

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), 1999

1998

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

Proceedings of the ECOOP'98, 1998

1996

Type systems for object-oriented programming languages.

Kathleen Fisher

PhD thesis, 1996

Teaching Biology to Prospective Elementary School Teachers so as to Promote Transition from Receiver to Giver of Information.

Kathleen Fisher, Stacy Gomes

Proceedings of the Learning for the Real World: Proceedings of the Second International Conference on the Learning Sciences, 1996

A Calculus for Concurrent Objects.

Paolo Di Blasio, Kathleen Fisher

Proceedings of the CONCUR '96, 1996

1995

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

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994

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

Proceedings of the Theoretical Aspects of Computer Software, 1994