The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Kathleen Fisher" ( http://dblp.L3S.de/Authors/Kathleen_Fisher )

URL (Homepage):  http://www.cs.tufts.edu/~kfisher/Kathleen_Fisher/Home.html  Author page on DBLP  Author page in RDF  Community of Kathleen Fisher in ASPL-2

Publication years (Num. hits)
1993-2001 (16) 2002-2008 (22) 2009-2012 (17) 2014-2019 (17)
Publication types (Num. hits)
article(23) incollection(1) inproceedings(43) proceedings(5)
Venues (Conferences, Journals, ...)
PLDI(6) ICFP(5) CoRR(4) SIGPLAN Notices(4) ESOP(3) OOPSLA(3) PACMPL(3) PADL(3) POPL(3) ACM Trans. Program. Lang. Syst...(2) ECOOP(2) OOPSLA Companion(2) PLAN-X(2) SIGMOD Conference(2) TAPOS(2) APLAS(1) More (+10 of total 41)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 42 occurrences of 27 keywords

Results
Found 73 publication records. Showing 72 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic Synthesizing symmetric lenses. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster TxForest: A DSL for Concurrent Filestores. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Ferdinand Vesely, Kathleen Fisher One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kathryn S. McKinley, Kathleen Fisher (eds.) Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux A Verified LL(1) Parser Generator. Search on Bibsonomy ITP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic Synthesizing quotient lenses. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic Synthesizing bijective lenses. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic Synthesizing Symmetric Lenses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marilyn Sun, Kathleen Fisher Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). Search on Bibsonomy Haskell@ICFP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic Synthesizing Bijective Lenses. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith Hancock: A Language for Analyzing Transactional Data Streams. Search on Bibsonomy Data Stream Management The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster Incremental forest: a DSL for efficiently managing filestores. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher Autobahn: using genetic algorithms to infer strictness annotations. Search on Bibsonomy Haskell The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, John H. Reppy (eds.) Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015 Search on Bibsonomy ICFP The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Greenberg 0002, Kathleen Fisher, David Walker Tracking the Flow of Ideas through the Programming Languages Literature. Search on Bibsonomy SNAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Terence Parr, Sam Harwell, Kathleen Fisher Adaptive LL(*) parsing: the power of dynamic analysis. Search on Bibsonomy OOPSLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher Using formal methods to enable more secure vehicles: DARPA's HACMS program. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher An introduction to data representation synthesis. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kenny Qili Zhu, Kathleen Fisher, David Walker LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Reasoning about Lock Placements. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher HACMS: high assurance cyber military systems. Search on Bibsonomy HILT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Concurrent data representation synthesis. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cristina Videira Lopes, Kathleen Fisher (eds.) 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 Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  BibTeX  RDF
1Cristina Videira Lopes, Kathleen Fisher (eds.) 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 Search on Bibsonomy OOPSLA Companion The full citation details ... 2011 DBLP  BibTeX  RDF
1Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu Forest: a language and toolkit for programming with filestores. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Terence Parr, Kathleen Fisher LL(*): the foundation of the ANTLR parser generator. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Data representation synthesis. Search on Bibsonomy PLDI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, David Walker The PADS project: an overview. Search on Bibsonomy ICDT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, Yitzhak Mandelbaum, David Walker The next 700 data description languages. Search on Bibsonomy J. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kenny Qili Zhu, Kathleen Fisher, David Walker Incremental learning of system log formats. Search on Bibsonomy Operating Systems Review The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv Data Structure Fusion. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu Ad Hoc Data and the Token Ambiguity Problem. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper 0001, Stuart Reges Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. Search on Bibsonomy SIGCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF programming languages, curriculum
1Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker Language support for processing distributed ad hoc data. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF distributed data sources, declarative language
1Kathleen Fisher, Chandra Krintz SIGPLAN programming language curriculum workshop: Workshop report summary. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, Chandra Krintz SIGPLAN programming language curriculum workshop: Workshop organization. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher We need more than one: why students need a sophisticated understanding of programming languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper 0001, 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. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg 0002, Yitzhak Mandelbaum A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen DSLs: the good, the bad, and the ugly. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF domain-specific languages, metamodeling, grammarware
1Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White From dirt to shovels: fully automatic tool generation from ad hoc data. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ad hoc data, grammar induction, data description languages, tool generation
1Kathleen Fisher, David Walker, Kenny Qili Zhu LearnPADS: automatic tool generation from ad hoc data. Search on Bibsonomy SIGMOD Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ad hoc data, grammar induction, data description language, tools generation
1Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer PADS/ML: a functional data description language. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF functional programming, domain-specific languages, ML, parsing, modules, dependent types, printing, data description languages
1Kathleen Fisher Typing ad hoc data. Search on Bibsonomy TLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ad hoc data, domain-specific languages, dependent types, data description languages
1Kathleen Fisher Introduction. Search on Bibsonomy J. Funct. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, Yitzhak Mandelbaum, David Walker The next 700 data description languages. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF domain-specific languages, dependent types, data description language
1Mark 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. Search on Bibsonomy SIGMOD Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum PADX: Querying Large-scale Ad Hoc Data with XQuery. Search on Bibsonomy PLAN-X The full citation details ... 2006 DBLP  BibTeX  RDF
1Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker LAUNCHPADS: A System for Processing Ad Hoc Data. Search on Bibsonomy PLAN-X The full citation details ... 2006 DBLP  BibTeX  RDF
1Norman Ramsey, Kathleen Fisher, Paul Govereau An expressive language of signatures. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large
1Kathleen Fisher, Robert Gruber PADS: a domain-specific language for processing ad hoc data. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF domain-specific languages, data description language
1Kathleen Fisher, Riccardo Pucella, John H. Reppy A Framework for Interoperability Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith Hancock: A language for analyzing transactional data streams. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF data mining, Domain-specific languages, statistical models
1Chris Okasaki, Kathleen Fisher (eds.) Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004 Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  BibTeX  RDF
1Kathleen Fisher, Benjamin C. Pierce Guest editorial. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, John H. Reppy Inheritance-Based Subtyping. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, Riccardo Pucella, John H. Reppy A framework for interoperability. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, Colin R. Goodall, Karin Högstedt, Anne Rogers An Application-Specific Database. Search on Bibsonomy DBPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott A Control-Flow Analysis for a Calculus of Concurrent Objects. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF prototype-based, Concurrency, object-oriented, soundness, control-flow analysis
1Kathleen Fisher, John H. Reppy, Jon G. Riecke A Calculus for Compiling and Linking Classes. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers Hancock: a language for extracting signatures from data streams. Search on Bibsonomy KDD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, John H. Reppy Extending Moby with Inheritance-Based Subtyping. Search on Bibsonomy ECOOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, John H. Reppy The Design of a Class Mechanism for Moby. Search on Bibsonomy PLDI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF ML
1Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith Hancock: a language for processing very large-scale data. Search on Bibsonomy DSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, John C. Mitchell On the Relationship Between Classes, Objects, and Data Abstraction. Search on Bibsonomy TAPOS The full citation details ... 1998 DBLP  BibTeX  RDF
1Viviana Bono, Kathleen Fisher An Imperative, First-Order Calculus with Object Extension. Search on Bibsonomy ECOOP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Paolo Di Blasio, Kathleen Fisher A Calculus for Concurrent Objects. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, John C. Mitchell The Development of Type Systems for Object-Oriented Languages. Search on Bibsonomy TAPOS The full citation details ... 1995 DBLP  BibTeX  RDF
1Kathleen Fisher, John C. Mitchell A Delegation-based Object Calculus with Subtying. Search on Bibsonomy FCT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Kathleen Fisher, Furio Honsell, John C. Mitchell A lambda Calculus of Objects and Method Specialization. Search on Bibsonomy Nord. J. Comput. The full citation details ... 1994 DBLP  BibTeX  RDF
1Kathleen Fisher, John C. Mitchell Notes on Typed Object-Oriented Programming. Search on Bibsonomy TACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1John C. Mitchell, Furio Honsell, Kathleen Fisher A lambda calculus of objects and method specialization Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #72 of 72 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license