Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kathleen Fisher
@article{DBLP:journals/ftsec/BarrettBBCCCCCDFFHHJKKMMRSSTY23,
author = {Clark W. Barrett and
Brad Boyd and
Elie Bursztein and
Nicholas Carlini and
Brad Chen and
Jihye Choi and
Amrita Roy Chowdhury and
Mihai Christodorescu and
Anupam Datta and
Soheil Feizi and
Kathleen Fisher and
Tatsunori Hashimoto and
Dan Hendrycks and
Somesh Jha and
Daniel Kang and
Florian Kerschbaum and
Eric Mitchell and
John C. Mitchell and
Zulfikar Ramzan and
Khawaja Shams and
Dawn Song and
Ankur Taly and
Diyi Yang},
title = {Identifying and Mitigating the Security Risks of Generative {AI}},
journal = {Found. Trends Priv. Secur.},
volume = {6},
number = {1},
pages = {1--52},
year = {2023},
url = {https://doi.org/10.1561/3300000041},
doi = {10.1561/3300000041},
timestamp = {Sun, 24 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftsec/BarrettBBCCCCCDFFHHJKKMMRSSTY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MiltnerLMFW23,
author = {Anders Miltner and
Devon Loehr and
Arnold Mong and
Kathleen Fisher and
David Walker},
title = {Saggitarius: {A} {DSL} for Specifying Grammatical Domains},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {2023--2051},
year = {2023},
url = {https://doi.org/10.1145/3622869},
doi = {10.1145/3622869},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MiltnerLMFW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/ChandlerWF23,
author = {Jared Chandler and
Adam Wick and
Kathleen Fisher},
title = {BinaryInferno: {A} Semantic-Driven Approach to Field Inference for
Binary Message Formats},
booktitle = {30th Annual Network and Distributed System Security Symposium, {NDSS}
2023, San Diego, California, USA, February 27 - March 3, 2023},
publisher = {The Internet Society},
year = {2023},
url = {https://www.ndss-symposium.org/ndss-paper/binaryinferno-a-semantic-driven-approach-to-field-inference-for-binary-message-formats/},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ndss/ChandlerWF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LasserCEFR23,
author = {Sam Lasser and
Chris Casinghino and
Derek Egolf and
Kathleen Fisher and
Cody Roux},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {414--429},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_25},
doi = {10.1007/978-3-031-33170-1\_25},
timestamp = {Mon, 26 Jun 2023 16:06:04 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LasserCEFR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-12329,
author = {Anders Miltner and
Devon Loehr and
Arnold Mong and
Kathleen Fisher and
David Walker},
title = {Saggitarius: {A} {DSL} for Specifying Grammatical Domains},
journal = {CoRR},
volume = {abs/2308.12329},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.12329},
doi = {10.48550/ARXIV.2308.12329},
eprinttype = {arXiv},
eprint = {2308.12329},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-12329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14840,
author = {Clark W. Barrett and
Brad Boyd and
Ellie Burzstein and
Nicholas Carlini and
Brad Chen and
Jihye Choi and
Amrita Roy Chowdhury and
Mihai Christodorescu and
Anupam Datta and
Soheil Feizi and
Kathleen Fisher and
Tatsunori Hashimoto and
Dan Hendrycks and
Somesh Jha and
Daniel Kang and
Florian Kerschbaum and
Eric Mitchell and
John C. Mitchell and
Zulfikar Ramzan and
Khawaja Shams and
Dawn Song and
Ankur Taly and
Diyi Yang},
title = {Identifying and Mitigating the Security Risks of Generative {AI}},
journal = {CoRR},
volume = {abs/2308.14840},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14840},
doi = {10.48550/ARXIV.2308.14840},
eprinttype = {arXiv},
eprint = {2308.14840},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/EgolfLF22,
author = {Derek Egolf and
Sam Lasser and
Kathleen Fisher},
editor = {Andrei Popescu and
Steve Zdancewic},
title = {Verbatim++: verified, optimized, and semantically rich lexing with
derivatives},
booktitle = {{CPP} '22: 11th {ACM} {SIGPLAN} International Conference on Certified
Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022},
pages = {27--39},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3497775.3503694},
doi = {10.1145/3497775.3503694},
timestamp = {Mon, 17 Jan 2022 09:44:17 +0100},
biburl = {https://dblp.org/rec/conf/cpp/EgolfLF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-04439,
author = {Jeanne{-}Marie Musca and
Anders Miltner and
Kathleen Fisher and
David Walker},
title = {Technical Report: Match-reference regular expressions and lenses},
journal = {CoRR},
volume = {abs/2212.04439},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.04439},
doi = {10.48550/ARXIV.2212.04439},
eprinttype = {arXiv},
eprint = {2212.04439},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-04439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LasserCFR21,
author = {Sam Lasser and
Chris Casinghino and
Kathleen Fisher and
Cody Roux},
editor = {Stephen N. Freund and
Eran Yahav},
title = {CoStar: a verified ALL(*) parser},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {420--434},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454053},
doi = {10.1145/3453483.3454053},
timestamp = {Thu, 09 Dec 2021 07:39:43 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LasserCFR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/EgolfLF21,
author = {Derek Egolf and
Sam Lasser and
Kathleen Fisher},
title = {Verbatim: {A} Verified Lexer Generator},
booktitle = {{IEEE} Security and Privacy Workshops, {SP} Workshops 2021, San Francisco,
CA, USA, May 27, 2021},
pages = {92--100},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SPW53761.2021.00022},
doi = {10.1109/SPW53761.2021.00022},
timestamp = {Thu, 21 Sep 2023 16:11:08 +0200},
biburl = {https://dblp.org/rec/conf/sp/EgolfLF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/LabellCF20,
author = {Lauren Labell and
Jared Chandler and
Kathleen Fisher},
editor = {Alley Stoughton and
Marco Vassena},
title = {Automatic Discovery and Synthesis of Checksum Algorithms from Binary
Data Samples},
booktitle = {PLAS'20: Proceedings of the 15th Workshop on Programming Languages
and Analysis for Security, Virtual Event, USA, 13 November, 2020},
pages = {25--34},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3411506.3417599},
doi = {10.1145/3411506.3417599},
timestamp = {Thu, 03 Feb 2022 14:01:40 +0100},
biburl = {https://dblp.org/rec/conf/ccs/LabellCF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ChandlerFCDW20,
author = {Jared Chandler and
Kathleen Fisher and
Erin Chapman and
Eric Davis and
Adam Wick},
title = {Invasion of the Botnet Snatchers: {A} Case Study in Applied Malware
Cyberdeception},
booktitle = {53rd Hawaii International Conference on System Sciences, {HICSS} 2020,
Maui, Hawaii, USA, January 7-10, 2020},
pages = {1--10},
publisher = {ScholarSpace},
year = {2020},
url = {https://hdl.handle.net/10125/63968},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/ChandlerFCDW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MiltnerMFPWZ19,
author = {Anders Miltner and
Solomon Maina and
Kathleen Fisher and
Benjamin C. Pierce and
David Walker and
Steve Zdancewic},
title = {Synthesizing symmetric lenses},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {95:1--95:28},
year = {2019},
url = {https://doi.org/10.1145/3341699},
doi = {10.1145/3341699},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MiltnerMFPWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DiLorenzoMFF19,
author = {Jonathan DiLorenzo and
Katie Mancini and
Kathleen Fisher and
Nate Foster},
editor = {Anthony Widjaja Lin},
title = {TxForest: {A} {DSL} for Concurrent Filestores},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {332--354},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_17},
doi = {10.1007/978-3-030-34175-6\_17},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/DiLorenzoMFF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VeselyF19,
author = {Ferdinand Vesely and
Kathleen Fisher},
editor = {Lu{\'{\i}}s Caires},
title = {One Step at a Time - {A} Functional Derivation of Small-Step Evaluators
from Big-Step Counterparts},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {205--231},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_8},
doi = {10.1007/978-3-030-17184-1\_8},
timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
biburl = {https://dblp.org/rec/conf/esop/VeselyF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/LasserCFR19,
author = {Sam Lasser and
Chris Casinghino and
Kathleen Fisher and
Cody Roux},
editor = {John Harrison and
John O'Leary and
Andrew Tolmach},
title = {A Verified {LL(1)} Parser Generator},
booktitle = {10th International Conference on Interactive Theorem Proving, {ITP}
2019, September 9-12, 2019, Portland, OR, {USA}},
series = {LIPIcs},
volume = {141},
pages = {24:1--24:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.24},
doi = {10.4230/LIPICS.ITP.2019.24},
timestamp = {Sat, 07 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/LasserCFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2019,
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221},
doi = {10.1145/3314221},
isbn = {978-1-4503-6712-7},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10273,
author = {Jonathan DiLorenzo and
Katie Mancini and
Kathleen Fisher and
Nate Foster},
title = {TxForest: {A} {DSL} for Concurrent Filestores},
journal = {CoRR},
volume = {abs/1908.10273},
year = {2019},
url = {http://arxiv.org/abs/1908.10273},
eprinttype = {arXiv},
eprint = {1908.10273},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MainaMFPWZ18,
author = {Solomon Maina and
Anders Miltner and
Kathleen Fisher and
Benjamin C. Pierce and
David Walker and
Steve Zdancewic},
title = {Synthesizing quotient lenses},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {80:1--80:29},
year = {2018},
url = {https://doi.org/10.1145/3236775},
doi = {10.1145/3236775},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MainaMFPWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MiltnerFPWZ18,
author = {Anders Miltner and
Kathleen Fisher and
Benjamin C. Pierce and
David Walker and
Steve Zdancewic},
title = {Synthesizing bijective lenses},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {1:1--1:30},
year = {2018},
url = {https://doi.org/10.1145/3158089},
doi = {10.1145/3158089},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MiltnerFPWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SunF18,
author = {Marilyn Sun and
Kathleen Fisher},
editor = {Nicolas Wu},
title = {Autobahn 2.0: minimizing bangs while maintaining performance (system
demonstration)},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018},
pages = {38--40},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3242744.3264734},
doi = {10.1145/3242744.3264734},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/haskell/SunF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11527,
author = {Anders Miltner and
Solomon Maina and
Kathleen Fisher and
Benjamin C. Pierce and
David Walker and
Steve Zdancewic},
title = {Synthesizing Symmetric Lenses},
journal = {CoRR},
volume = {abs/1810.11527},
year = {2018},
url = {http://arxiv.org/abs/1810.11527},
eprinttype = {arXiv},
eprint = {1810.11527},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-11527.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-03248,
author = {Anders Miltner and
Kathleen Fisher and
Benjamin C. Pierce and
David Walker and
Steve Zdancewic},
title = {Synthesizing Bijective Lenses},
journal = {CoRR},
volume = {abs/1710.03248},
year = {2017},
url = {http://arxiv.org/abs/1710.03248},
eprinttype = {arXiv},
eprint = {1710.03248},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-03248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WangNF16,
author = {Yisu Remy Wang and
Diogenes Nunez and
Kathleen Fisher},
editor = {Geoffrey Mainland},
title = {Autobahn: using genetic algorithms to infer strictness annotations},
booktitle = {Proceedings of the 9th International Symposium on Haskell, Haskell
2016, Nara, Japan, September 22-23, 2016},
pages = {114--126},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976002.2976009},
doi = {10.1145/2976002.2976009},
timestamp = {Tue, 06 Nov 2018 16:58:22 +0100},
biburl = {https://dblp.org/rec/conf/haskell/WangNF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DiLorenzoZMFF16,
author = {Jonathan DiLorenzo and
Richard Zhang and
Erin Menzies and
Kathleen Fisher and
Nate Foster},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Incremental forest: a {DSL} for efficiently managing filestores},
booktitle = {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},
pages = {252--271},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984034},
doi = {10.1145/2983990.2984034},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DiLorenzoZMFF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/16/CortesFPRS16,
author = {Corinna Cortes and
Kathleen Fisher and
Daryl Pregibon and
Anne Rogers and
Frederick Smith},
editor = {Minos N. Garofalakis and
Johannes Gehrke and
Rajeev Rastogi},
title = {Hancock: {A} Language for Analyzing Transactional Data Streams},
booktitle = {Data Stream Management - Processing High-Speed Data Streams},
series = {Data-Centric Systems and Applications},
pages = {387--408},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-540-28608-0\_19},
doi = {10.1007/978-3-540-28608-0\_19},
timestamp = {Tue, 16 May 2017 14:01:44 +0200},
biburl = {https://dblp.org/rec/books/sp/16/CortesFPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/GreenbergFW15,
author = {Michael Greenberg and
Kathleen Fisher and
David Walker},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Tracking the Flow of Ideas through the Programming Languages Literature},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {140--155},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.140},
doi = {10.4230/LIPICS.SNAPL.2015.140},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/GreenbergFW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015,
editor = {Kathleen Fisher and
John H. Reppy},
title = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731},
doi = {10.1145/2784731},
isbn = {978-1-4503-3669-7},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BoehmDFFGHHPTVW14,
author = {Hans{-}Juergen Boehm and
Jack W. Davidson and
Kathleen Fisher and
Cormac Flanagan and
Jeremy Gibbons and
Mary W. Hall and
Graham Hutton and
David A. Padua and
Frank Tip and
Jan Vitek and
Philip Wadler},
title = {Practices of {PLDI}},
journal = {{ACM} {SIGPLAN} Notices},
volume = {49},
number = {4S},
pages = {33--38},
year = {2014},
url = {https://doi.org/10.1145/2641638.2641649},
doi = {10.1145/2641638.2641649},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/BoehmDFFGHHPTVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Fisher14,
author = {Kathleen Fisher},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Using formal methods to enable more secure vehicles: DARPA's {HACMS}
program},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628165},
doi = {10.1145/2628136.2628165},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Fisher14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ParrHF14,
author = {Terence Parr and
Sam Harwell and
Kathleen Fisher},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Adaptive LL(*) parsing: the power of dynamic analysis},
booktitle = {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},
pages = {579--598},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660202},
doi = {10.1145/2660193.2660202},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ParrHF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HawkinsRASF12,
author = {Peter Hawkins and
Martin C. Rinard and
Alex Aiken and
Mooly Sagiv and
Kathleen Fisher},
title = {An introduction to data representation synthesis},
journal = {Commun. {ACM}},
volume = {55},
number = {12},
pages = {91--99},
year = {2012},
url = {https://doi.org/10.1145/2380656.2380677},
doi = {10.1145/2380656.2380677},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/HawkinsRASF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FisherGW12,
author = {Kathleen Fisher and
Ronald Garcia and
Stephanie Weirich},
title = {Nourishing the future of the field: the programming language mentoring
workshop 2012},
journal = {{ACM} {SIGPLAN} Notices},
volume = {47},
number = {4a},
pages = {14--15},
year = {2012},
url = {https://doi.org/10.1145/2442776.2448985},
doi = {10.1145/2442776.2448985},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FisherGW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Helmut Seidl},
title = {Reasoning about Lock Placements},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {336--356},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_17},
doi = {10.1007/978-3-642-28869-2\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ZhuFW12,
author = {Kenny Qili Zhu and
Kathleen Fisher and
David Walker},
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {LearnPADS + + : Incremental Inference of Ad Hoc Data Formats},
booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
pages = {168--182},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1\_13},
doi = {10.1007/978-3-642-27694-1\_13},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/ZhuFW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS12,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Concurrent data representation synthesis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {417--428},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254114},
doi = {10.1145/2254064.2254114},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Fisher12,
author = {Kathleen Fisher},
editor = {Ben Brosgol and
Jeff Boleng and
S. Tucker Taft},
title = {{HACMS:} high assurance cyber military systems},
booktitle = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
{USA}},
pages = {51--52},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2402676.2402695},
doi = {10.1145/2402676.2402695},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/Fisher12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FisherW11,
author = {Kathleen Fisher and
David Walker},
editor = {Tova Milo},
title = {The {PADS} project: an overview},
booktitle = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala,
Sweden, March 21-24, 2011, Proceedings},
pages = {11--17},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1938551.1938556},
doi = {10.1145/1938551.1938556},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/FisherW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FisherFWZ11,
author = {Kathleen Fisher and
Nate Foster and
David Walker and
Kenny Qili Zhu},
editor = {Manuel M. T. Chakravarty and
Zhenjiang Hu and
Olivier Danvy},
title = {Forest: a language and toolkit for programming with filestores},
booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
2011},
pages = {292--306},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034773.2034814},
doi = {10.1145/2034773.2034814},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FisherFWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS11,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Data representation synthesis},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {38--49},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993504},
doi = {10.1145/1993498.1993504},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ParrF11,
author = {Terence Parr and
Kathleen Fisher},
editor = {Mary W. Hall and
David A. Padua},
title = {LL(*): the foundation of the {ANTLR} parser generator},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {425--436},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993548},
doi = {10.1145/1993498.1993548},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ParrF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2011,
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {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},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066},
doi = {10.1145/2048066},
isbn = {978-1-4503-0940-0},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2011c,
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {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},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048147},
doi = {10.1145/2048147},
isbn = {978-1-4503-0942-4},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2011c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FisherMW10,
author = {Kathleen Fisher and
Yitzhak Mandelbaum and
David Walker},
title = {The next 700 data description languages},
journal = {J. {ACM}},
volume = {57},
number = {2},
pages = {10:1--10:51},
year = {2010},
url = {https://doi.org/10.1145/1667053.1667059},
doi = {10.1145/1667053.1667059},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/FisherMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/ZhuFW10,
author = {Kenny Qili Zhu and
Kathleen Fisher and
David Walker},
title = {Incremental learning of system log formats},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {44},
number = {1},
pages = {85--90},
year = {2010},
url = {https://doi.org/10.1145/1740390.1740410},
doi = {10.1145/1740390.1740410},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/ZhuFW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HawkinsAFRS10,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Kazunori Ueda},
title = {Data Structure Fusion},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {204--221},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_15},
doi = {10.1007/978-3-642-17164-2\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HawkinsAFRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/XiFWZ09,
author = {Qian Xi and
Kathleen Fisher and
David Walker and
Kenny Qili Zhu},
editor = {Andy Gill and
Terrance Swift},
title = {Ad Hoc Data and the Token Ambiguity Problem},
booktitle = {Practical Aspects of Declarative Languages, 11th International Symposium,
{PADL} 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5418},
pages = {91--106},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92995-6\_7},
doi = {10.1007/978-3-540-92995-6\_7},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/XiFWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ZhuDFJMPW09,
author = {Kenny Qili Zhu and
Daniel S. Dantas and
Kathleen Fisher and
Limin Jia and
Yitzhak Mandelbaum and
Vivek S. Pai and
David Walker},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Language support for processing distributed ad hoc data},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {243--254},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599440},
doi = {10.1145/1599410.1599440},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/ZhuDFJMPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BaileyBFHR09,
author = {Mark W. Bailey and
Kim B. Bruce and
Kathleen Fisher and
Robert Harper and
Stuart Reges},
editor = {Sue Fitzgerald and
Mark Guzdial and
Gary Lewandowski and
Steven A. Wolfman},
title = {Report of the 2008 {SIGPLAN} programming languages curriculum workshop:
preliminary report},
booktitle = {Proceedings of the 40th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2009, Chattanooga, TN, USA, March 4-7, 2009},
pages = {132--133},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1508865.1508913},
doi = {10.1145/1508865.1508913},
timestamp = {Tue, 09 Mar 2021 15:32:12 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BaileyBFHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FisherK08,
author = {Kathleen Fisher and
Chandra Krintz},
title = {{SIGPLAN} programming language curriculum workshop: Workshop organization},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {1--6},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480830},
doi = {10.1145/1480828.1480830},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FisherK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/AllenBBBFFHKKLLLPRRSTW08,
author = {Eric Allen and
Mark W. Bailey and
Rastislav Bod{\'{\i}}k and
Kim B. Bruce and
Kathleen Fisher and
Stephen N. Freund and
Robert Harper and
Chandra Krintz and
Shriram Krishnamurthi and
James R. Larus and
Doug Lea and
Gary T. Leavens and
Lori L. Pollock and
Stuart Reges and
Martin C. Rinard and
Mark A. Sheldon and
Franklyn A. Turbak and
Mitchell Wand},
title = {{SIGPLAN} programming language curriculum workshop: Discussion Summaries
and recommendations},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {6--29},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480831},
doi = {10.1145/1480828.1480831},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/AllenBBBFFHKKLLLPRRSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FisherK08a,
author = {Kathleen Fisher and
Chandra Krintz},
title = {{SIGPLAN} programming language curriculum workshop: Workshop report
summary},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {29--30},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480832},
doi = {10.1145/1480828.1480832},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/FisherK08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Fisher08,
author = {Kathleen Fisher},
title = {We need more than one: why students need a sophisticated understanding
of programming languages},
journal = {{ACM} {SIGPLAN} Notices},
volume = {43},
number = {11},
pages = {62--65},
year = {2008},
url = {https://doi.org/10.1145/1480828.1480841},
doi = {10.1145/1480828.1480841},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Fisher08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrayFCKMT08,
author = {Jeff Gray and
Kathleen Fisher and
Charles Consel and
Gabor Karsai and
Marjan Mernik and
Juha{-}Pekka Tolvanen},
editor = {Gail E. Harris},
title = {DSLs: the good, the bad, and the ugly},
booktitle = {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}},
pages = {791--794},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449814.1449863},
doi = {10.1145/1449814.1449863},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GrayFCKMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FernandezFFGM08,
author = {Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
J. Nathan Foster and
Michael Greenberg and
Yitzhak Mandelbaum},
editor = {Paul Hudak and
David Scott Warren},
title = {A Generic Programming Toolkit for {PADS/ML:} First-Class Upgrades
for Third-Party Developers},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {133--149},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_10},
doi = {10.1007/978-3-540-77442-6\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/FernandezFFGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FisherWZW08,
author = {Kathleen Fisher and
David Walker and
Kenny Qili Zhu and
Peter White},
editor = {George C. Necula and
Philip Wadler},
title = {From dirt to shovels: fully automatic tool generation from ad hoc
data},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {421--434},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328488},
doi = {10.1145/1328438.1328488},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FisherWZW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/FisherWZ08,
author = {Kathleen Fisher and
David Walker and
Kenny Qili Zhu},
editor = {Jason Tsong{-}Li Wang},
title = {LearnPADS: automatic tool generation from ad hoc data},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2008, Vancouver, BC, Canada, June 10-12, 2008},
pages = {1299--1302},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376616.1376759},
doi = {10.1145/1376616.1376759},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/FisherWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MandelbaumFWFG07,
author = {Yitzhak Mandelbaum and
Kathleen Fisher and
David Walker and
Mary F. Fern{\'{a}}ndez and
Artem Gleyzer},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {{PADS/ML:} a functional data description language},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {77--83},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190231},
doi = {10.1145/1190216.1190231},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MandelbaumFWFG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tldi/Fisher07,
author = {Kathleen Fisher},
editor = {Fran{\c{c}}ois Pottier and
George C. Necula},
title = {Typing ad hoc data},
booktitle = {Proceedings of TLDI'07: 2007 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Nice, France, January
16, 2007},
pages = {39--40},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190315.1190317},
doi = {10.1145/1190315.1190317},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tldi/Fisher07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Fisher06,
author = {Kathleen Fisher},
title = {Introduction},
journal = {J. Funct. Program.},
volume = {16},
number = {4-5},
pages = {373--374},
year = {2006},
url = {https://doi.org/10.1017/S0956796806005958},
doi = {10.1017/S0956796806005958},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Fisher06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/FernandezFGM06,
author = {Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
Robert Gruber and
Yitzhak Mandelbaum},
editor = {Giuseppe Castagna and
Mukund Raghavachari},
title = {{PADX:} Querying Large-scale Ad Hoc Data with XQuery},
booktitle = {{PLAN-X} 2006 Informal Proceedings, Charleston, South Carolina, USA,
January 14, 2006},
pages = {24--35},
publisher = {BRICS, Department of Computer Science, University of Aarhus},
year = {2006},
timestamp = {Mon, 18 Jun 2018 20:38:33 +0200},
biburl = {https://dblp.org/rec/conf/planX/FernandezFGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/DalyFFMW06,
author = {Mark Daly and
Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
Yitzhak Mandelbaum and
David Walker},
editor = {Giuseppe Castagna and
Mukund Raghavachari},
title = {{LAUNCHPADS:} {A} System for Processing Ad Hoc Data},
booktitle = {{PLAN-X} 2006 Informal Proceedings, Charleston, South Carolina, USA,
January 14, 2006},
pages = {90--91},
publisher = {BRICS, Department of Computer Science, University of Aarhus},
year = {2006},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/planX/DalyFFMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FisherMW06,
author = {Kathleen Fisher and
Yitzhak Mandelbaum and
David Walker},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {The next 700 data description languages},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {2--15},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111039},
doi = {10.1145/1111037.1111039},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FisherMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/DalyMWFFGZ06,
author = {Mark Daly and
Yitzhak Mandelbaum and
David Walker and
Mary F. Fern{\'{a}}ndez and
Kathleen Fisher and
Robert Gruber and
Xuan Zheng},
editor = {Surajit Chaudhuri and
Vagelis Hristidis and
Neoklis Polyzotis},
title = {{PADS:} an end-to-end system for processing ad hoc data},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Chicago, Illinois, USA, June 27-29, 2006},
pages = {727--729},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1142473.1142568},
doi = {10.1145/1142473.1142568},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/DalyMWFFGZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RamseyFG05,
author = {Norman Ramsey and
Kathleen Fisher and
Paul Govereau},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {An expressive language of signatures},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {27--40},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086371},
doi = {10.1145/1086365.1086371},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/RamseyFG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FisherG05,
author = {Kathleen Fisher and
Robert Gruber},
editor = {Vivek Sarkar and
Mary W. Hall},
title = {{PADS:} a domain-specific language for processing ad hoc data},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
Language Design and Implementation, Chicago, IL, USA, June 12-15,
2005},
pages = {295--304},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065010.1065046},
doi = {10.1145/1065010.1065046},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FisherG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CortesFPRS04,
author = {Corinna Cortes and
Kathleen Fisher and
Daryl Pregibon and
Anne Rogers and
Frederick Smith},
title = {Hancock: {A} language for analyzing transactional data streams},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {26},
number = {2},
pages = {301--338},
year = {2004},
url = {https://doi.org/10.1145/973097.973100},
doi = {10.1145/973097.973100},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CortesFPRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2004,
editor = {Chris Okasaki and
Kathleen Fisher},
title = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
19-21, 2004},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1016850},
doi = {10.1145/1016850},
isbn = {1-58113-905-5},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0405084,
author = {Kathleen Fisher and
Riccardo Pucella and
John H. Reppy},
title = {A Framework for Interoperability},
journal = {CoRR},
volume = {cs.PL/0405084},
year = {2004},
url = {http://arxiv.org/abs/cs/0405084},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0405084.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FisherR02,
author = {Kathleen Fisher and
John H. Reppy},
title = {Inheritance-Based Subtyping},
journal = {Inf. Comput.},
volume = {177},
number = {1},
pages = {28--55},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3169},
doi = {10.1006/INCO.2002.3169},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FisherR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FisherP02,
author = {Kathleen Fisher and
Benjamin C. Pierce},
title = {Guest editorial},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {24},
number = {2},
pages = {111},
year = {2002},
url = {https://doi.org/10.1145/514952.514953},
doi = {10.1145/514952.514953},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FisherP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/FisherGHR01,
author = {Kathleen Fisher and
Colin R. Goodall and
Karin H{\"{o}}gstedt and
Anne Rogers},
editor = {Giorgio Ghelli and
G{\"{o}}sta Grahne},
title = {An Application-Specific Database},
booktitle = {Database Programming Languages, 8th International Workshop, {DBPL}
2001, Frascati, Italy, September 8-10, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2397},
pages = {213--227},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-46093-4\_13},
doi = {10.1007/3-540-46093-4\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/FisherGHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/FisherPR01,
author = {Kathleen Fisher and
Riccardo Pucella and
John H. Reppy},
editor = {Nick Benton and
Andrew Kennedy},
title = {A framework for interoperability},
booktitle = {First International Workshop on Multi-Language Infrastructure and
Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze,
Italy, September 8, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {1},
pages = {3--19},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80450-5},
doi = {10.1016/S1571-0661(05)80450-5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FisherPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BlasioFT00,
author = {Paolo Di Blasio and
Kathleen Fisher and
Carolyn L. Talcott},
title = {A Control-Flow Analysis for a Calculus of Concurrent Objects},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {7},
pages = {617--634},
year = {2000},
url = {https://doi.org/10.1109/32.859531},
doi = {10.1109/32.859531},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BlasioFT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FisherR00,
author = {Kathleen Fisher and
John H. Reppy},
editor = {Elisa Bertino},
title = {Extending Moby with Inheritance-Based Subtyping},
booktitle = {{ECOOP} 2000 - Object-Oriented Programming, 14th European Conference,
Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1850},
pages = {83--107},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45102-1\_5},
doi = {10.1007/3-540-45102-1\_5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/FisherR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FisherRR00,
author = {Kathleen Fisher and
John H. Reppy and
Jon G. Riecke},
editor = {Gert Smolka},
title = {A Calculus for Compiling and Linking Classes},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {1782},
pages = {135--149},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46425-5\_9},
doi = {10.1007/3-540-46425-5\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/FisherRR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/CortesFPR00,
author = {Corinna Cortes and
Kathleen Fisher and
Daryl Pregibon and
Anne Rogers},
editor = {Raghu Ramakrishnan and
Salvatore J. Stolfo and
Roberto J. Bayardo and
Ismail Parsa},
title = {Hancock: a language for extracting signatures from data streams},
booktitle = {Proceedings of the sixth {ACM} {SIGKDD} international conference on
Knowledge discovery and data mining, Boston, MA, USA, August 20-23,
2000},
pages = {9--17},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347090.347094},
doi = {10.1145/347090.347094},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/CortesFPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/BonacheaFRS99,
author = {Dan Bonachea and
Kathleen Fisher and
Anne Rogers and
Frederick Smith},
editor = {Thomas Ball},
title = {Hancock: a language for processing very large-scale data},
booktitle = {Proceedings of the Second Conference on Domain-Specific Languages
{(DSL} '99), Austin, Texas, USA, October 3-5, 1999},
pages = {163--176},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/331960.331981},
doi = {10.1145/331960.331981},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/dsl/BonacheaFRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FisherR99,
author = {Kathleen Fisher and
John H. Reppy},
editor = {Barbara G. Ryder and
Benjamin G. Zorn},
title = {The Design of a Class Mechanism for Moby},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Atlanta, Georgia, USA,
May 1-4, 1999},
pages = {37--49},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301618.301638},
doi = {10.1145/301618.301638},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FisherR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/FisherM98,
author = {Kathleen Fisher and
John C. Mitchell},
title = {On the Relationship Between Classes, Objects, and Data Abstraction},
journal = {Theory Pract. Object Syst.},
volume = {4},
number = {1},
pages = {3--25},
year = {1998},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/FisherM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BonoF98,
author = {Viviana Bono and
Kathleen Fisher},
editor = {Eric Jul},
title = {An Imperative, First-Order Calculus with Object Extension},
booktitle = {ECOOP'98 - Object-Oriented Programming, 12th European Conference,
Brussels, Belgium, July 20-24, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1445},
pages = {462--497},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054104},
doi = {10.1007/BFB0054104},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BonoF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Fisher96,
author = {Kathleen Fisher},
title = {Type systems for object-oriented programming languages},
school = {Stanford University, {USA}},
year = {1996},
url = {https://searchworks.stanford.edu/view/3400932},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Fisher96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BlasioF96,
author = {Paolo Di Blasio and
Kathleen Fisher},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {A Calculus for Concurrent Objects},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {655--670},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_82},
doi = {10.1007/3-540-61604-7\_82},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BlasioF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icls/FisherG96,
author = {Kathleen Fisher and
Stacy Gomes},
editor = {Roger C. Schank and
Daniel C. Edelson and
Eric A. Domeshek},
title = {Teaching Biology to Prospective Elementary School Teachers so as to
Promote Transition from Receiver to Giver of Information},
booktitle = {Learning for the Real World: Proceedings of the Second International
Conference on the Learning Sciences, {ICLS} 1996, Evanston, IL, USA,
July 24-27, 1996},
publisher = {International Society of the Learning Sciences},
year = {1996},
url = {https://repository.isls.org/handle/1/4116},
timestamp = {Fri, 14 May 2021 15:53:39 +0200},
biburl = {https://dblp.org/rec/conf/icls/FisherG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/FisherM95,
author = {Kathleen Fisher and
John C. Mitchell},
title = {The Development of Type Systems for Object-Oriented Languages},
journal = {Theory Pract. Object Syst.},
volume = {1},
number = {3},
pages = {189--220},
year = {1995},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/FisherM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/FisherM95,
author = {Kathleen Fisher and
John C. Mitchell},
editor = {Horst Reichel},
title = {A Delegation-based Object Calculus with Subtying},
booktitle = {Fundamentals of Computation Theory, 10th International Symposium,
{FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {965},
pages = {42--61},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60249-6\_40},
doi = {10.1007/3-540-60249-6\_40},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/FisherM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/FisherHM94,
author = {Kathleen Fisher and
Furio Honsell and
John C. Mitchell},
title = {A lambda Calculus of Objects and Method Specialization},
journal = {Nord. J. Comput.},
volume = {1},
number = {1},
pages = {3--37},
year = {1994},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/FisherHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/FisherM94,
author = {Kathleen Fisher and
John C. Mitchell},
editor = {Masami Hagiya and
John C. Mitchell},
title = {Notes on Typed Object-Oriented Programming},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {844--885},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_128},
doi = {10.1007/3-540-57887-0\_128},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/FisherM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MitchellHF93,
author = {John C. Mitchell and
Furio Honsell and
Kathleen Fisher},
title = {A lambda calculus of objects and method specialization},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {26--38},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287603},
doi = {10.1109/LICS.1993.287603},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MitchellHF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
