![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Kathleen Fisher
Person information
- affiliation: Tufts University, Medford, USA
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1996
- [b1]Kathleen Fisher:
Type systems for object-oriented programming languages. Stanford University, USA, 1996
Journal Articles
- 2023
- [j22]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): 1-52 (2023) - [j21]Anders Miltner
, Devon Loehr
, Arnold Mong
, Kathleen Fisher
, David Walker
:
Saggitarius: A DSL for Specifying Grammatical Domains. Proc. ACM Program. Lang. 7(OOPSLA2): 2023-2051 (2023) - 2019
- [j20]Anders Miltner
, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker
, Steve Zdancewic:
Synthesizing symmetric lenses. Proc. ACM Program. Lang. 3(ICFP): 95:1-95:28 (2019) - 2018
- [j19]Solomon Maina, Anders Miltner
, Kathleen Fisher, Benjamin C. Pierce, David Walker
, Steve Zdancewic:
Synthesizing quotient lenses. Proc. ACM Program. Lang. 2(ICFP): 80:1-80:29 (2018) - [j18]Anders Miltner
, Kathleen Fisher, Benjamin C. Pierce, David Walker
, Steve Zdancewic:
Synthesizing bijective lenses. Proc. ACM Program. Lang. 2(POPL): 1:1-1:30 (2018) - 2014
- [j17]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): 33-38 (2014) - 2012
- [j16]Peter Hawkins, Martin C. Rinard, Alex Aiken
, Mooly Sagiv, Kathleen Fisher:
An introduction to data representation synthesis. Commun. ACM 55(12): 91-99 (2012) - [j15]Kathleen Fisher, Ronald Garcia, Stephanie Weirich:
Nourishing the future of the field: the programming language mentoring workshop 2012. ACM SIGPLAN Notices 47(4a): 14-15 (2012) - 2010
- [j14]Kathleen Fisher, Yitzhak Mandelbaum, David Walker
:
The next 700 data description languages. J. ACM 57(2): 10:1-10:51 (2010) - [j13]Kenny Qili Zhu, Kathleen Fisher, David Walker
:
Incremental learning of system log formats. ACM SIGOPS Oper. Syst. Rev. 44(1): 85-90 (2010) - 2008
- [j12]Kathleen Fisher, Chandra Krintz:
SIGPLAN programming language curriculum workshop: Workshop organization. ACM SIGPLAN Notices 43(11): 1-6 (2008) - [j11]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): 6-29 (2008) - [j10]Kathleen Fisher, Chandra Krintz:
SIGPLAN programming language curriculum workshop: Workshop report summary. ACM SIGPLAN Notices 43(11): 29-30 (2008) - [j9]Kathleen Fisher:
We need more than one: why students need a sophisticated understanding of programming languages. ACM SIGPLAN Notices 43(11): 62-65 (2008) - 2006
- [j8]Kathleen Fisher:
Introduction. J. Funct. Program. 16(4-5): 373-374 (2006) - 2004
- [j7]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): 301-338 (2004) - 2002
- [j6]Kathleen Fisher, John H. Reppy
:
Inheritance-Based Subtyping. Inf. Comput. 177(1): 28-55 (2002) - [j5]Kathleen Fisher, Benjamin C. Pierce:
Guest editorial. ACM Trans. Program. Lang. Syst. 24(2): 111 (2002) - 2000
- [j4]Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott:
A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Software Eng. 26(7): 617-634 (2000) - 1998
- [j3]Kathleen Fisher, John C. Mitchell:
On the Relationship Between Classes, Objects, and Data Abstraction. Theory Pract. Object Syst. 4(1): 3-25 (1998) - 1995
- [j2]Kathleen Fisher, John C. Mitchell:
The Development of Type Systems for Object-Oriented Languages. Theory Pract. Object Syst. 1(3): 189-220 (1995) - 1994
- [j1]Kathleen Fisher, Furio Honsell, John C. Mitchell:
A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. 1(1): 3-37 (1994)
Conference and Workshop Papers
- 2023
- [c53]Jared Chandler, Adam Wick, Kathleen Fisher:
BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats. NDSS 2023 - [c52]Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux:
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. NFM 2023: 414-429 - 2022
- [c51]Derek Egolf, Sam Lasser, Kathleen Fisher:
Verbatim++: verified, optimized, and semantically rich lexing with derivatives. CPP 2022: 27-39 - 2021
- [c50]Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux:
CoStar: a verified ALL(*) parser. PLDI 2021: 420-434 - [c49]Derek Egolf, Sam Lasser, Kathleen Fisher:
Verbatim: A Verified Lexer Generator. SP (Workshops) 2021: 92-100 - 2020
- [c48]Lauren Labell, Jared Chandler, Kathleen Fisher:
Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. PLAS@CCS 2020: 25-34 - [c47]Jared Chandler, Kathleen Fisher, Erin Chapman, Eric Davis, Adam Wick:
Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception. HICSS 2020: 1-10 - 2019
- [c46]Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. APLAS 2019: 332-354 - [c45]Ferdinand Vesely, Kathleen Fisher:
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. ESOP 2019: 205-231 - [c44]Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux:
A Verified LL(1) Parser Generator. ITP 2019: 24:1-24:18 - 2018
- [c43]Marilyn Sun, Kathleen Fisher:
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). Haskell@ICFP 2018: 38-40 - 2016
- [c42]Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher:
Autobahn: using genetic algorithms to infer strictness annotations. Haskell 2016: 114-126 - [c41]Jonathan DiLorenzo, Richard Zhang, Erin Menzies
, Kathleen Fisher, Nate Foster:
Incremental forest: a DSL for efficiently managing filestores. OOPSLA 2016: 252-271 - 2015
- [c40]Michael Greenberg
, Kathleen Fisher, David Walker
:
Tracking the Flow of Ideas through the Programming Languages Literature. SNAPL 2015: 140-155 - 2014
- [c39]Kathleen Fisher:
Using formal methods to enable more secure vehicles: DARPA's HACMS program. ICFP 2014: 1 - [c38]Terence Parr, Sam Harwell, Kathleen Fisher:
Adaptive LL(*) parsing: the power of dynamic analysis. OOPSLA 2014: 579-598 - 2012
- [c37]Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Reasoning about Lock Placements. ESOP 2012: 336-356 - [c36]Kenny Qili Zhu, Kathleen Fisher, David Walker:
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. PADL 2012: 168-182 - [c35]Peter Hawkins, Alex Aiken
, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Concurrent data representation synthesis. PLDI 2012: 417-428 - [c34]Kathleen Fisher:
HACMS: high assurance cyber military systems. HILT 2012: 51-52 - 2011
- [c33]Kathleen Fisher, David Walker
:
The PADS project: an overview. ICDT 2011: 11-17 - [c32]Kathleen Fisher, Nate Foster, David Walker
, Kenny Qili Zhu:
Forest: a language and toolkit for programming with filestores. ICFP 2011: 292-306 - [c31]Peter Hawkins, Alex Aiken
, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Data representation synthesis. PLDI 2011: 38-49 - [c30]Terence Parr, Kathleen Fisher:
LL(*): the foundation of the ANTLR parser generator. PLDI 2011: 425-436 - 2010
- [c29]Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
Data Structure Fusion. APLAS 2010: 204-221 - 2009
- [c28]Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu:
Ad Hoc Data and the Token Ambiguity Problem. PADL 2009: 91-106 - [c27]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: 243-254 - [c26]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: 132-133 - 2008
- [c25]Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen:
DSLs: the good, the bad, and the ugly. OOPSLA Companion 2008: 791-794 - [c24]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: 133-149 - [c23]Kathleen Fisher, David Walker
, Kenny Qili Zhu, Peter White:
From dirt to shovels: fully automatic tool generation from ad hoc data. POPL 2008: 421-434 - [c22]Kathleen Fisher, David Walker
, Kenny Qili Zhu:
LearnPADS: automatic tool generation from ad hoc data. SIGMOD Conference 2008: 1299-1302 - 2007
- [c21]Yitzhak Mandelbaum, Kathleen Fisher, David Walker
, Mary F. Fernández, Artem Gleyzer:
PADS/ML: a functional data description language. POPL 2007: 77-83 - [c20]Kathleen Fisher:
Typing ad hoc data. TLDI 2007: 39-40 - 2006
- [c19]Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum:
PADX: Querying Large-scale Ad Hoc Data with XQuery. PLAN-X 2006: 24-35 - [c18]Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker:
LAUNCHPADS: A System for Processing Ad Hoc Data. PLAN-X 2006: 90-91 - [c17]Kathleen Fisher, Yitzhak Mandelbaum, David Walker
:
The next 700 data description languages. POPL 2006: 2-15 - [c16]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: 727-729 - 2005
- [c15]Norman Ramsey
, Kathleen Fisher, Paul Govereau:
An expressive language of signatures. ICFP 2005: 27-40 - [c14]Kathleen Fisher, Robert Gruber:
PADS: a domain-specific language for processing ad hoc data. PLDI 2005: 295-304 - 2001
- [c13]Kathleen Fisher, Colin R. Goodall, Karin Högstedt, Anne Rogers:
An Application-Specific Database. DBPL 2001: 213-227 - [c12]Kathleen Fisher, Riccardo Pucella, John H. Reppy
:
A framework for interoperability. BABEL 2001: 3-19 - 2000
- [c11]Kathleen Fisher, John H. Reppy
:
Extending Moby with Inheritance-Based Subtyping. ECOOP 2000: 83-107 - [c10]Kathleen Fisher, John H. Reppy
, Jon G. Riecke:
A Calculus for Compiling and Linking Classes. ESOP 2000: 135-149 - [c9]Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers:
Hancock: a language for extracting signatures from data streams. KDD 2000: 9-17 - 1999
- [c8]Dan Bonachea
, Kathleen Fisher, Anne Rogers, Frederick Smith:
Hancock: a language for processing very large-scale data. DSL 1999: 163-176 - [c7]Kathleen Fisher, John H. Reppy
:
The Design of a Class Mechanism for Moby. PLDI 1999: 37-49 - 1998
- [c6]Viviana Bono
, Kathleen Fisher:
An Imperative, First-Order Calculus with Object Extension. ECOOP 1998: 462-497 - 1996
- [c5]Paolo Di Blasio, Kathleen Fisher:
A Calculus for Concurrent Objects. CONCUR 1996: 655-670 - [c4]Kathleen Fisher, Stacy Gomes:
Teaching Biology to Prospective Elementary School Teachers so as to Promote Transition from Receiver to Giver of Information. ICLS 1996 - 1995
- [c3]Kathleen Fisher, John C. Mitchell:
A Delegation-based Object Calculus with Subtying. FCT 1995: 42-61 - 1994
- [c2]Kathleen Fisher, John C. Mitchell:
Notes on Typed Object-Oriented Programming. TACS 1994: 844-885 - 1993
- [c1]John C. Mitchell, Furio Honsell, Kathleen Fisher:
A lambda calculus of objects and method specialization. LICS 1993: 26-38
Parts in Books or Collections
- 2016
- [p1]Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith:
Hancock: A Language for Analyzing Transactional Data Streams. Data Stream Management 2016: 387-408
Editorship
- 2019
- [e5]Kathryn S. McKinley, Kathleen Fisher:
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. ACM 2019, ISBN 978-1-4503-6712-7 [contents] - 2015
- [e4]Kathleen Fisher, John H. Reppy:
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015. ACM 2015, ISBN 978-1-4503-3669-7 [contents] - 2011
- [e3]Cristina Videira Lopes, Kathleen Fisher:
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. ACM 2011, ISBN 978-1-4503-0940-0 [contents] - [e2]Cristina Videira Lopes, Kathleen Fisher:
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. ACM 2011, ISBN 978-1-4503-0942-4 [contents] - 2004
- [e1]Chris Okasaki, Kathleen Fisher:
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. ACM 2004, ISBN 1-58113-905-5 [contents]
Informal and Other Publications
- 2023
- [i7]Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker:
Saggitarius: A DSL for Specifying Grammatical Domains. CoRR abs/2308.12329 (2023) - [i6]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 abs/2308.14840 (2023) - 2022
- [i5]Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker
:
Technical Report: Match-reference regular expressions and lenses. CoRR abs/2212.04439 (2022) - 2019
- [i4]Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster:
TxForest: A DSL for Concurrent Filestores. CoRR abs/1908.10273 (2019) - 2018
- [i3]Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing Symmetric Lenses. CoRR abs/1810.11527 (2018) - 2017
- [i2]Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic:
Synthesizing Bijective Lenses. CoRR abs/1710.03248 (2017) - 2004
- [i1]Kathleen Fisher, Riccardo Pucella, John H. Reppy:
A Framework for Interoperability. CoRR cs.PL/0405084 (2004)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint