| 2026 | ECOOP | Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages. | Siddhartha Prasad, Skyler Austen, Kathi Fisler, Shriram Krishnamurthi |
| 2024 | ITiCSE | Iterative Student Program Planning using Transformer-Driven Feedback. | Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi |
| 2024 | SIGCSE | 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 |
| 2024 | SIGCSE | Observations on the Design of Program Planning Notations for Students. | Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi |
| 2023 | SIGCSE | A Social Threat Modeling Framework to Structure Teaching about Responsible Computing. | Yanyan Ren, Kathi Fisler |
| 2022 | SIGCSE | Approaches for Weaving Responsible Computing into Data Structures and Algorithms Courses. | Kathi Fisler, Sorelle A. Friedler, Kevin Lin, Suresh Venkatasubramanian |
| 2022 | SIGCSE | 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 |
| 2021 | ICER | Developing Behavioral Concepts of Higher-Order Functions. | Shriram Krishnamurthi, Kathi Fisler |
| 2021 | SIGCSE | A New Model for Weaving Responsible Computing Into Courses Across the CS Curriculum. | Lena Cohen, Heila Precel, Harold Triedman, Kathi Fisler |
| 2021 | SIGCSE | 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 |
| 2021 | SIGCSE | 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. Prez-Quiones, Shikha Singh |
| 2020 | ICER | Using Design Alternatives to Learn About Data Organizations. | Xingjian Lance Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi |
| 2020 | SIGCSE | Qualitative Analyses of Movements Between Task-level and Code-level Thinking of Novice Programmers. | Francisco Enrique Vicente Castro, Kathi Fisler |
| 2020 | SIGCSE | 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 |
| 2019 | ICER | 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 |
| 2019 | ICER | What Help Do Students Seek in TA Office Hours? | Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler |
| 2019 | SIGCSE | Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument Generation. | Sam Saarinen, Shriram Krishnamurthi, Kathi Fisler, Preston Tunnell Wilson |
| 2018 | ICER | Who Tests the Testers? | John Wrenn, Shriram Krishnamurthi, Kathi Fisler |
| 2018 | SIGCSE | From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). | Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner |
| 2018 | SIGCSE | Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems. | Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi |
| 2018 | SIGCSE | Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra. | Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler |
| 2018 | SIGCSE | Evaluating the Tracing of Recursion in the Substitution Notional Machine. | Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi |
| 2017 | ICER | Sometimes, Rainfall Accumulates: Talk-Alouds with Novice Functional Programmers. | Kathi Fisler, Francisco Enrique Vicente Castro |
| 2017 | SIGCSE | Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates. | Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson |
| 2016 | SIGCSE | On the Interplay Between Bottom-Up and Datatype-Driven Program Design. | Francisco Enrique Vicente Castro, Kathi Fisler |
| 2016 | SIGCSE | Modernizing Plan-Composition Studies. | Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund |
| 2016 | SIGCSE | The Sweep: Essential Examples for In-Flow Peer Review. | Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi |
| 2015 | SIGCSE | Teaching Algebra and Computing through Bootstrap and Program by Design (Abstract Only). | Emmanuel Schanzer, Kathi Fisler |
| 2015 | SIGCSE | Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. | Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen |
| 2014 | ICER | The recurring rainfall problem. | Kathi Fisler |
| 2014 | ICER | In-flow peer-review of tests in test-first programming. | Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler |
| 2014 | ITiCSE | In-Flow Peer Review. | Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad |
| 2014 | ITiCSE | CaptainTeach: a platform for in-flow peer review of programming assignments. | Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler |
| 2014 | ITiCSE | CaptainTeach: multi-stage, in-flow peer review for programming assignments. | Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler |
| 2013 | ICSE | Aluminum: principled scenario exploration through minimality. | Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2013 | OOPSLA | 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 |
| 2013 | SIGCOMM | A balance of power: expressive, analyzable controller programming. | Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2012 | SIGCSE | Program by design: from animations to data structures (abstract only). | Kathi Fisler, Stephen A. Bloch |
| 2011 | ICER | Do values grow on trees?: expression integrity in functional programming. | Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi |
| 2011 | ITiCSE | WeScheme: the browser is your programming environment. | Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler |
| 2011 | OOPSLA | Mind your language: on novices' interactions with error messages. | Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi |
| 2011 | SIGCSE | Measuring the effectiveness of error messages designed for novice programmers. | Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi |
| 2010 | SACMAT | A model of triangulating environments for policy authoring. | Kathi Fisler, Shriram Krishnamurthi |
| 2009 | FM | Towards an Operational Semantics for Alloy. | Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2009 | SOUPS | Escape from the matrix: lessons from a case-study in access-control requirements. | Kathi Fisler, Shriram Krishnamurthi |
| 2007 | ESORICS | Obligations and Their Interaction with Programs. | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2007 | FMCAD | Two-Dimensional Regular Expressions for Compositional Bus Protocols. | Kathi Fisler |
| 2006 | CADE | Specifying and Reasoning About Dynamic Access-Control Policies. | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2006 | GPCE | 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 |
| 2005 | ICSE | Verification and change-impact analysis of access-control policies. | Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz |
| 2001 | TACAS | Is There a Best Symbolic Cycle-Detection Algorithm? | Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang |
| 1998 | FMCAD | Bisimulation Minimization in an Automata-Theoretic Verification Framework. | Kathi Fisler, Moshe Y. Vardi |
| 1997 | CAV | Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable. | Kathi Fisler |