An introduction to Scheme. - Shriram Krishnamurthi (XRDS, 1994)

Static Debugging: Browsing the Web of Program Invariants. - Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Stephanie Weirich; Matthias Felleisen (PLDI, 1996)

DrScheme: A Pedagogic Programming Environment for Scheme. - Robert Bruce Findler; Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Matthias Felleisen (PLILP, 1997)

Synthesizing Object-Oriented and Functional Design to Promote Re-Use. - Shriram Krishnamurthi; Matthias Felleisen; Daniel P. Friedman (ECOOP, 1998)

Classes and Mixins. - Matthew Flatt; Shriram Krishnamurthi; Matthias Felleisen (POPL, 1998)

Toward a Formal Theory of Extensible Software. - Shriram Krishnamurthi; Matthias Felleisen (SIGSOFT FSE, 1998)

The DrScheme Project: An Overview. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (ACM SIGPLAN Notices, 1998)

Expressing Structural Properties as Language Constructs. - Shriram Krishnamurthi; Yan-David Erlich; Matthias Felleisen (ESOP, 1999)

From Macros to Reusable Generative Programming. - Shriram Krishnamurthi; Matthias Felleisen; Bruce F. Duba (GCSE, 1999)

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). - Matthew Flatt; Robert Bruce Findler; Shriram Krishnamurthi; Matthias Felleisen (ICFP, 1999)

A Programmer's Reduction Semantics for Classes and Mixins. - Matthew Flatt; Shriram Krishnamurthi; Matthias Felleisen (Formal Syntax and Semantics of Java, 1999)

Transformation-by-Example for XML. - Shriram Krishnamurthi; Kathryn E. Gray; Paul T. Graunke (PADL, 2000)

Programming the Web with High-Level Programming Languages. - Paul T. Graunke; Shriram Krishnamurthi; Steve Van Der Hoeven; Matthias Felleisen (ESOP, 2001)

Automatically Restructuring Programs for the We. - Paul T. Graunke; Robert Bruce Findler; Shriram Krishnamurthi; Matthias Felleisen (ASE, 2001)

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

Programming Languages for Compressing Graphics. - Morgan McGuire; Shriram Krishnamurthi; John F. Hughes (ESOP, 2002)

Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs. - Paul T. Graunke; Shriram Krishnamurthi (ICSE, 2002)

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)

How to design programs: a new look at introductory computing. - Shriram Krishnamurthi (J. Comput. Sci. Coll., 2002)

DrScheme: a programming environment for Scheme. - Robert Bruce Findler; John Clements; Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Paul Steckler; Matthias Felleisen (J. Funct. Program., 2002)

Programming languages - application and interpretation. - Shriram Krishnamurthi (e-book, 2003)

Pointcuts and advice in higher-order languages. - David B. Tucker; Shriram Krishnamurthi (AOSD, 2003)

Modeling Web Interactions. - Paul T. Graunke; Robert Bruce Findler; Shriram Krishnamurthi; Matthias Felleisen (ESOP, 2003)

CLIME: An Environment for Constrained Evolution Demonstration Description. - Steven P. Reiss; Christina M. Kennedy; Tom Wooldridge; Shriram Krishnamurthi (ICSE, 2003)

A Type System for Statically Detecting Spreadsheet Errors. - Yanif Ahmad; Tudor Antoniu; Sharon Goldwater; Shriram Krishnamurthi (ASE, 2003)

The Feature Signatures of Evolving Programs. - Daniel R. Licata; Christopher D. Harris; Shriram Krishnamurthi (ASE, 2003)

SXSLT: Manipulation Language for XML. - Oleg Kiselyov; Shriram Krishnamurthi (PADL, 2003)

The CONTINUE Server (or, How I Administered PADL 2002 and 2003). - Shriram Krishnamurthi (PADL, 2003)

Automated Fault Localization Using Potential Invariants - Brock Pytlik; Manos Renieris; Shriram Krishnamurthi; Steven P. Reiss (CoRR, 2003)

Validating the Unit Correctness of Spreadsheet Programs. - Tudor Antoniu; Paul A. Steckler; Shriram Krishnamurthi; Erich Neuwirth; Matthias Felleisen (ICSE, 2004)

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

Verifying Interactive Web Programs. - Daniel R. Licata; Shriram Krishnamurthi (ASE, 2004)

Dataflow Language for Scriptable Debugging. - Guillaume Marceau; Gregory H. Cooper; Shriram Krishnamurthi; Steven P. Reiss (ASE, 2004)

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

Automatically Restructuring Programs for the Web. - Jacob Matthews; Robert Bruce Findler; Paul T. Graunke; Shriram Krishnamurthi; Matthias Felleisen (Autom. Softw. Eng., 2004)

The TeachScheme! Project: Computing and Programming for Every Student. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (Comput. Sci. Educ., 2004)

The structure and interpretation of the computer science curriculum. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (J. Funct. Program., 2004)

Continuations from generalized stack inspection. - Greg Pettyjohn; John Clements; Joe Marshall; Shriram Krishnamurthi; Matthias Felleisen (ICFP, 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)

Web Verification: Perspective and Challenges. - Shriram Krishnamurthi (WWV, 2005)

Discussion summary: characteristics of web services and their impact on testing, analysis and verification. - Shriram Krishnamurthi; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 2005)

Specifying and Reasoning About Dynamic Access-Control Policies. - Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (IJCAR, 2006)

Embedding Dynamic Dataflow in a Call-by-Value Language. - Gregory H. Cooper; Shriram Krishnamurthi (ESOP, 2006)

Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. - Daniel Ignatoff; Gregory H. Cooper; Shriram Krishnamurthi (FLOPS, 2006)

Towards reasonability properties for access-control policy languages. - Michael Carl Tschantz; Shriram Krishnamurthi (SACMAT, 2006)

Abstract shade trees. - Morgan McGuire; George Stathis; Hanspeter Pfister; Shriram Krishnamurthi (SI3D, 2006)

Educational Pearl: Automata via macros. - Shriram Krishnamurthi (J. Funct. Program., 2006)

Semantics and scoping of aspects in higher-order languages. - Christopher Dutchyn; David B. Tucker; Shriram Krishnamurthi (Sci. Comput. Program., 2006)

Relationally-parametric polymorphic contracts. - Arjun Guha; Jacob Matthews; Robert Bruce Findler; Shriram Krishnamurthi (DLS, 2007)

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

Lowering: a static optimization technique for transparent functional reactivity. - Kimberley Burchett; Gregory H. Cooper; Shriram Krishnamurthi (PEPM, 2007)

Compiling cryptographic protocols for deployment on the web. - Jay A. McCarthy; Shriram Krishnamurthi; Joshua D. Guttman; John D. Ramsdell (WWW, 2007)

The design and implementation of a dataflow language for scriptable debugging. - Guillaume Marceau; Gregory H. Cooper; Jonathan P. Spiro; Shriram Krishnamurthi; Steven P. Reiss (Autom. Softw. Eng., 2007)

Implementation and use of the PLT scheme Web server. - Shriram Krishnamurthi; Peter Walton Hopkins; Jay A. McCarthy; Paul T. Graunke; Greg Pettyjohn; Matthias Felleisen (High. Order Symb. Comput., 2007)

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

Minimal backups of cryptographic protocol runs. - Jay A. McCarthy; Shriram Krishnamurthi (FMSE, 2008)

Cryptographic Protocol Explication and End-Point Projection. - Jay A. McCarthy; Shriram Krishnamurthi (ESORICS, 2008)

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

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. - Eric Allen; Mark W. Bailey; Rastislav Bodík; Kim B. Bruce; Kathleen Fisher; Stephen N. Freund; Robert Harper 001; Chandra Krintz; Shriram Krishnamurthi; James R. Larus; Doug Lea; Gary T. Leavens; et al. (ACM SIGPLAN Notices, 2008)

Teaching programming languages in a post-linnaean age. - Shriram Krishnamurthi (ACM SIGPLAN Notices, 2008)

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

A functional I/O system or, fun for freshman kids. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi (ICFP, 2009)

Trusted Multiplexing of Cryptographic Protocols. - Jay A. McCarthy; Shriram Krishnamurthi (Formal Aspects in Security and Trust, 2009)

Flapjax: a programming language for Ajax applications. - Leo A. Meyerovich; Arjun Guha; Jacob P. Baskin; Gregory H. Cooper; Michael Greenberg 002; Aleks Bromfield; Shriram Krishnamurthi (OOPSLA, 2009)

Preference aggregation in group recommender systems for committee decision-making. - Jacob P. Baskin; Shriram Krishnamurthi (RecSys, 2009)

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

Using static analysis for Ajax intrusion detection. - Arjun Guha; Shriram Krishnamurthi; Trevor Jim (WWW, 2009)

Viewpoint - Why computer science doesn't matter. - Matthias Felleisen; Shriram Krishnamurthi (Commun. ACM, 2009)

The Essence of JavaScript. - Arjun Guha; Claudiu Saftoiu; Shriram Krishnamurthi (ECOOP, 2010)

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)

Minding the (semantic) gap: engineering programming language theory. - Arjun Guha; Shriram Krishnamurthi (FoSER, 2010)

Please Continue to Hold: An Empirical Study on User Tolerance of Security Delays. - Serge Egelman; David Molnar; Nicolas Christin; Alessandro Acquisti; Cormac Herley; Shriram Krishnamurthi (WEIS, 2010)

Oops, I did it again: mitigating repeated access control errors on facebook. - Serge Egelman; Andrew Oates; Shriram Krishnamurthi (CHI, 2011)

Typing Local Control and State Using Flow Analysis. - Arjun Guha; Claudiu Saftoiu; Shriram Krishnamurthi (ESOP, 2011)

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)

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)

ADsafety: Type-Based Verification of JavaScript Sandboxing. - Joe Gibbs Politz; Spiridon Aristides Eliopoulos; Arjun Guha; Shriram Krishnamurthi (USENIX Security Symposium, 2011)

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)

A tested semantics for getters, setters, and eval in JavaScript. - Joe Gibbs Politz; Matthew J. Carroll; Benjamin S. Lerner; Justin Pombrio; Shriram Krishnamurthi (DLS, 2012)

Participatory Networking. - Andrew D. Ferguson; Arjun Guha; Jordan Place; Rodrigo Fonseca; Shriram Krishnamurthi (Hot-ICE, 2012)

Progressive types. - Joe Gibbs Politz; Hannah Quay-de la Vallee; Shriram Krishnamurthi (Onward!, 2012)

Semantics and Analyses for JavaScript and the Web. - Shriram Krishnamurthi (SAS, 2012)

Hierarchical policies for software defined networks. - Andrew D. Ferguson; Arjun Guha; Chen Liang; Rodrigo Fonseca; Shriram Krishnamurthi (HotSDN@SIGCOMM, 2012)

Modeling and Reasoning about DOM Events. - Benjamin S. Lerner; Matthew J. Carroll; Dan P. Kimmel; Hannah Quay-de la Vallee; Shriram Krishnamurthi (WebApps, 2012)

Foundations for Scripting Languages (Dagstuhl Seminar 12011). - Robert Hirschfeld; Shriram Krishnamurthi; Jan Vitek (Dagstuhl Reports, 2012)

TeJaS: retrofitting type systems for JavaScript. - Benjamin S. Lerner; Joe Gibbs Politz; Arjun Guha; Shriram Krishnamurthi (DLS, 2013)

Whalesong: running racket in the browser. - Danny Yoo; Shriram Krishnamurthi (DLS, 2013)

Combining Form and Function: Static Types for JQuery Programs. - Benjamin S. Lerner; Liam Elberty; Jincheng Li; Shriram Krishnamurthi (ECOOP, 2013)

Verifying Web Browser Extensions' Compliance with Private-Browsing Mode. - Benjamin S. Lerner; Liam Elberty; Neal Poole; Shriram Krishnamurthi (ESORICS, 2013)

Aluminum: principled scenario exploration through minimality. - Tim Nelson; Salman Saghafi; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ICSE, 2013)

Should software conferences respect software? - Shriram Krishnamurthi; James Noble 001; Jan Vitek (SPLASH (Companion Volume), 2013)

Python: the full monty. - Joe Gibbs Politz; Alejandro Martinez; Mae Milano; Sumner Warren; Daniel Patterson 001; Junsong Li; Anand Chitipothu; Shriram Krishnamurthi (OOPSLA, 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)

From principles to programming languages (and back). - Shriram Krishnamurthi (POPL, 2013)

Participatory networking: an API for application control of SDNs. - Andrew D. Ferguson; Arjun Guha; Chen Liang; Rodrigo Fonseca; Shriram Krishnamurthi (SIGCOMM, 2013)

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

Teaching garbage collection without implementing compiler or interpreters. - Gregory H. Cooper; Arjun Guha; Shriram Krishnamurthi; Jay A. McCarthy; Robert Bruce Findler (SIGCSE, 2013)

Artifact evaluation for software conferences. - Shriram Krishnamurthi (ACM SIGSOFT Softw. Eng. Notes, 2013)

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)

Tierless Programming and Reasoning for Software-Defined Networks. - Tim Nelson; Andrew D. Ferguson; Michael J. G. Scheer; Shriram Krishnamurthi (NSDI, 2014)

Resugaring: lifting evaluation sequences through syntactic sugar. - Justin Pombrio; Shriram Krishnamurthi (PLDI, 2014)

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). - Fritz Henglein; Ranjit Jhala; Shriram Krishnamurthi; Peter Thiemann 001 (Dagstuhl Reports, 2014)

Typed-based verification of Web sandboxes. - Joe Gibbs Politz; Arjun Guha; Shriram Krishnamurthi (J. Comput. Secur., 2014)

Tierless Programming and Reasoning for Networks. - Shriram Krishnamurthi (PLAS@ECOOP, 2015)

Static Differential Program Analysis for Software-Defined Networks. - Tim Nelson; Andrew D. Ferguson; Shriram Krishnamurthi (FM, 2015)

Hygienic resugaring of compositional desugaring. - Justin Pombrio; Shriram Krishnamurthi (ICFP, 2015)

Detecting latent cross-platform API violations. - Jeff Rasley; Eleni Gessiou; Tony Ohmann; Yuriy Brun; Shriram Krishnamurthi; Justin Cappos (ISSRE, 2015)

Slimming languages by reducing sugar: a case for semantics-altering transformations. - Junsong Li; Justin Pombrio; Joe Gibbs Politz; Shriram Krishnamurthi (Onward!, 2015)

Desugaring in Practice: Opportunities and Challenges. - Shriram Krishnamurthi (PEPM, 2015)

The story of Arjun Guha, or: the arc of a research project. - Shriram Krishnamurthi (PLMW@POPL, 2015)

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

The Racket Manifesto. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi; Eli Barzilay; Jay A. McCarthy; Sam Tobin-Hochstadt (SNAPL, 2015)

Exodus: toward automatic migration of enterprise network configurations to SDNs. - Tim Nelson; Andrew D. Ferguson; Da Yu; Rodrigo Fonseca; Shriram Krishnamurthi (SOSR, 2015)

Simon: scriptable interactive monitoring for SDNs. - Tim Nelson; Da Yu; Yiming Li; Rodrigo Fonseca; Shriram Krishnamurthi (SOSR, 2015)

The real software crisis: repeatability as a core value. - Shriram Krishnamurthi; Jan Vitek (Commun. ACM, 2015)

Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452). - Bruce R. Childers; Grigori Fursin; Shriram Krishnamurthi; Andreas Zeller (Dagstuhl Reports, 2015)

Human-Centric Development of Software Tools (Dagstuhl Seminar 15222). - Amy J. Ko; Shriram Krishnamurthi; Gail C. Murphy; Janet Siegmund (Dagstuhl Reports, 2015)

On a (Per)Mission: Building Privacy Into the App Marketplace. - Hannah Quay-de la Vallee; Paige Selby; Shriram Krishnamurthi (SPSM@CCS, 2016)

Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. - Tim Nelson; Nicholas DeMarinis; Timothy Adam Hoff; Rodrigo Fonseca; Shriram Krishnamurthi (HotNets, 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)

Compiling Stateful Network Properties for Runtime Verification. - Tim Nelson; Nicholas DeMarinis; Timothy Adam Hoff; Rodrigo Fonseca; Shriram Krishnamurthi (CoRR, 2016)

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). - Camil Demetrescu; Sebastian Erdweg; Matthew A. Hammer; Shriram Krishnamurthi (Dagstuhl Reports, 2016)

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

Can we crowdsource language design? - Preston Tunnell Wilson; Justin Pombrio; Shriram Krishnamurthi (Onward!, 2017)

Error messages are classifiers: a process to design and evaluate error messages. - John Wrenn; Shriram Krishnamurthi (Onward!, 2017)

User Studies of Principled Model Finder Output. - Natasha Danas; Tim Nelson; Lane Harrison; Shriram Krishnamurthi; Daniel J. Dougherty (SEFM, 2017)

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

The power of "why" and "why not": enriching scenario exploration with provenance. - Tim Nelson; Natasha Danas; Daniel J. Dougherty; Shriram Krishnamurthi (ESEC/SIGSOFT FSE, 2017)

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

Inferring scope through syntactic sugar. - Justin Pombrio; Shriram Krishnamurthi; Mitchell Wand (Proc. ACM Program. Lang., 2017)

The behavior of gradual types: a user study. - Preston Tunnell Wilson; Ben Greenman; Justin Pombrio; Shriram Krishnamurthi (DLS, 2018)

CompoSAT: Specification-Guided Coverage for Model Finding. - Sorawee Porncharoenwase; Tim Nelson; Shriram Krishnamurthi (FM, 2018)

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

Putting in all the stops: execution control for JavaScript. - Samuel Baxter; Rachit Nigam; Joe Gibbs Politz; Shriram Krishnamurthi; Arjun Guha (PLDI, 2018)

Inferring type rules for syntactic sugar. - Justin Pombrio; Shriram Krishnamurthi (PLDI, 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)

A programmable programming language. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi; Eli Barzilay; Jay A. McCarthy; Sam Tobin-Hochstadt (Commun. ACM, 2018)

The Human in Formal Methods. - Shriram Krishnamurthi; Tim Nelson (FM, 2019)

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

Executable Examples for Programming Problem Comprehension. - John Wrenn; Shriram Krishnamurthi (ICER, 2019)

Synthesizing Mutable Configurations: Setting up Systems for Success. - Tim Nelson; Natasha Danas; Theophilos Giannakopoulos; Shriram Krishnamurthi (ASE Workshops, 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)

Accessible AST-Based Programming for Visually-Impaired Programmers. - Emmanuel Schanzer; Sina Bahram; Shriram Krishnamurthi (SIGCSE, 2019)

From Macros to DSLs: The Evolution of Racket. - Ryan Culpepper; Matthias Felleisen; Matthew Flatt; Shriram Krishnamurthi (SNAPL, 2019)

The Next 700 Semantics: A Research Challenge. - Shriram Krishnamurthi; Benjamin S. Lerner; Liam Elberty (SNAPL, 2019)

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

Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281). - Mark Guzdial; Shriram Krishnamurthi; Juha Sorva; Jan Vahrenhold (Dagstuhl Reports, 2019)

Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. - Joe Gibbs Politz; Benjamin S. Lerner; Sorawee Porncharoenwase; Shriram Krishnamurthi (Art Sci. Eng. Program., 2019)

Solver-Aided Multi-Party Configuration. - Kevin Dackow; Andrew Wagner; Tim Nelson; Shriram Krishnamurthi; Theophilus A. Benson (HotNets, 2020)

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

Adapting Student IDEs for Blind Programmers. - Emmanuel Schanzer; Sina Bahram; Shriram Krishnamurthi (Koli Calling, 2020)

Will Students Write Tests Early Without Coercion?✱. - John Wrenn; Shriram Krishnamurthi (Koli Calling, 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)

Prototyping Formal Methods Tools: A Protocol Analysis Case Study. - Abigail Siegel; Mia Santomauro; Tristan Dyer; Tim Nelson; Shriram Krishnamurthi (Protocols, Strands, and Logic, 2021)

Vision: Computing and Authentication Practicesin Global Oil and Gas Fields. - Mary Rose Martinez; Shriram Krishnamurthi (EuroUSEC, 2021)

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

Early Post-Secondary Student Performance of Adversarial Thinking. - Nick Young; Shriram Krishnamurthi (ICER, 2021)

Reading Between the Lines: Student Help-Seeking for (Un)Specified Behaviors. - Jack Wrenn; Shriram Krishnamurthi (Koli Calling, 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)

Computing and Authentication Practices in Global Oil and Gas Fields. - Mary Rose Martinez; Shriram Krishnamurthi (CoRR, 2021)

What is an education paper? - Shriram Krishnamurthi (J. Funct. Program., 2021)

Using Relational Problems to Teach Property-Based Testing. - John Wrenn; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2021)

B2T2: Brown Benchmark for Table Types version 0.2. - Kuang-Chen Lu; Ben Greenman; Shriram Krishnamurthi (Zenodo, 2021)

B2T2: Brown Benchmark for Table Types version 1.0. - Kuang-Chen Lu; Ben Greenman; Shriram Krishnamurthi (Zenodo, 2021)

Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up. - John Clements; Shriram Krishnamurthi (ICER (1), 2022)

Plan Composition Using Higher-Order Functions. - Elijah Rivera; Shriram Krishnamurthi; Robert L. Goldstone (ICER (1), 2022)

Problematic and Persistent Post-Secondary Program Performance Preconceptions. - Shriram Krishnamurthi; Anika Bahl; Benjamin Lee; Steven A. Sloman (Koli Calling, 2022)

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. - Siddhartha Prasad; Ben Greenman; Tim Nelson; John Wrenn; Shriram Krishnamurthi (Koli Calling, 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)

Editorial. - Jeremy Gibbons; Shriram Krishnamurthi (J. Funct. Program., 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)

Structural versus pipeline composition of higher-order functions (experience report). - Elijah Rivera; Shriram Krishnamurthi (Proc. ACM Program. Lang., 2022)

Types for Tables: A Language Design Benchmark. - Kuang-Chen Lu; Ben Greenman; Shriram Krishnamurthi (Art Sci. Eng. Program., 2022)

Automated, Targeted Testing of Property-Based Testing Predicates. - Tim Nelson; Elijah Rivera; Sam Soucie; Thomas Del Vecchio; John Wrenn; Shriram Krishnamurthi (Art Sci. Eng. Program., 2022)

Accepted Artifact for Gradual Soundness: Lessons from Static Python. - Kuang-Chen Lu; Ben Greenman; Carl Meyer; Dino Viehland; Aniket Panse; Shriram Krishnamurthi (Zenodo, 2022)

Educational Programming Languages and Systems (Dagstuhl Seminar 22302). - Neil Brown 001; Mark J. Guzdial; Shriram Krishnamurthi; Jens Mönig (Dagstuhl Reports, 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Generating Programs Trivially: Student Use of Large Language Models. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CompEd (1), 2023)

Dependently Typing R Vectors, Arrays, and Matrices. - John Wrenn; Anjali Pal; Alexa VanHattum; Shriram Krishnamurthi (CoRR, 2023)

A Core Calculus for Documents. - Will Crichton; Shriram Krishnamurthi (CoRR, 2023)

Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2023)

Gradual Soundness: Lessons from Static Python. - Kuang-Chen Lu; Ben Greenman; Carl Meyer; Dino Viehland; Aniket Panse; Shriram Krishnamurthi (Art Sci. Eng. Program., 2023)

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust". - Will Crichton; Gavin Gray; Shriram Krishnamurthi (Zenodo, 2023)

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust". - Will Crichton; Gavin Gray; Shriram Krishnamurthi (Zenodo, 2023)

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust". - Will Crichton; Gavin Gray; Shriram Krishnamurthi (Zenodo, 2023)

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

A Grounded Conceptual Model for Ownership Types in Rust. - Will Crichton; Gavin Gray; Shriram Krishnamurthi (Proc. ACM Program. Lang., 2023)

Artifact: Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Artifact: Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Artifact for "Profiling Programming Language Learning: A Case Study on The Rust Programming Language". - Will Crichton; Shriram Krishnamurthi (Zenodo, 2023)

Accepted Artifact for Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Zenodo, 2023)

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. - Ben Greenman; Siddhartha Prasad; Antonio Di Stasio 001; Shufang Zhu 001; Giuseppe De Giacomo; Shriram Krishnamurthi; Marco Montali; Tim Nelson; Milda Zizyte (FM (1), 2024)

Iterative Student Program Planning using Transformer-Driven Feedback. - Elijah Rivera; Alexander Steinmaurer; Kathi Fisler; Shriram Krishnamurthi (ITiCSE (1), 2024)

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

Grounded Language Design for Lightweight Diagramming for Formal Methods. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CoRR, 2024)

Functional Data Science for Secondary-School Students. - Paul Biberstein; Thomas Castleman; Luming Chen; Shriram Krishnamurthi (Informatics Educ., 2024)

Profiling Programming Language Learning. - Will Crichton; Shriram Krishnamurthi (Proc. ACM Program. Lang., 2024)

Identifying and Correcting Programming Language Behavior Misconceptions. - Kuang-Chen Lu; Shriram Krishnamurthi (Proc. ACM Program. Lang., 2024)

Forge: A Tool and Language for Teaching Formal Methods. - Tim Nelson; Ben Greenman; Siddhartha Prasad; Tristan Dyer; Ethan Bove; Qianfan Chen; Charles Cutting; Thomas Del Vecchio; Sidney Levine; Julianne Rudner; Ben Ryjikov; Alexander Varga; et al. (Proc. ACM Program. Lang., 2024)

Privacy-Respecting Type Error Telemetry at Scale. - Ben Greenman; Alan Jeffrey; Shriram Krishnamurthi; Mitesh Shah (Art Sci. Eng. Program., 2024)

Conceptual Mutation Testing for Student Programming Misconceptions. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2024)

A Core Calculus for Documents: Or, Lambda: The Ultimate Document. - Will Crichton; Shriram Krishnamurthi (Proc. ACM Program. Lang., 2024)

Artifact for "Profiling Programming Language Learning". - Will Crichton; Shriram Krishnamurthi (Zenodo, 2024)

A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CAV (4), 2025)

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (ECOOP, 2025)

Paralegal: Practical Static Analysis for Privacy Bugs. - Justus Adam; Carolyn Zech; Livia Zhu; Sreshtaa Rajesh; Nathan Harbison; Mithi Jethwa; Will Crichton; Shriram Krishnamurthi; Malte Schwarzkopf (OSDI, 2025)

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact). - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (Dagstuhl Artifacts Ser., 2025)

Logic for Systems: A Gradual Introduction to Formal Methods. - Shriram Krishnamurthi; Tim Nelson (Bull. EATCS, 2025)

An Interactive Debugger for Rust Trait Errors. - Gavin Gray; Will Crichton; Shriram Krishnamurthi (Proc. ACM Program. Lang., 2025)

sidprasad/copeanddrag. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (DROPS Artifacts, 2025)