Kathleen Fisher

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 24

Top Topics

Dynamic Analysis

Inter Annotator Agreement

Technical Report

Top Venues

Proc. ACM Program. Lang.

Publications

Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Saggitarius: A DSL for Specifying Grammatical Domains. CoRR (2023)
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
Identifying and Mitigating the Security Risks of Generative AI. CoRR (2023)
Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
Saggitarius: A DSL for Specifying Grammatical Domains. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
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
Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. 6 (1) (2023)
Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. NFM (2023)
Jared Chandler, Adam Wick, Kathleen Fisher
BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats. NDSS (2023)
Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker
Technical Report: Match-reference regular expressions and lenses. CoRR (2022)
Derek Egolf, Sam Lasser, Kathleen Fisher
Verbatim++: verified, optimized, and semantically rich lexing with derivatives. CPP (2022)
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
CoStar: a verified ALL(*) parser. PLDI (2021)
Derek Egolf, Sam Lasser, Kathleen Fisher
Verbatim: A Verified Lexer Generator. SP Workshops (2021)
Lauren Labell, Jared Chandler, Kathleen Fisher
Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. PLAS@CCS (2020)
Jared Chandler, Kathleen Fisher, Erin Chapman, Eric Davis, Adam Wick
Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception. HICSS (2020)
Ferdinand Vesely, Kathleen Fisher
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. ESOP (2019)
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
A Verified LL(1) Parser Generator. ITP (2019)
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
TxForest: A DSL for Concurrent Filestores. CoRR (2019)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing symmetric lenses. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
TxForest: A DSL for Concurrent Filestores. APLAS (2019)
Marilyn Sun, Kathleen Fisher
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). Haskell@ICFP (2018)
Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Symmetric Lenses. CoRR (2018)
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing bijective lenses. Proc. ACM Program. Lang. 2 (POPL) (2018)
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing quotient lenses. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
Synthesizing Bijective Lenses. CoRR (2017)
Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster
Incremental forest: a DSL for efficiently managing filestores. OOPSLA (2016)
Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher
Autobahn: using genetic algorithms to infer strictness annotations. Haskell (2016)
Michael Greenberg, Kathleen Fisher, David Walker
Tracking the Flow of Ideas through the Programming Languages Literature. SNAPL (2015)
Terence Parr, Sam Harwell, Kathleen Fisher
Adaptive LL(*) parsing: the power of dynamic analysis. OOPSLA (2014)
Kathleen Fisher
Using formal methods to enable more secure vehicles: DARPA's HACMS program. ICFP (2014)
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
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
Kathleen Fisher
HACMS: high assurance cyber military systems. HILT (2012)
Kenny Qili Zhu, Kathleen Fisher, David Walker
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. PADL (2012)
Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher
An introduction to data representation synthesis. Commun. ACM 55 (12) (2012)
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
Concurrent data representation synthesis. PLDI (2012)
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
Reasoning about Lock Placements. ESOP (2012)
Kathleen Fisher, Ronald Garcia, Stephanie Weirich
Nourishing the future of the field: the programming language mentoring workshop 2012. ACM SIGPLAN Notices 47 (4a) (2012)
Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu
Forest: a language and toolkit for programming with filestores. ICFP (2011)
Terence Parr, Kathleen Fisher
LL(*): the foundation of the ANTLR parser generator. PLDI (2011)
Kathleen Fisher, David Walker
The PADS project: an overview. ICDT (2011)
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
Data representation synthesis. PLDI (2011)
Kathleen Fisher, Yitzhak Mandelbaum, David Walker
The next 700 data description languages. J. ACM 57 (2) (2010)
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
Data Structure Fusion. APLAS (2010)
Kenny Qili Zhu, Kathleen Fisher, David Walker
Incremental learning of system log formats. ACM SIGOPS Oper. Syst. Rev. 44 (1) (2010)
Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker
Language support for processing distributed ad hoc data. PPDP (2009)
Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu
Ad Hoc Data and the Token Ambiguity Problem. PADL (2009)
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)
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. ACM SIGPLAN Notices 43 (11) (2008)
Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White
From dirt to shovels: fully automatic tool generation from ad hoc data. POPL (2008)
Kathleen Fisher
We need more than one: why students need a sophisticated understanding of programming languages. ACM SIGPLAN Notices 43 (11) (2008)
Kathleen Fisher, Chandra Krintz
SIGPLAN programming language curriculum workshop: Workshop organization. ACM SIGPLAN Notices 43 (11) (2008)
Kathleen Fisher, Chandra Krintz
SIGPLAN programming language curriculum workshop: Workshop report summary. ACM SIGPLAN Notices 43 (11) (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)
Kathleen Fisher, David Walker, Kenny Qili Zhu
LearnPADS: automatic tool generation from ad hoc data. SIGMOD Conference (2008)
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)
Kathleen Fisher
Typing ad hoc data. TLDI (2007)
Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer
PADS/ML: a functional data description language. POPL (2007)
Kathleen Fisher
Introduction. J. Funct. Program. 16 (4-5) (2006)
Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker
LAUNCHPADS: A System for Processing Ad Hoc Data. PLAN-X (2006)
Kathleen Fisher, Yitzhak Mandelbaum, David Walker
The next 700 data description languages. POPL (2006)
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)
Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum
PADX: Querying Large-scale Ad Hoc Data with XQuery. PLAN-X (2006)
Kathleen Fisher, Robert Gruber
PADS: a domain-specific language for processing ad hoc data. PLDI (2005)
Norman Ramsey, Kathleen Fisher, Paul Govereau
An expressive language of signatures. ICFP (2005)
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) (2004)
Kathleen Fisher, Riccardo Pucella, John H. Reppy
A Framework for Interoperability CoRR (2004)
Kathleen Fisher, Benjamin C. Pierce
Guest editorial. ACM Trans. Program. Lang. Syst. 24 (2) (2002)
Kathleen Fisher, John H. Reppy
Inheritance-Based Subtyping. Inf. Comput. 177 (1) (2002)
Kathleen Fisher, Riccardo Pucella, John H. Reppy
A framework for interoperability. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)
Kathleen Fisher, Colin R. Goodall, Karin Högstedt, Anne Rogers
An Application-Specific Database. DBPL (2001)
Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott
A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Software Eng. 26 (7) (2000)
Kathleen Fisher, John H. Reppy
Extending Moby with Inheritance-Based Subtyping. ECOOP (2000)
Kathleen Fisher, John H. Reppy, Jon G. Riecke
A Calculus for Compiling and Linking Classes. ESOP (2000)
Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers
Hancock: a language for extracting signatures from data streams. KDD (2000)
Kathleen Fisher, John H. Reppy
The Design of a Class Mechanism for Moby. PLDI (1999)
Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith
Hancock: a language for processing very large-scale data. DSL (1999)
Viviana Bono, Kathleen Fisher
An Imperative, First-Order Calculus with Object Extension. ECOOP (1998)
Kathleen Fisher, John C. Mitchell
On the Relationship Between Classes, Objects, and Data Abstraction. Theory Pract. Object Syst. 4 (1) (1998)
Paolo Di Blasio, Kathleen Fisher
A Calculus for Concurrent Objects. CONCUR (1996)
Kathleen Fisher, Stacy Gomes
Teaching Biology to Prospective Elementary School Teachers so as to Promote Transition from Receiver to Giver of Information. ICLS (1996)
Kathleen Fisher, John C. Mitchell
The Development of Type Systems for Object-Oriented Languages. Theory Pract. Object Syst. 1 (3) (1995)
Kathleen Fisher, John C. Mitchell
A Delegation-based Object Calculus with Subtying. FCT (1995)
Kathleen Fisher, Furio Honsell, John C. Mitchell
A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. 1 (1) (1994)
Kathleen Fisher, John C. Mitchell
Notes on Typed Object-Oriented Programming. TACS (1994)
John C. Mitchell, Furio Honsell, Kathleen Fisher
A lambda calculus of objects and method specialization LICS (1993)