Kathleen Fisher - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Kathleen Fisher' as author, editor, or advisor:

Adaptive LL(*) parsing: the power of dynamic analysisTerence John Parr, Sam Harwell, Kathleen Fisher. OOPSLA 2014: 579-598 [doi]
Synthesizing symmetric lensesAnders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic. PACMPL, 3(ICFP), 2019. [doi]
Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration)Marilyn Sun, Kathleen Fisher. haskell 2018: 38-40 [doi]
HACMS: high assurance cyber military systemsKathleen Fisher. sigada 2012: 51-52 [doi]
Tracking the Flow of Ideas through the Programming Languages LiteratureMichael Greenberg, Kathleen Fisher, David Walker. SNAPL 2015: 140-155 [doi]
TxForest: A DSL for Concurrent FilestoresJonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster. aplas 2019: 332-354 [doi]
Verbatim++: verified, optimized, and semantically rich lexing with derivativesDerek Egolf, Sam Lasser, Kathleen Fisher. CPP 2022: 27-39 [doi]
Incremental forest: a DSL for efficiently managing filestoresJonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster. OOPSLA 2016: 252-271 [doi]
Language support for processing distributed ad hoc dataKenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai, David Walker. ppdp 2009: 243-254 [doi]
One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step CounterpartsFerdinand Vesely, Kathleen Fisher. ESOP 2019: 205-231 [doi]
Guest editorialKathleen Fisher, Benjamin C. Pierce. TOPLAS, 24(2):111, 2002. [doi]
Data Structure FusionPeter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv. aplas 2010: 204-221 [doi]
From dirt to shovels: fully automatic tool generation from ad hoc dataKathleen Fisher, David Walker, Kenny Qili Zhu, Peter White. POPL 2008: 421-434 [doi]
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015Kathleen Fisher, John H. Reppy, editors, ACM, 2015. [doi]
Invasion of the Botnet Snatchers: A Case Study in Applied Malware CyberdeceptionJared Chandler, Kathleen Fisher, Erin Chapman, Eric Davis, Adam Wick. hicss 2020: 1-10 [doi]
A Calculus for Concurrent ObjectsPaolo Di Blasio, Kathleen Fisher. concur 1996: 655-670
Concurrent data representation synthesisPeter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv. PLDI 2012: 417-428 [doi]
Synthesizing quotient lensesSolomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic. PACMPL, 2(ICFP), 2018. [doi]
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, 2011Cristina Videira Lopes, Kathleen Fisher, editors, ACM, 2011.
Saggitarius: A DSL for Specifying Grammatical DomainsAnders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker. PACMPL, 7(OOPSLA2):2023-2051, October 2023. [doi]
The PADS project: an overviewKathleen Fisher, David Walker. icdt 2011: 11-17 [doi]
Forest: a language and toolkit for programming with filestoresKathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu. ICFP 2011: 292-306 [doi]
Hancock: A Language for Analyzing Transactional Data StreamsCorinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith. In Minos N. Garofalakis, Johannes Gehrke, Rajeev Rastogi, editors, Data Stream Management - Processing High-Speed Data Streams. Data-Centric Systems and Applications, pages 387-408, Springer, 2016. [doi]
An introduction to data representation synthesisPeter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher. CACM, 55(12):91-99, 2012. [doi]
Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data SamplesLauren Labell, Jared Chandler, Kathleen Fisher. ccs 2020: 25-34 [doi]
BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message FormatsJared Chandler, Adam Wick, Kathleen Fisher. ndss 2023: [doi]
CoStar: a verified ALL(*) parserSam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux. PLDI 2021: 420-434 [doi]
LearnPADS + + : Incremental Inference of Ad Hoc Data FormatsKenny Qili Zhu, Kathleen Fisher, David Walker. PADL 2012: 168-182 [doi]
LAUNCHPADS: A System for Processing Ad Hoc DataMark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker. planX 2006: 90-91
Reasoning about Lock PlacementsPeter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv. ESOP 2012: 336-356 [doi]
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, 2011Cristina Videira Lopes, Kathleen Fisher, editors, ACM, 2011.
Practices of PLDIHans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler. SIGPLAN, 49(4S):33-38, 2014. [doi]
Autobahn: using genetic algorithms to infer strictness annotationsYisu Remy Wang, Diogenes Nunez, Kathleen Fisher. haskell 2016: 114-126 [doi]
A Framework for InteroperabilityKathleen Fisher, Riccardo Pucella, John H. Reppy. corr, cs.PL/0405084, 2004. [doi]
Nourishing the future of the field: the programming language mentoring workshop 2012Kathleen Fisher, Ronald Garcia, Stephanie Weirich. SIGPLAN, 47(4a):14-15, 2012. [doi]
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input ValidationSam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux. NFM 2023: 414-429 [doi]
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019Kathryn S. McKinley, Kathleen Fisher, editors, ACM, 2019. [doi]
Verbatim: A Verified Lexer GeneratorDerek Egolf, Sam Lasser, Kathleen Fisher. sp 2021: 92-100 [doi]
Type systems for object-oriented programming languagesKathleen Fisher. PhD thesis, Stanford University, USA, 1996. [doi]
Using formal methods to enable more secure vehicles: DARPA's HACMS programKathleen Fisher. ICFP 2014: 1 [doi]
The next 700 data description languagesKathleen Fisher, Yitzhak Mandelbaum, David Walker. JACM, 57(2), 2010. [doi]
Data representation synthesisPeter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv. PLDI 2011: 38-49 [doi]
Identifying and Mitigating the Security Risks of Generative AIClark W. Barrett, Brad Boyd, Elie Bursztein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury 0001, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang. ftsec, 6(1):1-52, 2023. [doi]
A Verified LL(1) Parser GeneratorSam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux. itp 2019: [doi]
Synthesizing bijective lensesAnders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic. PACMPL, 2(POPL), 2018. [doi]
LL(*): the foundation of the ANTLR parser generatorTerence John Parr, Kathleen Fisher. PLDI 2011: 425-436 [doi]
Incremental learning of system log formatsKenny Qili Zhu, Kathleen Fisher, David Walker. sigops, 44(1):85-90, 2010. [doi]
Teaching Biology to Prospective Elementary School Teachers so as to Promote Transition from Receiver to Giver of InformationKathleen Fisher, Stacy Gomes. icls 1996: [doi]

runs on WebDSL