Kathleen Fisher

89 papers A* 13A 15B 6C 5Journal 29Unranked 18

Year	Rank	Type	Title / Venue / Authors
2023	A*	`conf`	BinaryInferno: A Semantic-Driven Approach to Field Inference for Binary Message Formats. NDSS Jared Chandler, Adam Wick, Kathleen Fisher
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. CoRR Clark W. Barrett, Brad Boyd, Ellie Burzstein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, 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
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. Clark W. Barrett, Brad Boyd, Elie Bursztein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, 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
2023	J	`jnl`	Saggitarius: A DSL for Specifying Grammatical Domains. CoRR Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
2023	J	`jnl`	Saggitarius: A DSL for Specifying Grammatical Domains. Proc. ACM Program. Lang. Anders Miltner, Devon Loehr, Arnold Mong, Kathleen Fisher, David Walker
2023	—	`conf`	Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. NFM Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
2022	J	`jnl`	Technical Report: Match-reference regular expressions and lenses. CoRR Jeanne-Marie Musca, Anders Miltner, Kathleen Fisher, David Walker
2022	B	`conf`	Verbatim++: verified, optimized, and semantically rich lexing with derivatives. CPP Derek Egolf, Sam Lasser, Kathleen Fisher
2021	A*	`conf`	CoStar: a verified ALL(*) parser. PLDI Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
2021	—	`conf`	Verbatim: A Verified Lexer Generator. SP (Workshops) Derek Egolf, Sam Lasser, Kathleen Fisher
2020	—	`conf`	Automatic Discovery and Synthesis of Checksum Algorithms from Binary Data Samples. PLAS@CCS Lauren Labell, Jared Chandler, Kathleen Fisher
2020	—	`conf`	Invasion of the Botnet Snatchers: A Case Study in Applied Malware Cyberdeception. HICSS Jared Chandler, Kathleen Fisher, Erin Chapman, Eric Davis, Adam Wick
2019	B	`conf`	A Verified LL(1) Parser Generator. ITP Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
2019	A	`conf`	One Step at a Time - A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts. ESOP Ferdinand Vesely, Kathleen Fisher
2019	A*	`ed.`	Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. PLDI Kathryn S. McKinley, Kathleen Fisher
2019	J	`jnl`	Synthesizing symmetric lenses. Proc. ACM Program. Lang. Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2019	B	`conf`	TxForest: A DSL for Concurrent Filestores. APLAS Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
2019	J	`jnl`	TxForest: A DSL for Concurrent Filestores. CoRR Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
2018	—	`conf`	Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration). Haskell@ICFP Marilyn Sun, Kathleen Fisher
2018	J	`jnl`	Synthesizing Symmetric Lenses. CoRR Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	J	`jnl`	Synthesizing bijective lenses. Proc. ACM Program. Lang. Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2018	J	`jnl`	Synthesizing quotient lenses. Proc. ACM Program. Lang. Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2017	J	`jnl`	Synthesizing Bijective Lenses. CoRR Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic
2016	C	`conf`	Autobahn: using genetic algorithms to infer strictness annotations. Haskell Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher
2016	—	`ch.`	Hancock: A Language for Analyzing Transactional Data Streams. Data Stream Management Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith
2016	A	`conf`	Incremental forest: a DSL for efficiently managing filestores. OOPSLA Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster
2015	A	`ed.`	Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015 ICFP Kathleen Fisher, John H. Reppy
2015	—	`conf`	Tracking the Flow of Ideas through the Programming Languages Literature. SNAPL Michael Greenberg, Kathleen Fisher, David Walker
2014	A	`conf`	Adaptive LL(*) parsing: the power of dynamic analysis. OOPSLA Terence Parr, Sam Harwell, Kathleen Fisher
2014	J	`jnl`	Practices of PLDI. ACM SIGPLAN Notices Hans-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
2014	A	`conf`	Using formal methods to enable more secure vehicles: DARPA's HACMS program. ICFP Kathleen Fisher
2012	J	`jnl`	An introduction to data representation synthesis. Commun. ACM Peter Hawkins, Martin C. Rinard, Alex Aiken, Mooly Sagiv, Kathleen Fisher
2012	A*	`conf`	Concurrent data representation synthesis. PLDI Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2012	—	`conf`	HACMS: high assurance cyber military systems. HILT Kathleen Fisher
2012	C	`conf`	LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. PADL Kenny Qili Zhu, Kathleen Fisher, David Walker
2012	J	`jnl`	Nourishing the future of the field: the programming language mentoring workshop 2012. ACM SIGPLAN Notices Kathleen Fisher, Ronald Garcia, Stephanie Weirich
2012	A	`conf`	Reasoning about Lock Placements. ESOP Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2011	—	`ed.`	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 OOPSLA Companion Cristina Videira Lopes, Kathleen Fisher
2011	A*	`conf`	Data representation synthesis. PLDI Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2011	A	`conf`	Forest: a language and toolkit for programming with filestores. ICFP Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu
2011	A*	`conf`	LL(*): the foundation of the ANTLR parser generator. PLDI Terence Parr, Kathleen Fisher
2011	A	`ed.`	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 OOPSLA Cristina Videira Lopes, Kathleen Fisher
2011	A	`conf`	The PADS project: an overview. ICDT Kathleen Fisher, David Walker
2010	B	`conf`	Data Structure Fusion. APLAS Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
2010	J	`jnl`	Incremental learning of system log formats. ACM SIGOPS Oper. Syst. Rev. Kenny Qili Zhu, Kathleen Fisher, David Walker
2010	J	`jnl`	The next 700 data description languages. J. ACM Kathleen Fisher, Yitzhak Mandelbaum, David Walker
2009	C	`conf`	Ad Hoc Data and the Token Ambiguity Problem. PADL Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu
2009	C	`conf`	Language support for processing distributed ad hoc data. PPDP Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker
2009	A	`conf`	Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. SIGCSE Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges
2008	C	`conf`	A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. PADL Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum
2008	—	`conf`	DSLs: the good, the bad, and the ugly. OOPSLA Companion Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen
2008	A*	`conf`	From dirt to shovels: fully automatic tool generation from ad hoc data. POPL Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White
2008	—	`conf`	LearnPADS: automatic tool generation from ad hoc data. SIGMOD Conference Kathleen Fisher, David Walker, Kenny Qili Zhu
2008	J	`jnl`	SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, 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
2008	J	`jnl`	SIGPLAN programming language curriculum workshop: Workshop organization. ACM SIGPLAN Notices Kathleen Fisher, Chandra Krintz
2008	J	`jnl`	SIGPLAN programming language curriculum workshop: Workshop report summary. ACM SIGPLAN Notices Kathleen Fisher, Chandra Krintz
2008	J	`jnl`	We need more than one: why students need a sophisticated understanding of programming languages. ACM SIGPLAN Notices Kathleen Fisher
2007	A*	`conf`	PADS/ML: a functional data description language. POPL Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary F. Fernández, Artem Gleyzer
2007	—	`conf`	Typing ad hoc data. TLDI Kathleen Fisher
2006	J	`jnl`	Introduction. J. Funct. Program. Kathleen Fisher
2006	—	`conf`	LAUNCHPADS: A System for Processing Ad Hoc Data. PLAN-X Mark Daly, Mary F. Fernández, Kathleen Fisher, Yitzhak Mandelbaum, David Walker
2006	—	`conf`	PADS: an end-to-end system for processing ad hoc data. SIGMOD Conference Mark Daly, Yitzhak Mandelbaum, David Walker, Mary F. Fernández, Kathleen Fisher, Robert Gruber, Xuan Zheng
2006	—	`conf`	PADX: Querying Large-scale Ad Hoc Data with XQuery. PLAN-X Mary F. Fernández, Kathleen Fisher, Robert Gruber, Yitzhak Mandelbaum
2006	A*	`conf`	The next 700 data description languages. POPL Kathleen Fisher, Yitzhak Mandelbaum, David Walker
2005	A	`conf`	An expressive language of signatures. ICFP Norman Ramsey, Kathleen Fisher, Paul Govereau
2005	A*	`conf`	PADS: a domain-specific language for processing ad hoc data. PLDI Kathleen Fisher, Robert Gruber
2004	J	`jnl`	A Framework for Interoperability CoRR Kathleen Fisher, Riccardo Pucella, John H. Reppy
2004	J	`jnl`	Hancock: A language for analyzing transactional data streams. ACM Trans. Program. Lang. Syst. Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith
2004	A	`ed.`	Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004 ICFP Chris Okasaki, Kathleen Fisher
2002	J	`jnl`	Guest editorial. ACM Trans. Program. Lang. Syst. Kathleen Fisher, Benjamin C. Pierce
2002	J	`jnl`	Inheritance-Based Subtyping. Inf. Comput. Kathleen Fisher, John H. Reppy
2001	—	`conf`	A framework for interoperability. BABEL Kathleen Fisher, Riccardo Pucella, John H. Reppy
2001	—	`conf`	An Application-Specific Database. DBPL Kathleen Fisher, Colin R. Goodall, Karin Högstedt, Anne Rogers
2000	A	`conf`	A Calculus for Compiling and Linking Classes. ESOP Kathleen Fisher, John H. Reppy, Jon G. Riecke
2000	J	`jnl`	A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. Software Eng. Paolo Di Blasio, Kathleen Fisher, Carolyn L. Talcott
2000	A	`conf`	Extending Moby with Inheritance-Based Subtyping. ECOOP Kathleen Fisher, John H. Reppy
2000	A*	`conf`	Hancock: a language for extracting signatures from data streams. KDD Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers
1999	—	`conf`	Hancock: a language for processing very large-scale data. DSL Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith
1999	A*	`conf`	The Design of a Class Mechanism for Moby. PLDI Kathleen Fisher, John H. Reppy
1998	A	`conf`	An Imperative, First-Order Calculus with Object Extension. ECOOP Viviana Bono, Kathleen Fisher
1998	J	`jnl`	On the Relationship Between Classes, Objects, and Data Abstraction. Theory Pract. Object Syst. Kathleen Fisher, John C. Mitchell
1996	B	`conf`	A Calculus for Concurrent Objects. CONCUR Paolo Di Blasio, Kathleen Fisher
1996	—	`conf`	Teaching Biology to Prospective Elementary School Teachers so as to Promote Transition from Receiver to Giver of Information. ICLS Kathleen Fisher, Stacy Gomes
1996	—	`—`	Type systems for object-oriented programming languages. Kathleen Fisher
1995	B	`conf`	A Delegation-based Object Calculus with Subtying. FCT Kathleen Fisher, John C. Mitchell
1995	J	`jnl`	The Development of Type Systems for Object-Oriented Languages. Theory Pract. Object Syst. Kathleen Fisher, John C. Mitchell
1994	J	`jnl`	A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. Kathleen Fisher, Furio Honsell, John C. Mitchell
1994	—	`conf`	Notes on Typed Object-Oriented Programming. TACS Kathleen Fisher, John C. Mitchell
1993	A*	`conf`	A lambda calculus of objects and method specialization LICS John C. Mitchell, Furio Honsell, Kathleen Fisher