Kathi Fisler

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 40

Top Topics

Programming Assignments

Novice Programmers

Top Venues

Publications

Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi
Observations on the Design of Program Planning Notations for Students. SIGCSE (1) (2024)
Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi
Iterative Student Program Planning using Transformer-Driven Feedback. ITiCSE (1) (2024)
Zarek Drozda, Justice Toshiba Walker, Kathi Fisler, David Weintrop
Computing in Data Science or Data in Computer Science? Exploring the Relationship between Data Science and Computer Science in K-12 Education. SIGCSE (2) (2024)
Yanyan Ren, Kathi Fisler
A Social Threat Modeling Framework to Structure Teaching about Responsible Computing. SIGCSE (1) (2023)
Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu
What Happens When Students Switch (Functional) Languages (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Diana Franklin, Kathi Fisler, Paul Denny, Margaret Hamilton
ICER 2023 Recap. ACM SIGCSE Bull. 55 (4) (2023)
Kathi Fisler
Data-Centricity: Rethinking Introductory Computing to Support Data Science. DataEd@SIGMOD (2022)
Matthias Hauswirth, Jan Vahrenhold, Diana Franklin, Kathi Fisler
ICER 2022 call for participation. ACM SIGCSE Bull. 54 (2) (2022)
Kathi Fisler, Sorelle A. Friedler, Kevin Lin, Suresh Venkatasubramanian
Approaches for Weaving Responsible Computing into Data Structures and Algorithms Courses. SIGCSE (2) (2022)
Emmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Shriram Krishnamurthi
Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum. SIGCSE (1) (2022)
Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi
Applying cognitive principles to model-finding output: the positive value of negative information. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Sally Fincher, Kathi Fisler
Exploring questions and answers in computer science education. Commun. ACM 65 (7) (2022)
Lena Cohen, Heila Precel, Harold Triedman, Kathi Fisler
A New Model for Weaving Responsible Computing Into Courses Across the CS Curriculum. SIGCSE (2021)
Shriram Krishnamurthi, Kathi Fisler
Developing Behavioral Concepts of Higher-Order Functions. ICER (2021)
Colleen M. Lewis, Kathi Fisler, Jenny Hinz, David J. Malan, Joshua E. Paley, Manuel A. Pérez-Quiñones, Shikha Singh
Microteaching: Semantics, Definition of a Computer, Running Times, Fractal Trees, Classes as Encapsulation, and P vs NP. SIGCSE (2021)
Kathi Fisler, Emmanuel Schanzer, Steve Weimar, Annie Fetter, K. Ann Renninger, Shriram Krishnamurthi, Joe Gibbs Politz, Benjamin S. Lerner, Jennifer Poole, Christine Koerner
Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics. SIGCSE (2021)
Kathi Fisler
Leveraging Data Science and Social-Impact Analysis to Broaden Participation in Introductory Computer Science Courses. DELFI (2021)
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
The Cambridge Handbook of Computing Education Research Summarized in 75 minutes. SIGCSE (2020)
Xingjian Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi
Using Design Alternatives to Learn About Data Organizations. ICER (2020)
Shriram Krishnamurthi, Emmanuel Schanzer, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Sam Dooman
Data Science as a Route to AI for Middle- and High-School Students. CoRR (2020)
Francisco Enrique Vicente Castro, Kathi Fisler
Qualitative Analyses of Movements Between Task-level and Code-level Thinking of Novice Programmers. SIGCSE (2020)
Shriram Krishnamurthi, Kathi Fisler
Data-centricity: a challenge and opportunity for computing education. Commun. ACM 63 (8) (2020)
Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler
What does it mean for a computing curriculum to succeed? Commun. ACM 62 (5) (2019)
Sam Saarinen, Shriram Krishnamurthi, Kathi Fisler, Preston Tunnell Wilson
Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument Generation. SIGCSE (2019)
Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler
What Help Do Students Seek in TA Office Hours? ICER (2019)
Francisco Enrique Vicente Castro, Kathi Fisler
Balancing Act: A Theory on the Interactions Between High-Level Task-thinking and Low-Level Implementation-thinking of Novice Programmers. ICER (2019)
Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi
Evaluating the Tracing of Recursion in the Substitution Notional Machine. SIGCSE (2018)
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi
Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems. SIGCSE (2018)
Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler
Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra. SIGCSE (2018)
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner
From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). SIGCSE (2018)
John Wrenn, Shriram Krishnamurthi, Kathi Fisler
Who Tests the Testers? ICER (2018)
Francisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler
The impact of a single lecture on program plans in first-year CS. Koli Calling (2017)
Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler
Teaching Programming Languages by Experimental and Adversarial Thinking. SNAPL (2017)
Francisco Enrique Vicente Castro, Kathi Fisler
Designing a multi-faceted SOLO taxonomy to track program design skills through an entire course. Koli Calling (2017)
Kathi Fisler, Francisco Enrique Vicente Castro
Sometimes, Rainfall Accumulates: Talk-Alouds with Novice Functional Programmers. ICER (2017)
Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson
Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates. SIGCSE (2017)
Michael E. Caspersen, Kathi Fisler, Jan Vahrenhold
Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072). Dagstuhl Reports 6 (2) (2016)
Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund
Modernizing Plan-Composition Studies. SIGCSE (2016)
Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi
The Sweep: Essential Examples for In-Flow Peer Review. SIGCSE (2016)
Francisco Enrique Vicente Castro, Kathi Fisler
On the Interplay Between Bottom-Up and Datatype-Driven Program Design. SIGCSE (2016)
Emmanuel Schanzer, Kathi Fisler
Teaching Algebra and Computing through Bootstrap and Program by Design (Abstract Only). SIGCSE (2015)
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. SIGCSE (2015)
Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler
CaptainTeach: multi-stage, in-flow peer review for programming assignments. ITiCSE (2014)
Kathi Fisler
The recurring rainfall problem. ICER (2014)
Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler
In-flow peer-review of tests in test-first programming. ICER (2014)
Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad
In-Flow Peer Review. ITiCSE-WGR (2014)
Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler
CaptainTeach: a platform for in-flow peer review of programming assignments. ITiCSE (2014)
Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, Shriram Krishnamurthi
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems. Onward! (2013)
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Aluminum: principled scenario exploration through minimality. ICSE (2013)
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
A balance of power: expressive, analyzable controller programming. HotSDN (2013)
Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi
Features and object capabilities: reconciling two visions of modularity. AOSD (2012)
Kathi Fisler, Paul Freitas, Dan Bjorge
Towards an aspect language for bus protocols. DSAL@AOSD (2012)
Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Toward a More Complete Alloy. ABZ (2012)
Kathi Fisler, Stephen Bloch
Program by design: from animations to data structures (abstract only). SIGCSE (2012)
Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler
WeScheme: the browser is your programming environment. ITiCSE (2011)
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi
Measuring the effectiveness of error messages designed for novice programmers. SIGCSE (2011)
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi
Mind your language: on novices' interactions with error messages. Onward! (2011)
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi
Do values grow on trees?: expression integrity in functional programming. ICER (2011)
Craig Jordan, Matt Knapp, Dan Mitchell, Mark Claypool, Kathi Fisler
CounterMeasures: A game for teaching computer security. NETGAMES (2011)
Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
The Margrave Tool for Firewall Analysis. LISA (2010)
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty
Embracing policy engineering. FoSER (2010)
Kathi Fisler, Shriram Krishnamurthi
A model of triangulating environments for policy authoring. SACMAT (2010)
John Clements, Kathi Fisler
"Little language" project modules. J. Funct. Program. 20 (1) (2010)
Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Towards an Operational Semantics for Alloy. FM (2009)
Kathi Fisler, Shriram Krishnamurthi
Escape from the matrix: lessons from a case-study in access-control requirements. SOUPS (2009)
Kathi Fisler
Implementing domain-specific languages as the foundation of an honors intro CS course. ACM SIGPLAN Notices 43 (11) (2008)
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo
Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE (2008)
Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Obligations and Their Interaction with Programs. ESORICS (2007)
Shriram Krishnamurthi, Kathi Fisler
Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16 (2) (2007)
Kathi Fisler
Two-Dimensional Regular Expressions for Compositional Bus Protocols. FMCAD (2007)
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
Roadmap for enhanced languages and methods to aid verification. GPCE (2006)
Kathi Fisler
Toward diagrammability and efficiency in event-sequence languages. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR (2006)
Hana Chockler, Kathi Fisler
Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME (2005)
Kathi Fisler, Shriram Krishnamurthi
Decomposing Verification Around End-User Features. VSTTE (2005)
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng. 12 (3) (2005)
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz
Verification and change-impact analysis of access-control policies. ICSE (2005)
Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
Parameterized Interfaces for Open System Verification of Product Lines. ASE (2004)
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
Verifying aspect advice modularly. SIGSOFT FSE (2004)
Kathi Fisler
Towards Diagrammability and Efficiency in Event Sequence Languages. CHARME (2003)
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
Verifying cross-cutting features as open systems. SIGSOFT FSE (2002)
Harry C. Li, Kathi Fisler, Shriram Krishnamurthi
The Influence of Software Module Systems on Modular Verification. SPIN (2002)
Kathi Fisler, Moshe Y. Vardi
Bisimulation Minimization and Symbolic Model Checking. Formal Methods Syst. Des. 21 (1) (2002)
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
Interfaces for Modular Feature Verification. ASE (2002)
Kathi Fisler, Shriram Krishnamurthi
Modular verification of collaboration-based software designs. ESEC / SIGSOFT FSE (2001)
Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
Is There a Best Symbolic Cycle-Detection Algorithm? TACAS (2001)
Kathi Fisler
Timing Diagrams: Formalization and Algorithmic Verification. J. Log. Lang. Inf. 8 (3) (1999)
Kathi Fisler, Moshe Y. Vardi
Bisimulation and Model Checking. CHARME (1999)
Kathi Fisler, Moshe Y. Vardi
Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD (1998)
Kathi Fisler, Claude Girault
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. ICATPN (1998)
Kathi Fisler, Robert P. Kurshan
Verifying VHDL Designs with COSPAN. Formal Hardware Verification (1997)
Kathi Fisler
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable. CAV (1997)
Kathi Fisler
Extending Formal Reasoning with Support for Hardware Diagrams. TPCD (1994)