Shriram Krishnamurthi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
108
Venues
31
Active years
1996–2026
Best venue rank
A*
Where they publish
- ASIGCSE15 papers
- AICER10 papers
- AOOPSLA9 papers
- AECOOP6 papers
- AESOP6 papers
- BFM5 papers
- BITiCSE5 papers
- CDLS5 papers
- A*ICSE5 papers
- A*PLDI4 papers
- AICFP4 papers
- A*POPL3 papers
- AESORICS3 papers
- A*SIGCOMM3 papers
- CPADL3 papers
- NationalHOTNETS2 papers
- A*CCS2 papers
- CPEPM2 papers
- NationalNSDI2 papers
- CSACMAT2 papers
- A*WWW2 papers
- A*CAV1 paper
- A*OSDI1 paper
- BSEFM1 paper
- AISSRE1 paper
- BSAS1 paper
- A*CHI1 paper
- ARecSys1 paper
- ASOUPS1 paper
- ACADE1 paper
- NationalFLOPS1 paper
Papers
108 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages. | Siddhartha Prasad, Skyler Austen, Kathi Fisler, Shriram Krishnamurthi |
| 2025 | CAV | A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. | Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi |
| 2025 | ECOOP | Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. | Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi |
| 2025 | OSDI | 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 |
| 2024 | FM | Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. | Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte |
| 2024 | ITiCSE | Iterative Student Program Planning using Transformer-Driven Feedback. | Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi |
| 2024 | SIGCSE | Observations on the Design of Program Planning Notations for Students. | Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi |
| 2022 | ICER | Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up. | John Clements, Shriram Krishnamurthi |
| 2022 | ICER | Plan Composition Using Higher-Order Functions. | Elijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone |
| 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 | ICER | Early Post-Secondary Student Performance of Adversarial Thinking. | Nick Young, Shriram Krishnamurthi |
| 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 |
| 2020 | HOTNETS | Solver-Aided Multi-Party Configuration. | Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson |
| 2020 | ICER | Using Design Alternatives to Learn About Data Organizations. | Xingjian Lance Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi |
| 2019 | FM | The Human in Formal Methods. | Shriram Krishnamurthi, Tim Nelson |
| 2019 | ICER | What Help Do Students Seek in TA Office Hours? | Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler |
| 2019 | ICER | Executable Examples for Programming Problem Comprehension. | John Wrenn, Shriram Krishnamurthi |
| 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 |
| 2019 | SIGCSE | Accessible AST-Based Programming for Visually-Impaired Programmers. | Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi |
| 2018 | DLS | The behavior of gradual types: a user study. | Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi |
| 2018 | FM | CompoSAT: Specification-Guided Coverage for Model Finding. | Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi |
| 2018 | ICER | Who Tests the Testers? | John Wrenn, Shriram Krishnamurthi, Kathi Fisler |
| 2018 | PLDI | Putting in all the stops: execution control for JavaScript. | Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha |
| 2018 | PLDI | Inferring type rules for syntactic sugar. | Justin Pombrio, Shriram Krishnamurthi |
| 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 | OOPSLA | Can we crowdsource language design? | Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi |
| 2017 | OOPSLA | Error messages are classifiers: a process to design and evaluate error messages. | John Wrenn, Shriram Krishnamurthi |
| 2017 | SIGCSE | Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates. | Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson |
| 2017 | SEFM | User Studies of Principled Model Finder Output. | Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty |
| 2016 | CCS | On a (Per)Mission: Building Privacy Into the App Marketplace. | Hannah Quay-de la Vallee, Paige Selby, Shriram Krishnamurthi |
| 2016 | HOTNETS | Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. | Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi |
| 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 | ECOOP | Tierless Programming and Reasoning for Networks. | Shriram Krishnamurthi |
| 2015 | FM | Static Differential Program Analysis for Software-Defined Networks. | Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi |
| 2015 | ICFP | Hygienic resugaring of compositional desugaring. | Justin Pombrio, Shriram Krishnamurthi |
| 2015 | ISSRE | Detecting latent cross-platform API violations. | Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos |
| 2015 | OOPSLA | Slimming languages by reducing sugar: a case for semantics-altering transformations. | Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi |
| 2015 | PEPM | Desugaring in Practice: Opportunities and Challenges. | Shriram Krishnamurthi |
| 2015 | POPL | The story of Arjun Guha, or: the arc of a research project. | Shriram Krishnamurthi |
| 2015 | SIGCSE | Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. | Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen |
| 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 |
| 2014 | NSDI | Tierless Programming and Reasoning for Software-Defined Networks. | Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi |
| 2014 | PLDI | Resugaring: lifting evaluation sequences through syntactic sugar. | Justin Pombrio, Shriram Krishnamurthi |
| 2013 | DLS | TeJaS: retrofitting type systems for JavaScript. | Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi |
| 2013 | DLS | Whalesong: running racket in the browser. | Danny Yoo, Shriram Krishnamurthi |
| 2013 | ECOOP | Combining Form and Function: Static Types for JQuery Programs. | Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi |
| 2013 | ESORICS | Verifying Web Browser Extensions' Compliance with Private-Browsing Mode. | Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi |
| 2013 | ICSE | Aluminum: principled scenario exploration through minimality. | Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2013 | OOPSLA | Should software conferences respect software? | Shriram Krishnamurthi, James Noble, Jan Vitek |
| 2013 | OOPSLA | Python: the full monty. | Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, 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 | POPL | From principles to programming languages (and back). | Shriram Krishnamurthi |
| 2013 | SIGCSE | Teaching garbage collection without implementing compiler or interpreters. | Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler |
| 2013 | SIGCOMM | Participatory networking: an API for application control of SDNs. | Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi |
| 2013 | SIGCOMM | A balance of power: expressive, analyzable controller programming. | Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2012 | DLS | A tested semantics for getters, setters, and eval in JavaScript. | Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi |
| 2012 | NSDI | Participatory Networking. | Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi |
| 2012 | OOPSLA | Progressive types. | Joe Gibbs Politz, Hannah Quay-de la Vallee, Shriram Krishnamurthi |
| 2012 | SIGCOMM | Hierarchical policies for software defined networks. | Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi |
| 2012 | SAS | Semantics and Analyses for JavaScript and the Web. | Shriram Krishnamurthi |
| 2011 | CHI | Oops, I did it again: mitigating repeated access control errors on facebook. | Serge Egelman, Andrew Oates, Shriram Krishnamurthi |
| 2011 | ESOP | Typing Local Control and State Using Flow Analysis. | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
| 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 | ECOOP | The Essence of JavaScript. | Arjun Guha, Claudiu Saftoiu, 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 | ICFP | A functional I/O system or, fun for freshman kids. | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
| 2009 | OOPSLA | Flapjax: a programming language for Ajax applications. | Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi |
| 2009 | RecSys | Preference aggregation in group recommender systems for committee decision-making. | Jacob P. Baskin, Shriram Krishnamurthi |
| 2009 | WWW | Using static analysis for Ajax intrusion detection. | Arjun Guha, Shriram Krishnamurthi, Trevor Jim |
| 2009 | SOUPS | Escape from the matrix: lessons from a case-study in access-control requirements. | Kathi Fisler, Shriram Krishnamurthi |
| 2008 | CCS | Minimal backups of cryptographic protocol runs. | Jay A. McCarthy, Shriram Krishnamurthi |
| 2008 | ESORICS | Cryptographic Protocol Explication and End-Point Projection. | Jay A. McCarthy, Shriram Krishnamurthi |
| 2007 | DLS | Relationally-parametric polymorphic contracts. | Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi |
| 2007 | ESORICS | Obligations and Their Interaction with Programs. | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2007 | PEPM | Lowering: a static optimization technique for transparent functional reactivity. | Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi |
| 2007 | WWW | Compiling cryptographic protocols for deployment on the web. | Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell |
| 2006 | CADE | Specifying and Reasoning About Dynamic Access-Control Policies. | Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2006 | ESOP | Embedding Dynamic Dataflow in a Call-by-Value Language. | Gregory H. Cooper, Shriram Krishnamurthi |
| 2006 | FLOPS | Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. | Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi |
| 2006 | SACMAT | Towards reasonability properties for access-control policy languages. | Michael Carl Tschantz, Shriram Krishnamurthi |
| 2005 | ICFP | Continuations from generalized stack inspection. | Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen |
| 2005 | ICSE | Verification and change-impact analysis of access-control policies. | Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz |
| 2004 | ICSE | Validating the Unit Correctness of Spreadsheet Programs. | Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen |
| 2003 | ESOP | Modeling Web Interactions. | Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 2003 | ICSE | CLIME: An Environment for Constrained Evolution Demonstration Description. | Steven P. Reiss, Christina M. Kennedy, Tom Wooldridge, Shriram Krishnamurthi |
| 2003 | PADL | SXSLT: Manipulation Language for XML. | Oleg Kiselyov, Shriram Krishnamurthi |
| 2003 | PADL | The CONTINUE Server (or, How I Administered PADL 2002 and 2003). | Shriram Krishnamurthi |
| 2002 | ESOP | Programming Languages for Compressing Graphics. | Morgan McGuire, Shriram Krishnamurthi, John F. Hughes |
| 2002 | ICSE | Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs. | Paul T. Graunke, Shriram Krishnamurthi |
| 2001 | ESOP | Programming the Web with High-Level Programming Languages. | Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen |
| 2000 | PADL | Transformation-by-Example for XML. | Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke |
| 1999 | ESOP | Expressing Structural Properties as Language Constructs. | Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen |
| 1999 | ICFP | Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). | Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 1998 | ECOOP | Synthesizing Object-Oriented and Functional Design to Promote Re-Use. | Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman |
| 1998 | POPL | Classes and Mixins. | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
| 1996 | PLDI | Static Debugging: Browsing the Web of Program Invariants. | Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen |