Kathleen Fisher

According to our database1, Kathleen Fisher authored at least 63 papers between 1994 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception.
Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

2019
Synthesizing symmetric lenses.
Proc. ACM Program. Lang., 2019

A Verified LL(1) Parser Generator.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts.
Proceedings of the Programming Languages and Systems, 2019

TxForest: A DSL for Concurrent Filestores.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
Synthesizing bijective lenses.
Proc. ACM Program. Lang., 2018

Synthesizing quotient lenses.
Proc. ACM Program. Lang., 2018

Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration).
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2016
Incremental forest: a DSL for efficiently managing filestores.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Autobahn: using genetic algorithms to infer strictness annotations.
Proceedings of the 9th International Symposium on Haskell, 2016

Hancock: A Language for Analyzing Transactional Data Streams.
Proceedings of the Data Stream Management - Processing High-Speed Data Streams, 2016

2015
Tracking the Flow of Ideas through the Programming Languages Literature.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014
Adaptive LL(*) parsing: the power of dynamic analysis.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Using formal methods to enable more secure vehicles: DARPA's HACMS program.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2012
An introduction to data representation synthesis.
Commun. ACM, 2012

HACMS: high assurance cyber military systems.
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Concurrent data representation synthesis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Reasoning about Lock Placements.
Proceedings of the Programming Languages and Systems, 2012

2011
LL(*): the foundation of the ANTLR parser generator.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Data representation synthesis.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Forest: a language and toolkit for programming with filestores.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

The PADS project: an overview.
Proceedings of the Database Theory, 2011

2010
Incremental learning of system log formats.
ACM SIGOPS Oper. Syst. Rev., 2010

The next 700 data description languages.
J. ACM, 2010

Data Structure Fusion.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009
Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report.
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Language support for processing distributed ad hoc data.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Ad Hoc Data and the Token Ambiguity Problem.
Proceedings of the Practical Aspects of Declarative Languages, 2009

2008
SIGPLAN programming language curriculum workshop: Workshop report summary.
ACM SIGPLAN Notices, 2008

SIGPLAN programming language curriculum workshop: Workshop organization.
ACM SIGPLAN Notices, 2008

We need more than one: why students need a sophisticated understanding of programming languages.
ACM SIGPLAN Notices, 2008

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
ACM SIGPLAN Notices, 2008

LearnPADS: automatic tool generation from ad hoc data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

From dirt to shovels: fully automatic tool generation from ad hoc data.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.
Proceedings of the Practical Aspects of Declarative Languages, 2008

DSLs: the good, the bad, and the ugly.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
Typing ad hoc data.
Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

PADS/ML: a functional data description language.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2006
Introduction.
J. Funct. Program., 2006

PADS: an end-to-end system for processing ad hoc data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

PADX: Querying Large-scale Ad Hoc Data with XQuery.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

LAUNCHPADS: A System for Processing Ad Hoc Data.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

2005
PADS: a domain-specific language for processing ad hoc data.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

An expressive language of signatures.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004
Hancock: A language for analyzing transactional data streams.
ACM Trans. Program. Lang. Syst., 2004

2002
Guest editorial.
ACM Trans. Program. Lang. Syst., 2002

Inheritance-Based Subtyping.
Inf. Comput., 2002

2001
A framework for interoperability.
Electron. Notes Theor. Comput. Sci., 2001

An Application-Specific Database.
Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000
A Control-Flow Analysis for a Calculus of Concurrent Objects.
IEEE Trans. Software Eng., 2000

Hancock: a language for extracting signatures from data streams.
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, 2000

A Calculus for Compiling and Linking Classes.
Proceedings of the Programming Languages and Systems, 2000

Extending Moby with Inheritance-Based Subtyping.
Proceedings of the ECOOP 2000, 2000

1999
The Design of a Class Mechanism for Moby.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Hancock: a language for processing very large-scale data.
Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998
On the Relationship Between Classes, Objects, and Data Abstraction.
Theory Pract. Object Syst., 1998

An Imperative, First-Order Calculus with Object Extension.
Proceedings of the ECOOP'98, 1998

1996
A Calculus for Concurrent Objects.
Proceedings of the CONCUR '96, 1996

1995
The Development of Type Systems for Object-Oriented Languages.
Theory Pract. Object Syst., 1995

A Delegation-based Object Calculus with Subtying.
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994
A lambda Calculus of Objects and Method Specialization.
Nord. J. Comput., 1994

Notes on Typed Object-Oriented Programming.
Proceedings of the Theoretical Aspects of Computer Software, 1994


  Loading...