Kathi Fisler - RankMe

99 papers A* 6A 31B 7C 2Journal 17Unranked 32

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