Kathi Fisler

According to our database, Kathi Fisler authored at least 93 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Observations on the Design of Program Planning Notations for Students.

Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Computing in Data Science or Data in Computer Science? Exploring the Relationship between Data Science and Computer Science in K-12 Education.

Zarek Drozda, Justice Toshiba Walker, Kathi Fisler, David Weintrop

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023

ICER 2023 Recap.

Diana Franklin, Kathi Fisler, Paul Denny, Margaret Hamilton

ACM SIGCSE Bull., October, 2023

What Happens When Students Switch (Functional) Languages (Experience Report).

Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu

Proc. ACM Program. Lang., August, 2023

A Social Threat Modeling Framework to Structure Teaching about Responsible Computing.

Yanyan Ren, Kathi Fisler

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023

2022

ICER 2022 call for participation.

Matthias Hauswirth, Jan Vahrenhold, Diana Franklin, Kathi Fisler

ACM SIGCSE Bull., 2022

Applying cognitive principles to model-finding output: the positive value of negative information.

Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2022

Exploring questions and answers in computer science education.

Sally Fincher, Kathi Fisler

Commun. ACM, 2022

Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum.

Emmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Approaches for Weaving Responsible Computing into Data Structures and Algorithms Courses.

Kathi Fisler, Sorelle A. Friedler, Kevin Lin, Suresh Venkatasubramanian

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Data-Centricity: Rethinking Introductory Computing to Support Data Science.

Kathi Fisler

Proceedings of the 1st ACM SIGMOD International Workshop on Data Systems Education: Bridging Education Practice with Education Research, 2022

2021

Microteaching: Semantics, Definition of a Computer, Running Times, Fractal Trees, Classes as Encapsulation, and P vs NP.

Colleen M. Lewis, Kathi Fisler, Jenny Hinz, David J. Malan, Joshua E. Paley, Manuel A. Pérez-Quiñones, Shikha Singh

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics.

Kathi Fisler, Emmanuel Schanzer, Steve Weimar, Annie Fetter, K. Ann Renninger, Shriram Krishnamurthi, Joe Gibbs Politz, Benjamin S. Lerner, Jennifer Poole, Christine Koerner

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

A New Model for Weaving Responsible Computing Into Courses Across the CS Curriculum.

Lena Cohen, Heila Precel, Harold Triedman, Kathi Fisler

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Developing Behavioral Concepts of Higher-Order Functions.

Shriram Krishnamurthi, Kathi Fisler

Proceedings of the ICER 2021: ACM Conference on International Computing Education Research, 2021

Leveraging Data Science and Social-Impact Analysis to Broaden Participation in Introductory Computer Science Courses.

Kathi Fisler

Proceedings of the DELFI 2021, 2021

2020

Data Science as a Route to AI for Middle- and High-School Students.

Shriram Krishnamurthi, Emmanuel Schanzer, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Sam Dooman

CoRR, 2020

Data-centricity: a challenge and opportunity for computing education.

Shriram Krishnamurthi, Kathi Fisler

Commun. ACM, 2020

The Cambridge Handbook of Computing Education Research Summarized in 75 minutes.

Colleen M. Lewis, Tim Bell, Paulo Blikstein, Adam S. Carter, Katrina Falkner, Sally A. Fincher, Kathi Fisler, Mark Guzdial, Patricia Haden, Sepehr Hejazi Moghadam, Michael S. Horn, Christopher D. Hundhausen, Amy J. Ko, Thomas Lancaster, Michael C. Loui, Lauren E. Margulieux, Leo Porter, Anthony V. Robins, Jean J. Ryoo, Niral Shah, R. Benjamin Shapiro, Kerry Shephard, Beth Simon, Mike Tissenbaum, Ian Utting, Jan Vahrenhold, Aman Yadav

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Integrating Computing and Computational Thinking into K-12 STEM Learning.

Shuchi Grover, Kathryn Fisler, Irene A. Lee, Aman Yadav

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Qualitative Analyses of Movements Between Task-level and Code-level Thinking of Novice Programmers.

Francisco Enrique Vicente Castro, Kathi Fisler

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Using Design Alternatives to Learn About Data Organizations.

Xingjian Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the ICER 2020: International Computing Education Research Conference, 2020

2019

What does it mean for a computing curriculum to succeed?

Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler

Commun. ACM, 2019

Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument Generation.

Sam Saarinen, Shriram Krishnamurthi, Kathi Fisler, Preston Tunnell Wilson

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

What Help Do Students Seek in TA Office Hours?

Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 2019 ACM Conference on International Computing Education Research, 2019

Balancing Act: A Theory on the Interactions Between High-Level Task-thinking and Low-Level Implementation-thinking of Novice Programmers.

Francisco Enrique Vicente Castro, Kathi Fisler

Proceedings of the 2019 ACM Conference on International Computing Education Research, 2019

2018

Evaluating the Tracing of Recursion in the Substitution Notional Machine.

Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra.

Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems.

Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only).

Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Who Tests the Testers?

John Wrenn, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 2018 ACM Conference on International Computing Education Research, 2018

2017

Teaching Programming Languages by Experimental and Adversarial Thinking.

Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates.

Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

The impact of a single lecture on program plans in first-year CS.

Francisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 17th Koli Calling Conference on Computing Education Research, 2017

Designing a multi-faceted SOLO taxonomy to track program design skills through an entire course.

Francisco Enrique Vicente Castro, Kathi Fisler

Proceedings of the 17th Koli Calling Conference on Computing Education Research, 2017

Sometimes, Rainfall Accumulates: Talk-Alouds with Novice Functional Programmers.

Kathi Fisler, Francisco Enrique Vicente Castro

Proceedings of the 2017 ACM Conference on International Computing Education Research, 2017

2016

Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072).

Michael E. Caspersen, Kathi Fisler, Jan Vahrenhold

Dagstuhl Reports, 2016

The Sweep: Essential Examples for In-Flow Peer Review.

Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Modernizing Plan-Composition Studies.

Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

On the Interplay Between Bottom-Up and Datatype-Driven Program Design.

Francisco Enrique Vicente Castro, Kathi Fisler

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

2015

Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap.

Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Teaching Algebra and Computing through Bootstrap and Program by Design (Abstract Only).

Emmanuel Schanzer, Kathi Fisler

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

2014

CaptainTeach: multi-stage, in-flow peer review for programming assignments.

Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

CaptainTeach: a platform for in-flow peer review of programming assignments.

Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

In-Flow Peer Review.

Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad

Proceedings of the Working Group Reports of the 2014 on Innovation & Technology in Computer Science Education Conference, 2014

In-flow peer-review of tests in test-first programming.

Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the International Computing Education Research Conference, 2014

The recurring rainfall problem.

Kathi Fisler

Proceedings of the International Computing Education Research Conference, 2014

2013

A balance of power: expressive, analyzable controller programming.

Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems.

Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

Aluminum: principled scenario exploration through minimality.

Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Program by design: from animations to data structures (abstract only).

Kathi Fisler, Stephen Bloch

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Toward a More Complete Alloy.

Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Features and object capabilities: reconciling two visions of modularity.

Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

Towards an aspect language for bus protocols.

Kathi Fisler, Paul Freitas, Dan Bjorge

Proceedings of the seventh workshop on Domain-Specific Aspect Languages, 2012

2011

Measuring the effectiveness of error messages designed for novice programmers.

Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Mind your language: on novices' interactions with error messages.

Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

CounterMeasures: A game for teaching computer security.

Craig Jordan, Matt Knapp, Dan Mitchell, Mark Claypool, Kathi Fisler

Proceedings of the 10th Annual Workshop on Network and Systems Support for Games, 2011

WeScheme: the browser is your programming environment.

Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Do values grow on trees?: expression integrity in functional programming.

Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Seventh International Workshop on Computing Education Research, 2011

2010

"Little language" project modules.

John Clements, Kathi Fisler

J. Funct. Program., 2010

Embracing policy engineering.

Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty

Proceedings of the Workshop on Future of Software Engineering Research, 2010

A model of triangulating environments for policy authoring.

Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

The Margrave Tool for Firewall Analysis.

Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Uncovering the Secrets of System Administration: Proceedings of the 24th Large Installation System Administration Conference, 2010

2009

Escape from the matrix: lessons from a case-study in access-control requirements.

Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 5th Symposium on Usable Privacy and Security, 2009

Towards an Operational Semantics for Alloy.

Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the FM 2009: Formal Methods, 2009

2008

Implementing domain-specific languages as the foundation of an honors intro CS course.

Kathi Fisler

ACM SIGPLAN Notices, 2008

Alchemy: transmuting base alloy specifications into implementations.

Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

2007

Foundations of incremental aspect model-checking.

Shriram Krishnamurthi, Kathi Fisler

ACM Trans. Softw. Eng. Methodol., 2007

Two-Dimensional Regular Expressions for Compositional Bus Protocols.

Kathi Fisler

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Obligations and Their Interaction with Programs.

Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Computer Security, 2007

2006

Toward diagrammability and efficiency in event-sequence languages.

Kathi Fisler

Int. J. Softw. Tools Technol. Transf., 2006

Roadmap for enhanced languages and methods to aid verification.

Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump

Proceedings of the Generative Programming and Component Engineering, 2006

Specifying and Reasoning About Dynamic Access-Control Policies.

Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Modular Verification of Open Features Using Three-Valued Model Checking.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Autom. Softw. Eng., 2005

Decomposing Verification Around End-User Features.

Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Verified Software: Theories, 2005

Verification and change-impact analysis of access-control policies.

Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Temporal Modalities for Concisely Capturing Timing Diagrams.

Hana Chockler, Kathi Fisler

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Verifying aspect advice modularly.

Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Parameterized Interfaces for Open System Verification of Product Lines.

Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

Towards Diagrammability and Efficiency in Event Sequence Languages.

Kathi Fisler

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Bisimulation Minimization and Symbolic Model Checking.

Kathi Fisler, Moshe Y. Vardi

Formal Methods Syst. Des., 2002

The Influence of Software Module Systems on Modular Verification.

Harry C. Li, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Model Checking of Software, 2002

Verifying cross-cutting features as open systems.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Interfaces for Modular Feature Verification.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Is There a Best Symbolic Cycle-Detection Algorithm?

Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Modular verification of collaboration-based software designs.

Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

1999

Timing Diagrams: Formalization and Algorithmic Verification.

Kathi Fisler

J. Log. Lang. Inf., 1999

Bisimulation and Model Checking.

Kathi Fisler, Moshe Y. Vardi

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Bisimulation Minimization in an Automata-Theoretic Verification Framework.

Kathi Fisler, Moshe Y. Vardi

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.

Kathi Fisler, Claude Girault

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

Verifying VHDL Designs with COSPAN.

Kathi Fisler, Robert P. Kurshan

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable.

Kathi Fisler

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1994

Extending Formal Reasoning with Support for Hardware Diagrams.

Kathi Fisler

Proceedings of the Theorem Provers in Circuit Design, 1994