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: Fisher:Kathleen
Facilitated 4 volumes:
Ed
EdEd
EdContributed to:
20142014
2012
2012
20122012201120112009
2009
20082008
2008
200820072006200620052005
20002000
2000199919982019
2016201820162018Wrote 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.
- BX-2008-Fisher
- Languages and Applications Short Talk 5 (KF), p. 12.
- BX-2008-Fisher1
- 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.
- POPL-2006-FisherMW
- 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.
- ICFP-2005-RamseyFG
- 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.