default search action

combined dblp search
author search
venue search
publication search

ask others

Kathi Fisler

Kathryn Fisler

> Home > Persons

Person information

affiliation: Brown University, Providence, RI, USA
affiliation (former): Worcester Polytechnic Institute, Worcester, MA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/LuKFT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/LuKFT23
Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu:
What Happens When Students Switch (Functional) Languages (Experience Report). Proc. ACM Program. Lang. 7(ICFP): 796-812 (2023)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sigcse/FranklinFDH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigcse/FranklinFDH23
Diana Franklin, Kathi Fisler, Paul Denny, Margaret Hamilton:
ICER 2023 Recap. ACM SIGCSE Bull. 55(4): 5 (2023)
2022
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/FincherF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/FincherF22
Sally Fincher, Kathi Fisler:
Exploring questions and answers in computer science education. Commun. ACM 65(7): 9 (2022)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/DyerNFK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/DyerNFK22
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(OOPSLA1): 1-29 (2022)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sigcse/HauswirthVFF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigcse/HauswirthVFF22
Matthias Hauswirth, Jan Vahrenhold, Diana Franklin, Kathi Fisler:
ICER 2022 call for participation. ACM SIGCSE Bull. 54(2): 6 (2022)
2020
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/KrishnamurthiF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/KrishnamurthiF20
Shriram Krishnamurthi, Kathi Fisler:
Data-centricity: a challenge and opportunity for computing education. Commun. ACM 63(8): 24-26 (2020)
2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/SchanzerKF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/SchanzerKF19
Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler:
What does it mean for a computing curriculum to succeed? Commun. ACM 62(5): 30-32 (2019)
2010
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/ClementsF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/ClementsF10
John Clements, Kathi Fisler:
"Little language" project modules. J. Funct. Program. 20(1): 3-18 (2010)
2008
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Fisler08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Fisler08
Kathi Fisler:
Implementing domain-specific languages as the foundation of an honors intro CS course. ACM SIGPLAN Notices 43(11): 66-70 (2008)
2007
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/KrishnamurthiF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/KrishnamurthiF07
Shriram Krishnamurthi, Kathi Fisler:
Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16(2): 7 (2007)
2006
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Fisler06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Fisler06
Kathi Fisler:
Toward diagrammability and efficiency in event-sequence languages. Int. J. Softw. Tools Technol. Transf. 8(4-5): 431-447 (2006)
2005
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/LiKF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/LiKF05
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng. 12(3): 349-382 (2005)
2002
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/FislerV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/FislerV02
Kathi Fisler, Moshe Y. Vardi:
Bisimulation Minimization and Symbolic Model Checking. Formal Methods Syst. Des. 21(1): 39-78 (2002)
1999
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/Fisler99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/Fisler99
Kathi Fisler:
Timing Diagrams: Formalization and Algorithmic Verification. J. Log. Lang. Inf. 8(3): 323-361 (1999)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/RiveraSFK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/RiveraSFK24
Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi:
Iterative Student Program Planning using Transformer-Driven Feedback. ITiCSE (1) 2024
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/RiveraFK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/RiveraFK24
Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi:
Observations on the Design of Program Planning Notations for Students. SIGCSE (1) 2024: 1133-1139
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/DrozdaWFW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/DrozdaWFW24
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: 1527-1528
2023
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/RenF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/RenF23
Yanyan Ren, Kathi Fisler:
A Social Threat Modeling Framework to Structure Teaching about Responsible Computing. SIGCSE (1) 2023: 402-408
2022
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/dataed/Fisler22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dataed/Fisler22
Kathi Fisler:
Data-Centricity: Rethinking Introductory Computing to Support Data Science. DataEd@SIGMOD 2022: 1-3
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/SchanzerPDDPLFK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/SchanzerPDDPLFK21
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: 22-28
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/FislerFLV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/FislerFLV21
Kathi Fisler, Sorelle A. Friedler, Kevin Lin, Suresh Venkatasubramanian:
Approaches for Weaving Responsible Computing into Data Structures and Algorithms Courses. SIGCSE (2) 2022: 1049-1050
2021
[c71]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/delfi/Fisler21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/delfi/Fisler21
Kathi Fisler:
Leveraging Data Science and Social-Impact Analysis to Broaden Participation in Introductory Computer Science Courses. DELFI 2021: 21-22
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/KrishnamurthiF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/KrishnamurthiF21
Shriram Krishnamurthi, Kathi Fisler:
Developing Behavioral Concepts of Higher-Order Functions. ICER 2021: 306-318
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/FislerSWFRKPLPK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/FislerSWFRKPLPK21
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: 59-65
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/LewisFHMPPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/LewisFHMPPS21
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: 766-767
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/CohenPTF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/CohenPTF21
Lena Cohen, Heila Precel, Harold Triedman, Kathi Fisler:
A New Model for Weaving Responsible Computing Into Courses Across the CS Curriculum. SIGCSE 2021: 858-864
2020
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/GuHLRFK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/GuHLRFK20
Xingjian Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi:
Using Design Alternatives to Learn About Data Organizations. ICER 2020: 248-258
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/LewisBBCFFFGHMH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/LewisBBCFFFGHMH20
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: 323-324
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/GroverFLY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/GroverFLY20
Shuchi Grover, Kathryn Fisler, Irene A. Lee, Aman Yadav:
Integrating Computing and Computational Thinking into K-12 STEM Learning. SIGCSE 2020: 481-482
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/CastroF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/CastroF20
Francisco Enrique Vicente Castro, Kathi Fisler:
Qualitative Analyses of Movements Between Task-level and Code-level Thinking of Novice Programmers. SIGCSE 2020: 487-493
2019
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/RenKF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/RenKF19
Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler:
What Help Do Students Seek in TA Office Hours? ICER 2019: 41-49
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/CastroF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/CastroF19
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: 295
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/SaarinenKFW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/SaarinenKFW19
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: 606-612
2018
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/WrennKF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/WrennKF18
John Wrenn, Shriram Krishnamurthi, Kathi Fisler:
Who Tests the Testers? ICER 2018: 51-59
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/SchanzerFK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/SchanzerFK18
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi:
Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems. SIGCSE 2018: 8-13
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/SchanzerKF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/SchanzerKF18
Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler:
Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra. SIGCSE 2018: 161-166
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/WilsonFK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/WilsonFK18
Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi:
Evaluating the Tracing of Recursion in the Substitution Notional Machine. SIGCSE 2018: 1023-1028
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/PolitzFKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/PolitzFKL17
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner:
From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). SIGCSE 2018: 1058
2017
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/FislerC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/FislerC17
Kathi Fisler, Francisco Enrique Vicente Castro:
Sometimes, Rainfall Accumulates: Talk-Alouds with Novice Functional Programmers. ICER 2017: 12-20
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/kolicalling/CastroF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/CastroF17
Francisco Enrique Vicente Castro, Kathi Fisler:
Designing a multi-faceted SOLO taxonomy to track program design skills through an entire course. Koli Calling 2017: 10-19
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/kolicalling/CastroKF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/CastroKF17
Francisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler:
The impact of a single lecture on program plans in first-year CS. Koli Calling 2017: 118-122
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/FislerKW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/FislerKW17
Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson:
Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates. SIGCSE 2017: 213-218
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/PombrioKF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/PombrioKF17
Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler:
Teaching Programming Languages by Experimental and Adversarial Thinking. SNAPL 2017: 13:1-13:9
2016
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/CastroF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/CastroF16
Francisco Enrique Vicente Castro, Kathi Fisler:
On the Interplay Between Bottom-Up and Datatype-Driven Program Design. SIGCSE 2016: 205-210
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/FislerKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/FislerKS16
Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund:
Modernizing Plan-Composition Studies. SIGCSE 2016: 211-216
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/PolitzCGFK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/PolitzCGFK16
Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi:
The Sweep: Essential Examples for In-Flow Peer Review. SIGCSE 2016: 243-248
2015
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/SchanzerFKF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/SchanzerFKF15
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen:
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. SIGCSE 2015: 616-621
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/SchanzerF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/SchanzerF15
Emmanuel Schanzer, Kathi Fisler:
Teaching Algebra and Computing through Bootstrap and Program by Design (Abstract Only). SIGCSE 2015: 695
2014
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/PolitzKF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/PolitzKF14
Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler:
In-flow peer-review of tests in test-first programming. ICER 2014: 11-18
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/Fisler14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/Fisler14
Kathi Fisler:
The recurring rainfall problem. ICER 2014: 35-42
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/ClarkeCFHKPTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/ClarkeCFHKPTW14
Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad:
In-Flow Peer Review. ITiCSE-WGR 2014: 59-79
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/PolitzPKF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/PolitzPKF14
Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler:
CaptainTeach: multi-stage, in-flow peer review for programming assignments. ITiCSE 2014: 267-272
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/PolitzKF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/PolitzKF14
Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler:
CaptainTeach: a platform for in-flow peer review of programming assignments. ITiCSE 2014: 332
2013
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NelsonSDFK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NelsonSDFK13
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Aluminum: principled scenario exploration through minimality. ICSE 2013: 232-241
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ValleeWZFK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ValleeWZFK13
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: 1-16
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcomm/NelsonGDFK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcomm/NelsonGDFK13
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
A balance of power: expressive, analyzable controller programming. HotSDN 2013: 79-84
2012
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/FislerFB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/FislerFB12
Kathi Fisler, Paul Freitas, Dan Bjorge:
Towards an aspect language for bus protocols. DSAL@AOSD 2012: 3-8
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/aosd/SaghafiFK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aosd/SaghafiFK12
Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi:
Features and object capabilities: reconciling two visions of modularity. AOSD 2012: 25-34
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/NelsonDFK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/NelsonDFK12
Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Toward a More Complete Alloy. ABZ 2012: 136-149
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/FislerB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/FislerB12
Kathi Fisler, Stephen Bloch:
Program by design: from animations to data structures (abstract only). SIGCSE 2012: 661
2011
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/MarceauFK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/MarceauFK11
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi:
Do values grow on trees?: expression integrity in functional programming. ICER 2011: 39-44
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/YooSKF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/YooSKF11
Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler:
WeScheme: the browser is your programming environment. ITiCSE 2011: 163-167
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/netgames/JordanKMCF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netgames/JordanKMCF11
Craig Jordan, Matt Knapp, Dan Mitchell, Mark Claypool, Kathi Fisler:
CounterMeasures: A game for teaching computer security. NETGAMES 2011: 1-6
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MarceauFK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MarceauFK11
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi:
Mind your language: on novices' interactions with error messages. Onward! 2011: 3-18
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/MarceauFK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/MarceauFK11
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi:
Measuring the effectiveness of error messages designed for novice programmers. SIGCSE 2011: 499-504
2010
[c27]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lisa/NelsonBDFK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lisa/NelsonBDFK10
Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
The Margrave Tool for Firewall Analysis. LISA 2010
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/FislerK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/FislerK10
Kathi Fisler, Shriram Krishnamurthi:
A model of triangulating environments for policy authoring. SACMAT 2010: 3-12
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FislerKD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FislerKD10
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty:
Embracing policy engineering. FoSER 2010: 109-110
2009
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GiannakopoulosDFK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GiannakopoulosDFK09
Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Towards an Operational Semantics for Alloy. FM 2009: 483-498
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/soups/FislerK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soups/FislerK09
Kathi Fisler, Shriram Krishnamurthi:
Escape from the matrix: lessons from a case-study in access-control requirements. SOUPS 2009
2008
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KrishnamurthiFDY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KrishnamurthiFDY08
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo:
Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169
2007
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/DoughertyFK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/DoughertyFK07
Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Obligations and Their Interaction with Programs. ESORICS 2007: 375-389
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Fisler07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Fisler07
Kathi Fisler:
Two-Dimensional Regular Expressions for Compositional Bus Protocols. FMCAD 2007: 154-157
2006
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DoughertyFK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DoughertyFK06
Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/LeavensABBCFHJMJSSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/LeavensABBCFHJMJSSS06
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: 221-236
2005
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/charme/ChocklerF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/ChocklerF05
Hana Chockler, Kathi Fisler:
Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME 2005: 176-190
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FislerKMT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FislerKMT05
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz:
Verification and change-impact analysis of access-control policies. ICSE 2005: 196-205
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/vstte/FislerK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/FislerK05
Kathi Fisler, Shriram Krishnamurthi:
Decomposing Verification Around End-User Features. VSTTE 2005: 74-81
2004
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BlundellFKH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BlundellFKH04
Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck:
Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KrishnamurthiFG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KrishnamurthiFG04
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg:
Verifying aspect advice modularly. SIGSOFT FSE 2004: 137-146
2003
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/Fisler03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/Fisler03
Kathi Fisler:
Towards Diagrammability and Efficiency in Event Sequence Languages. CHARME 2003: 185-199
2002
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LiKF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LiKF02
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Interfaces for Modular Feature Verification. ASE 2002: 195-204
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LiKF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LiKF02
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Verifying cross-cutting features as open systems. SIGSOFT FSE 2002: 89-98
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LiFK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LiFK02
Harry C. Li, Kathi Fisler, Shriram Krishnamurthi:
The Influence of Software Module Systems on Modular Verification. SPIN 2002: 60-78
2001
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FislerK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FislerK01
Kathi Fisler, Shriram Krishnamurthi:
Modular verification of collaboration-based software designs. ESEC / SIGSOFT FSE 2001: 152-163
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/FislerFVY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FislerFVY01
Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang:
Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
1999
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/FislerV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/FislerV99
Kathi Fisler, Moshe Y. Vardi:
Bisimulation and Model Checking. CHARME 1999: 338-341
1998
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/FislerG98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FislerG98
Kathi Fisler, Claude Girault:
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. ICATPN 1998: 84-103
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/FislerV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/FislerV98
Kathi Fisler, Moshe Y. Vardi:
Bisimulation Minimization in an Automata-Theoretic Verification Framework. FMCAD 1998: 115-132
1997
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Fisler97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Fisler97
Kathi Fisler:
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable. CAV 1997: 155-166
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fhv/FislerK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhv/FislerK97
Kathi Fisler, Robert P. Kurshan:
Verifying VHDL Designs with COSPAN. Formal Hardware Verification 1997: 206-247
1994
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tpcd/Fisler94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tpcd/Fisler94
Kathi Fisler:
Extending Formal Reasoning with Support for Hardware Diagrams. TPCD 1994: 298-303

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/2023-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/2023-1
Kathi Fisler, Paul Denny, Diana Franklin, Margaret Hamilton:
Proceedings of the 2023 ACM Conference on International Computing Education Research - Volume 1, ICER 2023, Chicago, IL, USA, August 7-11, 2023. ACM 2023, ISBN 978-1-4503-9976-0 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/2023-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/2023-2
Kathi Fisler, Paul Denny, Diana Franklin, Margaret Hamilton:
Proceedings of the 2023 ACM Conference on International Computing Education Research - Volume 2, ICER 2023, Chicago, IL, USA, August 7-11, 2023. ACM 2023, ISBN 978-1-4503-9975-3 [contents]
2022
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/2022
Jan Vahrenhold, Kathi Fisler, Matthias Hauswirth, Diana Franklin:
ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event, Switzerland, August 7 - 11, 2022, Volume 1. ACM 2022, ISBN 978-1-4503-9194-8 [contents]
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/icer/2022-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icer/2022-2
Jan Vahrenhold, Kathi Fisler, Matthias Hauswirth, Diana Franklin:
ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event Switzerland, August 7 - 11, 2022, Volume 2. ACM 2022, ISBN 978-1-4503-9195-5 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-01794
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-01794
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 abs/2005.01794 (2020)
2016
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/CaspersenFV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/CaspersenFV16
Michael E. Caspersen, Kathi Fisler, Jan Vahrenhold:
Assessing Learning In Introductory Computer Science (Dagstuhl Seminar 16072). Dagstuhl Reports 6(2): 78-96 (2016)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.