Extending Formal Reasoning with Support for Hardware Diagrams. - Kathi Fisler (TPCD, 1994)

Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable. - Kathi Fisler (CAV, 1997)

Verifying VHDL Designs with COSPAN. - Kathi Fisler; Robert P. Kurshan (Formal Hardware Verification, 1997)

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. - Kathi Fisler; Claude Girault (ICATPN, 1998)

Bisimulation Minimization in an Automata-Theoretic Verification Framework. - Kathi Fisler; Moshe Y. Vardi (FMCAD, 1998)

Bisimulation and Model Checking. - Kathi Fisler; Moshe Y. Vardi (CHARME, 1999)

Timing Diagrams: Formalization and Algorithmic Verification. - Kathi Fisler (J. Log. Lang. Inf., 1999)

Modular verification of collaboration-based software designs. - Kathi Fisler; Shriram Krishnamurthi (ESEC / SIGSOFT FSE, 2001)

Is There a Best Symbolic Cycle-Detection Algorithm? - Kathi Fisler; Ranan Fraer; Gila Kamhi; Moshe Y. Vardi; Zijiang Yang (TACAS, 2001)

Interfaces for Modular Feature Verification. - Harry C. Li; Shriram Krishnamurthi; Kathi Fisler (ASE, 2002)

Verifying cross-cutting features as open systems. - Harry C. Li; Shriram Krishnamurthi; Kathi Fisler (SIGSOFT FSE, 2002)

The Influence of Software Module Systems on Modular Verification. - Harry C. Li; Kathi Fisler; Shriram Krishnamurthi (SPIN, 2002)

Bisimulation Minimization and Symbolic Model Checking. - Kathi Fisler; Moshe Y. Vardi (Formal Methods Syst. Des., 2002)

Towards Diagrammability and Efficiency in Event Sequence Languages. - Kathi Fisler (CHARME, 2003)

Introductory computer science with focus on program design. - Stephen A. Bloch; Kathi Fisler; Viera K. Proulx (J. Comput. Sci. Coll., 2003)

Parameterized Interfaces for Open System Verification of Product Lines. - Colin Blundell; Kathi Fisler; Shriram Krishnamurthi; Pascal Van Hentenryck (ASE, 2004)

Verifying aspect advice modularly. - Shriram Krishnamurthi; Kathi Fisler; Michael Greenberg 002 (SIGSOFT FSE, 2004)

Temporal Modalities for Concisely Capturing Timing Diagrams. - Hana Chockler; Kathi Fisler (CHARME, 2005)

Verification and change-impact analysis of access-control policies. - Kathi Fisler; Shriram Krishnamurthi; Leo A. Meyerovich; Michael Carl Tschantz (ICSE, 2005)

Decomposing Verification Around End-User Features. - Kathi Fisler; Shriram Krishnamurthi (VSTTE, 2005)

Modular Verification of Open Features Using Three-Valued Model Checking. - Harry C. Li; Shriram Krishnamurthi; Kathi Fisler (Autom. Softw. Eng., 2005)

Specifying and Reasoning About Dynamic Access-Control Policies. - Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (IJCAR, 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 001; Simon L. Peyton Jones; Murali Sitaraman; Douglas R. Smith; et al. (GPCE, 2006)

Toward diagrammability and efficiency in event-sequence languages. - Kathi Fisler (Int. J. Softw. Tools Technol. Transf., 2006)

Obligations and Their Interaction with Programs. - Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ESORICS, 2007)

Two-Dimensional Regular Expressions for Compositional Bus Protocols. - Kathi Fisler (FMCAD, 2007)

Foundations of incremental aspect model-checking. - Shriram Krishnamurthi; Kathi Fisler (ACM Trans. Softw. Eng. Methodol., 2007)

Alchemy: transmuting base alloy specifications into implementations. - Shriram Krishnamurthi; Kathi Fisler; Daniel J. Dougherty; Daniel Yoo (SIGSOFT FSE, 2008)

Implementing domain-specific languages as the foundation of an honors intro CS course. - Kathi Fisler (ACM SIGPLAN Notices, 2008)

Towards an Operational Semantics for Alloy. - Theophilos Giannakopoulos; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (FM, 2009)

Escape from the matrix: lessons from a case-study in access-control requirements. - Kathi Fisler; Shriram Krishnamurthi (SOUPS, 2009)

The Margrave Tool for Firewall Analysis. - Timothy Nelson 001; Christopher Barratt; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (LISA, 2010)

A model of triangulating environments for policy authoring. - Kathi Fisler; Shriram Krishnamurthi (SACMAT, 2010)

Embracing policy engineering. - Kathi Fisler; Shriram Krishnamurthi; Daniel J. Dougherty (FoSER, 2010)

"Little language" project modules. - John Clements; Kathi Fisler (J. Funct. Program., 2010)

Do values grow on trees?: expression integrity in functional programming. - Guillaume Marceau; Kathi Fisler; Shriram Krishnamurthi (ICER, 2011)

WeScheme: the browser is your programming environment. - Danny Yoo; Emmanuel Schanzer; Shriram Krishnamurthi; Kathi Fisler (ITiCSE, 2011)

CounterMeasures: A game for teaching computer security. - Craig Jordan; Matt Knapp; Dan Mitchell; Mark Claypool; Kathi Fisler (NETGAMES, 2011)

Mind your language: on novices' interactions with error messages. - Guillaume Marceau; Kathi Fisler; Shriram Krishnamurthi (Onward!, 2011)

Measuring the effectiveness of error messages designed for novice programmers. - Guillaume Marceau; Kathi Fisler; Shriram Krishnamurthi (SIGCSE, 2011)

Towards an aspect language for bus protocols. - Kathi Fisler; Paul Freitas; Dan Bjorge (DSAL@AOSD, 2012)

Features and object capabilities: reconciling two visions of modularity. - Salman Saghafi; Kathi Fisler; Shriram Krishnamurthi (AOSD, 2012)

Toward a More Complete Alloy. - Timothy Nelson 001; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ABZ, 2012)

Program by design: from animations to data structures (abstract only). - Kathi Fisler; Stephen A. Bloch (SIGCSE, 2012)

Aluminum: principled scenario exploration through minimality. - Tim Nelson; Salman Saghafi; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ICSE, 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 (Onward!, 2013)

A balance of power: expressive, analyzable controller programming. - Tim Nelson; Arjun Guha; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (HotSDN, 2013)

The recurring rainfall problem. - Kathi Fisler (ICER, 2014)

In-flow peer-review of tests in test-first programming. - Joe Gibbs Politz; Shriram Krishnamurthi; Kathi Fisler (ICER, 2014)

In-Flow Peer Review. - Dave Clarke 001; Tony Clear; Kathi Fisler; Matthias Hauswirth; Shriram Krishnamurthi; Joe Gibbs Politz; Ville Tirronen; Tobias Wrigstad (ITiCSE-WGR, 2014)

CaptainTeach: a platform for in-flow peer review of programming assignments. - Joe Gibbs Politz; Shriram Krishnamurthi; Kathi Fisler (ITiCSE, 2014)

CaptainTeach: multi-stage, in-flow peer review for programming assignments. - Joe Gibbs Politz; Daniel Patterson 001; Shriram Krishnamurthi; Kathi Fisler (ITiCSE, 2014)

Teaching Algebra and Computing through Bootstrap and Program by Design (Abstract Only). - Emmanuel Schanzer; Kathi Fisler (SIGCSE, 2015)

Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. - Emmanuel Schanzer; Kathi Fisler; Shriram Krishnamurthi; Matthias Felleisen (SIGCSE, 2015)

On the Interplay Between Bottom-Up and Datatype-Driven Program Design. - Francisco Enrique Vicente Castro; Kathi Fisler (SIGCSE, 2016)

Modernizing Plan-Composition Studies. - Kathi Fisler; Shriram Krishnamurthi; Janet Siegmund (SIGCSE, 2016)

The Sweep: Essential Examples for In-Flow Peer Review. - Joe Gibbs Politz; Joseph M. Collard; Arjun Guha; Kathi Fisler; Shriram Krishnamurthi (SIGCSE, 2016)

Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072). - Michael E. Caspersen; Kathi Fisler; Jan Vahrenhold (Dagstuhl Reports, 2016)

Sometimes, Rainfall Accumulates: Talk-Alouds with Novice Functional Programmers. - Kathi Fisler; Francisco Enrique Vicente Castro (ICER, 2017)

Designing a multi-faceted SOLO taxonomy to track program design skills through an entire course. - Francisco Enrique Vicente Castro; Kathi Fisler (Koli Calling, 2017)

The impact of a single lecture on program plans in first-year CS. - Francisco Enrique Vicente Castro; Shriram Krishnamurthi; Kathi Fisler (Koli Calling, 2017)

Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates. - Kathi Fisler; Shriram Krishnamurthi; Preston Tunnell Wilson (SIGCSE, 2017)

Teaching Programming Languages by Experimental and Adversarial Thinking. - Justin Pombrio; Shriram Krishnamurthi; Kathi Fisler (SNAPL, 2017)

Who Tests the Testers? - John Wrenn; Shriram Krishnamurthi; Kathi Fisler (ICER, 2018)

From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). - Joe Gibbs Politz; Kathi Fisler; Shriram Krishnamurthi; Benjamin S. Lerner (SIGCSE, 2018)

Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems. - Emmanuel Schanzer; Kathi Fisler; Shriram Krishnamurthi (SIGCSE, 2018)

Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra. - Emmanuel Schanzer; Shriram Krishnamurthi; Kathi Fisler (SIGCSE, 2018)

Evaluating the Tracing of Recursion in the Substitution Notional Machine. - Preston Tunnell Wilson; Kathi Fisler; Shriram Krishnamurthi (SIGCSE, 2018)

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 (ICER, 2019)

What Help Do Students Seek in TA Office Hours? - Yanyan Ren; Shriram Krishnamurthi; Kathi Fisler (ICER, 2019)

Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument Generation. - Sam Saarinen; Shriram Krishnamurthi; Kathi Fisler; Preston Tunnell Wilson (SIGCSE, 2019)

What does it mean for a computing curriculum to succeed? - Emmanuel Schanzer; Shriram Krishnamurthi; Kathi Fisler (Commun. ACM, 2019)

Using Design Alternatives to Learn About Data Organizations. - Xingjian Lance Gu; Max A. Heller; Stella Li; Yanyan Ren; Kathi Fisler; Shriram Krishnamurthi (ICER, 2020)

Qualitative Analyses of Movements Between Task-level and Code-level Thinking of Novice Programmers. - Francisco Enrique Vicente Castro; Kathi Fisler (SIGCSE, 2020)

Integrating Computing and Computational Thinking into K-12 STEM Learning. - Shuchi Grover; Kathryn Fisler; Irene A. Lee; Aman Yadav (SIGCSE, 2020)

The Cambridge Handbook of Computing Education Research Summarized in 75 minutes. - Colleen M. Lewis; Tim Bell 001; 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; et al. (SIGCSE, 2020)

Data-centricity: a challenge and opportunity for computing education. - Shriram Krishnamurthi; Kathi Fisler (Commun. ACM, 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)

Leveraging Data Science and Social-Impact Analysis to Broaden Participation in Introductory Computer Science Courses. - Kathi Fisler (DELFI, 2021)

Developing Behavioral Concepts of Higher-Order Functions. - Shriram Krishnamurthi; Kathi Fisler (ICER, 2021)

A New Model for Weaving Responsible Computing Into Courses Across the CS Curriculum. - Lena Cohen; Heila Precel; Harold Triedman; Kathi Fisler (SIGCSE, 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 (SIGCSE, 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 002 (SIGCSE, 2021)

Data-Centricity: Rethinking Introductory Computing to Support Data Science. - Kathi Fisler (DataEd@SIGMOD, 2022)

Approaches for Weaving Responsible Computing into Data Structures and Algorithms Courses. - Kathi Fisler; Sorelle A. Friedler; Kevin Lin; Suresh Venkatasubramanian (SIGCSE (2), 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 (SIGCSE (1), 2022)

Exploring questions and answers in computer science education. - Sally Fincher; Kathi Fisler (Commun. ACM, 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)

ICER 2022 call for participation. - Matthias Hauswirth; Jan Vahrenhold; Diana Franklin; Kathi Fisler (ACM SIGCSE Bull., 2022)

A Social Threat Modeling Framework to Structure Teaching about Responsible Computing. - Yanyan Ren; Kathi Fisler (SIGCSE (1), 2023)

What Happens When Students Switch (Functional) Languages (Experience Report). - Kuang-Chen Lu; Shriram Krishnamurthi; Kathi Fisler; Ethel Tshukudu (Proc. ACM Program. Lang., 2023)

ICER 2023 Recap. - Diana Franklin; Kathi Fisler; Paul Denny 001; Margaret Hamilton 001 (ACM SIGCSE Bull., 2023)

Iterative Student Program Planning using Transformer-Driven Feedback. - Elijah Rivera; Alexander Steinmaurer; Kathi Fisler; Shriram Krishnamurthi (ITiCSE (1), 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 (SIGCSE (2), 2024)

Observations on the Design of Program Planning Notations for Students. - Elijah Rivera; Kathi Fisler; Shriram Krishnamurthi (SIGCSE (1), 2024)