BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × China
1 × Germany
1 × Portugal
1 × Sweden
12 × USA
2 × Estonia
2 × France
2 × Japan
Collaborated with:
D.Walker K.Q.Zhu J.H.Reppy Y.Mandelbaum T.Parr R.Gruber P.Hawkins A.Aiken M.C.Rinard M.Sagiv M.F.Fernández V.Bono F.Vesely M.Sun N.Foster S.Harwell N.Ramsey P.Govereau J.G.Riecke Y.R.Wang D.Nunez Q.Xi P.White C.Cortes D.Pregibon A.Rogers J.N.Foster M.Greenberg A.Gleyzer J.DiLorenzo R.Zhang Erin Menzies Anders Miltner B.C.Pierce S.Zdancewic D.S.Dantas L.Jia V.S.Pai M.Daly X.Zheng
Talks about:
data (12) languag (8) hoc (7) ad (7) pad (6) program (3) process (3) generat (3) system (3) infer (3)

Person: Kathleen Fisher

DBLP DBLP: Fisher:Kathleen

Facilitated 4 volumes:

ICFP 2015Ed
ICFP 2004Ed
PLDI 2019Ed

Contributed to:

ICFP 20142014
OOPSLA 20142014
ESOP 20122012
HILT 20122012
PADL 20122012
PLDI 20122012
ICFP 20112011
PLDI 20112011
PADL 20092009
PPDP 20092009
BX 20082008
PADL 20082008
POPL 20082008
SIGMOD 20082008
POPL 20072007
POPL 20062006
SIGMOD 20062006
ICFP 20052005
PLDI 20052005
ECOOP 20002000
ESOP 20002000
KDD 20002000
PLDI 19991999
ECOOP 19981998
ESOP 20192019
Haskell 20162016
Haskell 20182018
OOPSLA 20162016
POPL 20182018

Wrote 31 papers:

ICFP-2014-Fisher #formal method #using
Using formal methods to enable more secure vehicles: DARPA’s HACMS program (KF), p. 1.
OOPSLA-2014-ParrHF #adaptation #dynamic analysis #ll #parsing #power of
Adaptive LL(*) parsing: the power of dynamic analysis (TP, SH, KF), pp. 579–598.
ESOP-2012-HawkinsAFRS #reasoning
Reasoning about Lock Placements (PH, AA, KF, MCR, MS), pp. 336–356.
HILT-2012-Fisher #assurance #named
HACMS: high assurance cyber military systems (KF), pp. 51–52.
PADL-2012-ZhuFW #ad hoc #incremental
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats (KQZ, KF, DW), pp. 168–182.
PLDI-2012-HawkinsAFRS #concurrent #data transformation #representation #synthesis
Concurrent data representation synthesis (PH, AA, KF, MCR, MS), pp. 417–428.
ICFP-2011-FisherFWZ #named #programming #tool support
Forest: a language and toolkit for programming with filestores (KF, NF, DW, KQZ), pp. 292–306.
PLDI-2011-HawkinsAFRS #data transformation #representation #synthesis
Data representation synthesis (PH, AA, KF, MCR, MS), pp. 38–49.
PLDI-2011-ParrF #generative #ll #parsing
LL(*): the foundation of the ANTLR parser generator (TP, KF), pp. 425–436.
PADL-2009-XiFWZ #ad hoc #ambiguity #problem
Ad Hoc Data and the Token Ambiguity Problem (QX, KF, DW, KQZ), pp. 91–106.
PPDP-2009-ZhuDFJMPW #ad hoc #distributed
Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.
Languages and Applications Short Talk 5 (KF), p. 12.
Format Inference (KF), p. 37.
PADL-2008-FernandezFFGM #developer #ml #programming #tool support
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers (MFF, KF, JNF, MG, YM), pp. 133–149.
POPL-2008-FisherWZW #ad hoc #automation #generative
From dirt to shovels: fully automatic tool generation from ad hoc data (KF, DW, KQZ, PW), pp. 421–434.
SIGMOD-2008-FisherWZ #ad hoc #automation #generative #named
LearnPADS: automatic tool generation from ad hoc data (KF, DW, KQZ), pp. 1299–1302.
POPL-2007-MandelbaumFWFG #functional #ml #named
PADS/ML: a functional data description language (YM, KF, DW, MFF, AG), pp. 77–83.
The next 700 data description languages (KF, YM, DW), pp. 2–15.
SIGMOD-2006-DalyMWFFGZ #ad hoc #named
PADS: an end-to-end system for processing ad hoc data (MD, YM, DW, MFF, KF, RG, XZ), pp. 727–729.
An expressive language of signatures (NR, KF, PG), pp. 27–40.
PLDI-2005-FisherG #ad hoc #domain-specific language #named
PADS: a domain-specific language for processing ad hoc data (KF, RG), pp. 295–304.
ECOOP-2000-FisherR #type system
Extending Moby with Inheritance-Based Subtyping (KF, JHR), pp. 83–107.
ESOP-2000-FisherRR #calculus #compilation
A Calculus for Compiling and Linking Classes (KF, JHR, JGR), pp. 135–149.
KDD-2000-CortesFPR #data type #named
Hancock: a language for extracting signatures from data streams (CC, KF, DP, AR), pp. 9–17.
PLDI-1999-FisherR #design
The Design of a Class Mechanism for Moby (KF, JHR), pp. 37–49.
ECOOP-1998-BonoF #calculus #first-order #imperative
An Imperative, First-Order Calculus with Object Extension (VB, KF), pp. 462–497.
ESOP-2019-VeselyF #functional
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts (FV, KF), pp. 205–231.
Haskell-2016-WangNF #algorithm #named #search-based #strict #using
Autobahn: using genetic algorithms to infer strictness annotations (YRW, DN, KF), pp. 114–126.
Haskell-2018-SunF #maintenance #performance
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration) (MS, KF), pp. 38–40.
OOPSLA-2016-DiLorenzoZMFF #domain-specific language #incremental
Incremental forest: a DSL for efficiently managing filestores (JD, RZ, EM, KF, NF), pp. 252–271.
POPL-2018-MiltnerFPWZ #lens
Synthesizing bijective lenses (AM, KF, BCP, DW, SZ), p. 30.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.