Shriram Krishnamurthi

According to our database, Shriram Krishnamurthi authored at least 215 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

A Core Calculus for Documents: Or, Lambda: The Ultimate Document.

Will Crichton, Shriram Krishnamurthi

Proc. ACM Program. Lang., January, 2024

Conceptual Mutation Testing for Student Programming Misconceptions.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2024

Privacy-Respecting Type Error Telemetry at Scale.

Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah

Art Sci. Eng. Program., 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, Andrew Wagner, Luke West, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2024

Identifying and Correcting Programming Language Behavior Misconceptions.

Kuang-Chen Lu, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2024

Profiling Programming Language Learning.

Will Crichton, Shriram Krishnamurthi

Proc. ACM Program. Lang., 2024

Observations on the Design of Program Planning Notations for Students.

Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Iterative Student Program Planning using Transformer-Driven Feedback.

Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

A Grounded Conceptual Model for Ownership Types in Rust.

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Proc. ACM Program. Lang., October, 2023

What Happens When Students Switch (Functional) Languages (Experience Report).

Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu

Proc. ACM Program. Lang., August, 2023

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust".

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Dataset, July, 2023

Artifact for "A Grounded Conceptual Model for Ownership Types in Rust".

Will Crichton, Gavin Gray, Shriram Krishnamurthi

Dataset, July, 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

Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2023

A Core Calculus for Documents.

Will Crichton, Shriram Krishnamurthi

CoRR, 2023

Dependently Typing R Vectors, Arrays, and Matrices.

John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi

CoRR, 2023

Generating Programs Trivially: Student Use of Large Language Models.

Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi

Proceedings of the ACM Conference on Global Computing Education Vol 1, 2023

2022

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, September, 2022

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, September, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL.

Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

Dataset, August, 2022

Educational Programming Languages and Systems (Dagstuhl Seminar 22302).

Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, Jens Mönig

Dagstuhl Reports, July, 2022

Accepted Artifact for Gradual Soundness: Lessons from Static Python.

Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi

Dataset, May, 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

Types for Tables: A Language Design Benchmark.

Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi

Art Sci. Eng. Program., 2022

Structural versus pipeline composition of higher-order functions (experience report).

Elijah Rivera, Shriram Krishnamurthi

Proc. ACM Program. Lang., 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

Editorial.

Jeremy Gibbons, Shriram Krishnamurthi

J. Funct. Program., 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

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions.

Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi

Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

Problematic and Persistent Post-Secondary Program Performance Preconceptions.

Shriram Krishnamurthi, Anika Bahl, Benjamin Lee, Steven A. Sloman

Proceedings of the Koli Calling '22: 22nd Koli Calling International Conference on Computing Education Research, 2022

Plan Composition Using Higher-Order Functions.

Elijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone

Proceedings of the ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event, Switzerland, August 7, 2022

Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up.

John Clements, Shriram Krishnamurthi

Proceedings of the ICER 2022: ACM Conference on International Computing Education Research, Lugano and Virtual Event, Switzerland, August 7, 2022

2021

B2T2: Brown Benchmark for Table Types version 1.0.

Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi

Dataset, September, 2021

B2T2: Brown Benchmark for Table Types version 0.2.

Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi

Dataset, September, 2021

Using Relational Problems to Teach Property-Based Testing.

John Wrenn, Tim Nelson, Shriram Krishnamurthi

Art Sci. Eng. Program., 2021

What is an education paper?

Shriram Krishnamurthi

J. Funct. Program., 2021

Computing and Authentication Practices in Global Oil and Gas Fields.

Mary Rose Martinez, Shriram Krishnamurthi

CoRR, 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

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

Reading Between the Lines: Student Help-Seeking for (Un)Specified Behaviors.

Jack Wrenn, Shriram Krishnamurthi

Proceedings of the Koli Calling '21: 21st Koli Calling International Conference on Computing Education Research, Joensuu, Finland, November 18, 2021

Early Post-Secondary Student Performance of Adversarial Thinking.

Nick Young, Shriram Krishnamurthi

Proceedings of the ICER 2021: ACM Conference on International Computing Education Research, 2021

Developing Behavioral Concepts of Higher-Order Functions.

Shriram Krishnamurthi, Kathi Fisler

Proceedings of the ICER 2021: ACM Conference on International Computing Education Research, 2021

Vision: Computing and Authentication Practicesin Global Oil and Gas Fields.

Mary Rose Martinez, Shriram Krishnamurthi

Proceedings of the EuroUSEC '21: European Symposium on Usable Security 2021, Karlsruhe, Germany, October 11, 2021

Prototyping Formal Methods Tools: A Protocol Analysis Case Study.

Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi

Proceedings of the Protocols, Strands, and Logic, 2021

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

Data-centricity: a challenge and opportunity for computing education.

Shriram Krishnamurthi, Kathi Fisler

Commun. ACM, 2020

Will Students Write Tests Early Without Coercion?✱.

John Wrenn, Shriram Krishnamurthi

Proceedings of the Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research, 2020

Adapting Student IDEs for Blind Programmers.

Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi

Proceedings of the Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research, 2020

Using Design Alternatives to Learn About Data Organizations.

Xingjian Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the ICER 2020: International Computing Education Research Conference, 2020

Solver-Aided Multi-Party Configuration.

Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson

Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

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

Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281).

Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, Jan Vahrenhold

Dagstuhl Reports, 2019

What does it mean for a computing curriculum to succeed?

Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler

Commun. ACM, 2019

The Next 700 Semantics: A Research Challenge.

Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

From Macros to DSLs: The Evolution of Racket.

Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

Accessible AST-Based Programming for Visually-Impaired Programmers.

Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument Generation.

Sam Saarinen, Shriram Krishnamurthi, Kathi Fisler, Preston Tunnell Wilson

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Synthesizing Mutable Configurations: Setting up Systems for Success.

Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

Executable Examples for Programming Problem Comprehension.

John Wrenn, Shriram Krishnamurthi

Proceedings of the 2019 ACM Conference on International Computing Education Research, 2019

What Help Do Students Seek in TA Office Hours?

Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 2019 ACM Conference on International Computing Education Research, 2019

The Human in Formal Methods.

Shriram Krishnamurthi, Tim Nelson

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

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

Evaluating the Tracing of Recursion in the Substitution Notional Machine.

Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra.

Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems.

Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only).

Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

Inferring type rules for syntactic sugar.

Justin Pombrio, Shriram Krishnamurthi

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Putting in all the stops: execution control for JavaScript.

Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Who Tests the Testers?

John Wrenn, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 2018 ACM Conference on International Computing Education Research, 2018

CompoSAT: Specification-Guided Coverage for Model Finding.

Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi

Proceedings of the Formal Methods - 22nd International Symposium, 2018

The behavior of gradual types: a user study.

Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi

Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, 2018

2017

Inferring scope through syntactic sugar.

Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand

Proc. ACM Program. Lang., 2017

Teaching Programming Languages by Experimental and Adversarial Thinking.

Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

The power of "why" and "why not": enriching scenario exploration with provenance.

Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates.

Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

User Studies of Principled Model Finder Output.

Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Error messages are classifiers: a process to design and evaluate error messages.

John Wrenn, Shriram Krishnamurthi

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

Can we crowdsource language design?

Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

The impact of a single lecture on program plans in first-year CS.

Francisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 17th Koli Calling Conference on Computing Education Research, 2017

2016

Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).

Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi

Dagstuhl Reports, 2016

Compiling Stateful Network Properties for Runtime Verification.

Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi

CoRR, 2016

The Sweep: Essential Examples for In-Flow Peer Review.

Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Modernizing Plan-Composition Studies.

Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.

Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 2016

On a (Per)Mission: Building Privacy Into the App Marketplace.

Hannah Quay-de la Vallee, Paige Selby, Shriram Krishnamurthi

Proceedings of the 6th Workshop on Security and Privacy in Smartphones and Mobile Devices, 2016

2015

Human-Centric Development of Software Tools (Dagstuhl Seminar 15222).

Amy J. Ko, Shriram Krishnamurthi, Gail C. Murphy, Janet Siegmund

Dagstuhl Reports, 2015

Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452).

Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, Andreas Zeller

Dagstuhl Reports, 2015

The real software crisis: repeatability as a core value.

Shriram Krishnamurthi, Jan Vitek

Commun. ACM, 2015

Simon: scriptable interactive monitoring for SDNs.

Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

Exodus: toward automatic migration of enterprise network configurations to SDNs.

Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 2015

The Racket Manifesto.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap.

Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

The story of Arjun Guha, or: the arc of a research project.

Shriram Krishnamurthi

Proceedings of the Programming Languages Mentoring Workshop, 2015

Desugaring in Practice: Opportunities and Challenges.

Shriram Krishnamurthi

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

Slimming languages by reducing sugar: a case for semantics-altering transformations.

Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Detecting latent cross-platform API violations.

Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Hygienic resugaring of compositional desugaring.

Justin Pombrio, Shriram Krishnamurthi

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Static Differential Program Analysis for Software-Defined Networks.

Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi

Proceedings of the FM 2015: Formal Methods, 2015

Tierless Programming and Reasoning for Networks.

Shriram Krishnamurthi

Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015

2014

Typed-based verification of Web sandboxes.

Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi

J. Comput. Secur., 2014

Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).

Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann

Dagstuhl Reports, 2014

Resugaring: lifting evaluation sequences through syntactic sugar.

Justin Pombrio, Shriram Krishnamurthi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Tierless Programming and Reasoning for Software-Defined Networks.

Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

CaptainTeach: multi-stage, in-flow peer review for programming assignments.

Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

CaptainTeach: a platform for in-flow peer review of programming assignments.

Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014

In-Flow Peer Review.

Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad

Proceedings of the Working Group Reports of the 2014 on Innovation & Technology in Computer Science Education Conference, 2014

In-flow peer-review of tests in test-first programming.

Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the International Computing Education Research Conference, 2014

2013

Artifact evaluation for software conferences.

Shriram Krishnamurthi

ACM SIGSOFT Softw. Eng. Notes, 2013

Teaching garbage collection without implementing compiler or interpreters.

Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

A balance of power: expressive, analyzable controller programming.

Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Participatory networking: an API for application control of SDNs.

Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the ACM SIGCOMM 2013 Conference, 2013

From principles to programming languages (and back).

Shriram Krishnamurthi

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 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

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

Python: the full monty.

Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Should software conferences respect software?

Shriram Krishnamurthi, James Noble, Jan Vitek

Proceedings of the SPLASH'13, 2013

Aluminum: principled scenario exploration through minimality.

Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 35th International Conference on Software Engineering, 2013

Verifying Web Browser Extensions' Compliance with Private-Browsing Mode.

Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi

Proceedings of the Computer Security - ESORICS 2013, 2013

Combining Form and Function: Static Types for JQuery Programs.

Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

Whalesong: running racket in the browser.

Danny Yoo, Shriram Krishnamurthi

Proceedings of the DLS'13, 2013

TeJaS: retrofitting type systems for JavaScript.

Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi

Proceedings of the DLS'13, 2013

2012

Foundations for Scripting Languages (Dagstuhl Seminar 12011).

Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek

Dagstuhl Reports, 2012

Modeling and Reasoning about DOM Events.

Benjamin S. Lerner, Matthew J. Carroll, Dan P. Kimmel, Hannah Quay-de la Vallee, Shriram Krishnamurthi

Proceedings of the 3rd USENIX Conference on Web Application Development, 2012

Hierarchical policies for software defined networks.

Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the first workshop on Hot topics in software defined networks, 2012

Semantics and Analyses for JavaScript and the Web.

Shriram Krishnamurthi

Proceedings of the Static Analysis - 19th International Symposium, 2012

Progressive types.

Joe Gibbs Politz, Hannah Quay-de la Vallee, Shriram Krishnamurthi

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012

Participatory Networking.

Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi

Proceedings of the 2nd USENIX Workshop on Hot Topics in Management of Internet, 2012

A tested semantics for getters, setters, and eval in JavaScript.

Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi

Proceedings of the 8th Symposium on Dynamic Languages, 2012

Toward a More Complete Alloy.

Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Features and object capabilities: reconciling two visions of modularity.

Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

ADsafety: Type-Based Verification of JavaScript Sandboxing.

Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi

Proceedings of the 20th USENIX Security Symposium, 2011

Measuring the effectiveness of error messages designed for novice programmers.

Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Mind your language: on novices' interactions with error messages.

Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

WeScheme: the browser is your programming environment.

Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

Do values grow on trees?: expression integrity in functional programming.

Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Seventh International Workshop on Computing Education Research, 2011

Typing Local Control and State Using Flow Analysis.

Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi

Proceedings of the Programming Languages and Systems, 2011

Oops, I did it again: mitigating repeated access control errors on facebook.

Serge Egelman, Andrew Oates, Shriram Krishnamurthi

Proceedings of the International Conference on Human Factors in Computing Systems, 2011

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

Proceedings of the 9th Annual Workshop on the Economics of Information Security, 2010

Minding the (semantic) gap: engineering programming language theory.

Arjun Guha, Shriram Krishnamurthi

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Embracing policy engineering.

Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty

Proceedings of the Workshop on Future of Software Engineering Research, 2010

A model of triangulating environments for policy authoring.

Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

The Margrave Tool for Firewall Analysis.

Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Uncovering the Secrets of System Administration: Proceedings of the 24th Large Installation System Administration Conference, 2010

The Essence of JavaScript.

Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi

Proceedings of the ECOOP 2010, 2010

2009

Viewpoint - Why computer science doesn't matter.

Matthias Felleisen, Shriram Krishnamurthi

Commun. ACM, 2009

Using static analysis for Ajax intrusion detection.

Arjun Guha, Shriram Krishnamurthi, Trevor Jim

Proceedings of the 18th International Conference on World Wide Web, 2009

Escape from the matrix: lessons from a case-study in access-control requirements.

Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 5th Symposium on Usable Privacy and Security, 2009

Preference aggregation in group recommender systems for committee decision-making.

Jacob P. Baskin, Shriram Krishnamurthi

Proceedings of the 2009 ACM Conference on Recommender Systems, 2009

Flapjax: a programming language for Ajax applications.

Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Trusted Multiplexing of Cryptographic Protocols.

Jay A. McCarthy, Shriram Krishnamurthi

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

A functional I/O system or, fun for freshman kids.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Towards an Operational Semantics for Alloy.

Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the FM 2009: Formal Methods, 2009

2008

Teaching programming languages in a post-linnaean age.

Shriram Krishnamurthi

ACM SIGPLAN Notices, 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, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand

ACM SIGPLAN Notices, 2008

Alchemy: transmuting base alloy specifications into implementations.

Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Cryptographic Protocol Explication and End-Point Projection.

Jay A. McCarthy, Shriram Krishnamurthi

Proceedings of the Computer Security, 2008

Minimal backups of cryptographic protocol runs.

Jay A. McCarthy, Shriram Krishnamurthi

Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, 2008

2007

Foundations of incremental aspect model-checking.

Shriram Krishnamurthi, Kathi Fisler

ACM Trans. Softw. Eng. Methodol., 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

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

Compiling cryptographic protocols for deployment on the web.

Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell

Proceedings of the 16th International Conference on World Wide Web, 2007

Lowering: a static optimization technique for transparent functional reactivity.

Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Obligations and Their Interaction with Programs.

Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Computer Security, 2007

Relationally-parametric polymorphic contracts.

Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi

Proceedings of the 2007 Symposium on Dynamic Languages, 2007

2006

Semantics and scoping of aspects in higher-order languages.

Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi

Sci. Comput. Program., 2006

Educational Pearl: Automata via macros.

Shriram Krishnamurthi

J. Funct. Program., 2006

Abstract shade trees.

Morgan McGuire, George Stathis, Hanspeter Pfister, Shriram Krishnamurthi

Proceedings of the 2006 Symposium on Interactive 3D Graphics, 2006

Towards reasonability properties for access-control policy languages.

Michael Carl Tschantz, Shriram Krishnamurthi

Proceedings of the 11th ACM Symposium on Access Control Models and Technologies, 2006

Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages.

Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Embedding Dynamic Dataflow in a Call-by-Value Language.

Gregory H. Cooper, Shriram Krishnamurthi

Proceedings of the Programming Languages and Systems, 2006

Specifying and Reasoning About Dynamic Access-Control Policies.

Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

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

Web Verification: Perspective and Challenges.

Shriram Krishnamurthi

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

Modular Verification of Open Features Using Three-Valued Model Checking.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Autom. Softw. Eng., 2005

Decomposing Verification Around End-User Features.

Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Verified Software: Theories, 2005

Verification and change-impact analysis of access-control policies.

Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Continuations from generalized stack inspection.

Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004

The structure and interpretation of the computer science curriculum.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

J. Funct. Program., 2004

The TeachScheme! Project: Computing and Programming for Every Student.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Comput. Sci. Educ., 2004

Automatically Restructuring Programs for the Web.

Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen

Autom. Softw. Eng., 2004

Verifying aspect advice modularly.

Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Dataflow Language for Scriptable Debugging.

Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Verifying Interactive Web Programs.

Daniel R. Licata, Shriram Krishnamurthi

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Parameterized Interfaces for Open System Verification of Product Lines.

Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Validating the Unit Correctness of Spreadsheet Programs.

Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Automated Fault Localization Using Potential Invariants

Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss

CoRR, 2003

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

Shriram Krishnamurthi

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

SXSLT: Manipulation Language for XML.

Oleg Kiselyov, Shriram Krishnamurthi

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

The Feature Signatures of Evolving Programs.

Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

A Type System for Statically Detecting Spreadsheet Errors.

Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

CLIME: An Environment for Constrained Evolution Demonstration Description.

Steven P. Reiss, Christina M. Kennedy, Tom Wooldridge, Shriram Krishnamurthi

Proceedings of the 25th International Conference on Software Engineering, 2003

Modeling Web Interactions.

Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2003

Pointcuts and advice in higher-order languages.

David B. Tucker, Shriram Krishnamurthi

Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003

Programming languages - application and interpretation.

Shriram Krishnamurthi

e-book, 2003

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

The Influence of Software Module Systems on Modular Verification.

Harry C. Li, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Model Checking of Software, 2002

Verifying cross-cutting features as open systems.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Interfaces for Modular Feature Verification.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs.

Paul T. Graunke, Shriram Krishnamurthi

Proceedings of the 24th International Conference on Software Engineering, 2002

Programming Languages for Compressing Graphics.

Morgan McGuire, Shriram Krishnamurthi, John F. Hughes

Proceedings of the Programming Languages and Systems, 2002

2001

Modular verification of collaboration-based software designs.

Kathi Fisler, Shriram Krishnamurthi

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Automatically Restructuring Programs for the We.

Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Programming the Web with High-Level Programming Languages.

Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2001

2000

Transformation-by-Example for XML.

Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke

Proceedings of the Practical Aspects of Declarative Languages, 2000

1999

A Programmer's Reduction Semantics for Classes and Mixins.

Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Formal Syntax and Semantics of Java, 1999

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine).

Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

From Macros to Reusable Generative Programming.

Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba

Proceedings of the Generative and Component-Based Software Engineering, 1999

Expressing Structural Properties as Language Constructs.

Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 1999

1998

The DrScheme Project: An Overview.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

ACM SIGPLAN Notices, 1998

Toward a Formal Theory of Extensible Software.

Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Classes and Mixins.

Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the POPL '98, 1998

Synthesizing Object-Oriented and Functional Design to Promote Re-Use.

Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman

Proceedings of the ECOOP'98, 1998

1997

DrScheme: A Pedagogic Programming Environment for Scheme.

Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen

Proceedings of the Programming Languages: Implementations, 1997

1996

Static Debugging: Browsing the Web of Program Invariants.

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1994

An introduction to Scheme.

Shriram Krishnamurthi

XRDS, 1994