PUBLICATIONS

Selected PUBLICATIONS

D. Egolf, S. Lasser, and K. Fisher. Verbatim++: verified, optimized, and semantically rich lexing with derivatives. In CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022. DOI

S. Lasser, C. Casinghino, K. Fisher, and C. Roux. CoStar: A verified ALL(*) parser. In PLDI ’21: Proceedings of the 2021 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2021. DOI

Lauren Labell, Jared Chandler, and Kathleen Fisher. 2020. Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. In Proceedings of the 15th Workshop on Programming Languages and Analysis for Security (PLAS’20). Association for Computing Machinery, New York, NY, USA, 25–34. DOI

Jared Chandler and Kathleen Fisher. 2020. Reverse Engineering Binary Messages through Design Patterns. In LangSec Workshop. DOI

Jared Chandler, Kathleen Fisher, Erin Chapman, Eric Davis, and Adam Wick. 2020. Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception. In Proceedings of the 53rd Hawaii International Conference on System Sciences. DOI

S. Lasser, C. Casinghino, K. Fisher, and C. Roux. A verified LL(1) parser generator. In Interactive Theorem Proving, volume 141 of Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, September 2019.

Marilyn Sun and Kathleen Fisher. 2018. Autobahn 2.0: Minimizing bangs while maintaining performance (system demonstration). In Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell (Haskell 2018). Association for Computing Machinery, New York, NY, USA, 38–40. DOI

Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic. 2018. Synthesizing quotient lenses. Proc. ACM Program. Lang. 2, ICFP, Article 80 (September 2018), 29 pages. DOI

Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic. 2017. Synthesizing bijective lenses. Proc. ACM Program. Lang. 2, POPL, Article 1 (January 2018), 30 pages. DOI

Kathleen Fisher, John Launchbury, and Ray Richards. 2017. The HACMS Program: Using formal methods to eliminate exploitable bugs. In Philosophical Transactions A, 375 (2104). DOI

Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, and Nate Foster. 2016. Incremental Forest: A DSL for efficiently managing filestores. In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016). Association for Computing Machinery, New York, NY, USA, 252–271. DOI

Yisu Remy Wang, Diogenes Nunez, and Kathleen Fisher. 2016. Autobahn: Using genetic algorithms to infer strictness annotations. In Proceedings of the 9th International Symposium on Haskell (Haskell 2016). Association for Computing Machinery, New York, NY, USA, 114–126. DOI

Michael Greenberg, Kathleen Fisher, and David Walker. 2015. Tracking the flow of ideas through the programming language literature. In Proceedings of the Inaugural Summit on Advances in Programming Languages

Terence Parr, Sam Harwell, and Kathleen Fisher. 2014. Adaptive LL(*) parsing: The power of dynamic analysis. In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA ’14). Association for Computing Machinery, New York, NY, USA, 579–598. DOI

Kathleen Fisher. 2014. Using formal methods to enable more secure vehicles: DARPA’s HACMS program. In Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (ICFP ’14). Association for Computing Machinery, New York, NY, USA, 1. DOI

Kathleen Fisher. 2012. HACMS: High assurance cyber military systems. In Proceedings of the 2012 ACM conference on High integrity language technology (HILT ’12). Association for Computing Machinery, New York, NY, USA, 51–52. DOI

Peter Hawkins, Martin Rinard, Alex Aiken, Mooly Sagiv, and Kathleen Fisher. 2012. An introduction to data representation synthesis. Commun. ACM 55, 12 (December 2012), 91–99. DOI

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv. 2012. Concurrent data representation synthesis. In Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’12). Association for Computing Machinery, New York, NY, USA, 417–428. DOI

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv. 2012. Reasoning about lock placements. In Proceedings of the 21st European conference on Programming Languages and Systems (ESOP’12). Springer-Verlag, Berlin, Heidelberg, 336–356. DOI

Kathleen Fisher, Ronald Garcia, and Stephanie Weirich. 2012. Nourishing the future of the field: The programming language mentoring workshop 2012. SIGPLAN Not. 47, 4a (April 2012), 14–15. DOI

Kenny Q. Zhu, Kathleen Fisher, and David Walker. 2012. LearnPADS++: Incremental inference of ad hoc data formats. In Proceedings of the 14th international conference on Practical Aspects of Declarative Languages (PADL’12). Springer-Verlag, Berlin, Heidelberg, 168–182. DOI

Kathleen Fisher, Nate Foster, David Walker, and Kenny Q. Zhu. 2011. Forest: A language and toolkit for programming with filestores. In Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (ICFP ’11). Association for Computing Machinery, New York, NY, USA, 292–306. DOI

Terence Parr and Kathleen Fisher. 2011. LL(*): The foundation of the ANTLR parser generator. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’11). Association for Computing Machinery, New York, NY, USA, 425–436. DOI

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv. 2011. Data representation synthesis. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’11). Association for Computing Machinery, New York, NY, USA, 38–49. DOI

Kathleen Fisher and David Walker. 2011. The PADS project: An overview. In Proceedings of the 14th International Conference on Database Theory (ICDT ’11). Association for Computing Machinery, New York, NY, USA, 11–17. DOI

Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv. 2010. Data structure fusion. In Proceedings of the 8th Asian conference on Programming languages and systems (APLAS’10). Springer-Verlag, Berlin, Heidelberg, 204–221.

Kenny Q. Zhu, Kathleen Fisher, and David Walker. 2010. Incremental learning of system log formats. SIGOPS Oper. Syst. Rev. 44, 1 (January 2010), 85–90. DOI

Kathleen Fisher, Yitzhak Mandelbaum, and David Walker. 2010. The next 700 data description languages. J. ACM 57, 2, Article 10 (January 2010), 51 pages. DOI

Kenny Q. Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, and David Walker. 2009. Language support for processing distributed ad hoc data. In Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming (PPDP ’09). Association for Computing Machinery, New York, NY, USA, 243–254. DOI

Mark Bailey, Kim Bruce, Kathleen Fisher, Robert Harper, and Stuart Reges. 2009. Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. In Proceedings of the 40th ACM technical symposium on Computer science education (SIGCSE ’09). Association for Computing Machinery, New York, NY, USA, 132–133. DOI

Qian Xi, Kathleen Fisher, David Walker, and Kenny Q. Zhu. 2009. Ad Hoc Data and the Token Ambiguity Problem. In Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL ’09). Springer-Verlag, Berlin, Heidelberg, 91–106. DOI

Kathleen Fisher. 2008. We need more than one: Why students need a sophisticated understanding of programming languages. SIGPLAN Not. 43, 11 (November 2008), 62–65. DOI

Kathleen Fisher and Chandra Krintz. 2008. SIGPLAN programming language curriculum workshop: Workshop report summary. SIGPLAN Not. 43, 11 (November 2008), 29–30. DOI

Eric Allen, Ras Bodik, Kim Bruce, Kathleen Fisher, Stephen Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, Jim Larus, Doug Lea, Gary Leavens, Lori Pollock, Stuart Reges, Martin Rinard, Mark Sheldon, Franklyn Turbak, Mitchell Wand, and Mark W. Bailey. 2008. SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Not. 43, 11 (November 2008), 6–29. DOI

Kathleen Fisher, David Walker, and Kenny Q. Zhu. 2008. LearnPADS: Automatic tool generation from ad hoc data. In Proceedings of the 2008 ACM SIGMOD international conference on Management of data (SIGMOD ’08). Association for Computing Machinery, New York, NY, USA, 1299–1302. DOI

Mary Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, and Yitzhak Mandelbaum. 2008. A generic programming toolkit for PADS/ML: first-class upgrades for third-party developers. In Proceedings of the 10th international conference on Practical aspects of declarative languages (PADL’08). Springer-Verlag, Berlin, Heidelberg, 133–149.

Kathleen Fisher, David Walker, Kenny Q. Zhu, and Peter White. 2008. From dirt to shovels: Fully automatic tool generation from ad hoc data. In Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL ’08). Association for Computing Machinery, New York, NY, USA, 421–434. DOI

Kathleen Fisher. 2007. CUFP in the future. In Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming (CUFP ’07). Association for Computing Machinery, New York, NY, USA, Article 15, 1. DOI

Kathleen Fisher, Bertrand Meyer, Olin Shivers, Larry Wall, and Kathy Yelick. 2007. Panel: Programming Language Paradigms: Past, Present, and Future. In Proceedings of the third ACM SIGPLAN conference on History of programming languages (HOPL III). Association for Computing Machinery, New York, NY, USA, Article 4. DOI

Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary Fernandez, and Artem Gleyzer. 2007. PADS/ML: A functional data description language. In Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL ’07). Association for Computing Machinery, New York, NY, USA, 77–83. DOI

Kathleen Fisher. 2007. Typing ad hoc data. In Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation (TLDI ’07). Association for Computing Machinery, New York, NY, USA, 39–40. DOI

Mark Daly, Yitzhak Mandelbaum, David Walker, Mary Fernández, Kathleen Fisher, Robert Gruber, and Xuan Zheng. 2006. PADS: An end-to-end system for processing ad hoc data. In Proceedings of the 2006 ACM SIGMOD international conference on Management of data (SIGMOD ’06). Association for Computing Machinery, New York, NY, USA, 727–729. DOI

Kathleen Fisher, Yitzhak Mandelbaum, and David Walker. 2006. The next 700 data description languages. In Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL ’06). Association for Computing Machinery, New York, NY, USA, 2–15. DOI

Norman Ramsey, Kathleen Fisher, and Paul Govereau. 2005. An expressive language of signatures. In Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (ICFP ’05). Association for Computing Machinery, New York, NY, USA, 27–40. DOI

Kathleen Fisher and Robert Gruber. 2005. PADS: A domain-specific language for processing ad hoc data. In Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation (PLDI ’05). Association for Computing Machinery, New York, NY, USA, 295–304. DOI

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, and Frederick Smith. 2004. Hancock: A language for analyzing transactional data streams. ACM Trans. Program. Lang. Syst. 26, 2 (March 2004), 301–338. DOI

Kathleen Fisher and John Reppy. 2002. Inheritance-based subtyping. Inf. Comput. 177, 1 (25 August 2002), 28–55. DOI

Kathleen Fisher, Colin R. Goodall, Karin Högstedt, and Anne Rogers. 2001. An Application-Specific Database. In Revised Papers from the 8th International Workshop on Database Programming Languages (DBPL ’01). Springer-Verlag, Berlin, Heidelberg, 213–227.

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, and Anne Rogers. 2000. Hancock: a language for extracting signatures from data streams. In Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining (KDD ’00). Association for Computing Machinery, New York, NY, USA, 9–17. DOI

Paolo Di Blasio, Kathleen Fisher, and Carolyn Talcott. 2000. A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Softw. Eng. 26, 7 (July 2000), 617–634. DOI

Kathleen Fisher and John H. Reppy. 2000. Extending Moby with Inheritance-Based Subtyping. In Proceedings of the 14th European Conference on Object-Oriented Programming (ECOOP ’00). Springer-Verlag, Berlin, Heidelberg, 83–107.

Kathleen Fisher, John H. Reppy, and Jon G. Riecke. 2000. A Calculus for Compiling and Linking Classes. In Proceedings of the 9th European Symposium on Programming Languages and Systems (ESOP ’00). Springer-Verlag, Berlin, Heidelberg, 135–149.

Dan Bonachea, Kathleen Fisher, Anne Rogers, and Frederick Smith. 2000. Hancock: A language for processing very large-scale data. In Proceedings of the 2nd conference on Domain-specific languages (DSL ’99). Association for Computing Machinery, New York, NY, USA, 163–176. DOI

Dan Bonachea, Kathleen Fisher, Anne Rogers, and Frederick Smith. 1999. Hancock: a language for processing very large-scale data. In Proceedings of the 2nd conference on Conference on Domain-Specific Languages – Volume 2 (DSL’99). USENIX Association, USA, 13.

Kathleen Fisher and John Reppy. 1999. The design of a class mechanism for Moby. In Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation (PLDI ’99). Association for Computing Machinery, New York, NY, USA, 37–49. DOI

Viviana Bono and Kathleen Fisher. 1998. An Imperative, First-Order Calculus with Object Extension. In Proceedings of the 12th European Conference on Object-Oriented Programming (ECCOP ’98). Springer-Verlag, Berlin, Heidelberg, 462–497.

Kathleen Fisher. 1998. Type Systems for Object-Oriented Programming Languages. Technical Report. Stanford University, Stanford, CA, USA.

Kathleen Fisher and John C. Mitchell. 1998. On the relationship between classes, objects, and data abstraction. Theor. Pract. Object Syst. 4, 1 (1998), 3–25.

Paolo Di Blasio, Kathleen Fisher, and Carolyn Talcott. 1997. Analysis for concurrent objects. In Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems (FMOODS ’97). Chapman & Hall, Ltd., GBR, 73–88.

Paolo Di Blasio and Kathleen Fisher. 1996. A Calculus for Concurrent Objects. In Proceedings of the 7th International Conference on Concurrency Theory (CONCUR ’96). Springer-Verlag, Berlin, Heidelberg, 655–670.

Kathleen Shanahan Fisher. 1996. Type systems for object-oriented programming languages. Ph.D. Dissertation. Stanford University, Stanford, CA, USA. Advisor(s) John C. Mitchell. Order Number: AAI9702891.

Kathleen Fisher and John C. Mitchell. 1995. The development of type systems for object-oriented languages. Theor. Pract. Object Syst. 1, 3 (Fall 1995), 189–220.

Kathleen Fisher and John C. Mitchell. 1995. A Delegation-based Object Calculus with Subtying. In Proceedings of the 10th International Symposium on Fundamentals of Computation Theory (FCT ’95). Springer-Verlag, Berlin, Heidelberg, 42–61.

Kathleen Fisher and John C. Mitchell. 1994. Notes on Typed Object-Oriented Programming. In Proceedings of the International Conference on Theoretical Aspects of Computer Software (TACS ’94). Springer-Verlag, Berlin, Heidelberg, 844–885.

Kathleen Fisher, Furio Honsell, and John C. Mitchell. 1994. A lambda calculus of objects and method specialization. Nordic J. of Computing 1, 1 (Spring 1994), 3–37.