Shriram Krishnamurthi

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 103

Top Venues

CoRR

SIGCSE

Proc. ACM Program. Lang.

Art Sci. Eng. Program.

Publications

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
Forge: A Tool and Language for Teaching Formal Methods. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Will Crichton, Shriram Krishnamurthi
Profiling Programming Language Learning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Kuang-Chen Lu, Shriram Krishnamurthi
Identifying and Correcting Programming Language Behavior Misconceptions. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi
Observations on the Design of Program Planning Notations for Students. SIGCSE (1) (2024)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
Conceptual Mutation Testing for Student Programming Misconceptions. Art Sci. Eng. Program. 8 (2) (2024)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
Conceptual Mutation Testing for Student Programming Misconceptions. CoRR (2024)
Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi
Iterative Student Program Planning using Transformer-Driven Feedback. ITiCSE (1) (2024)
Will Crichton, Shriram Krishnamurthi
Profiling Programming Language Learning. CoRR (2024)
Will Crichton, Shriram Krishnamurthi
A Core Calculus for Documents: Or, Lambda: The Ultimate Document. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
Privacy-Respecting Type Error Telemetry at Scale. CoRR (2024)
Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
Privacy-Respecting Type Error Telemetry at Scale. Art Sci. Eng. Program. 8 (3) (2024)
John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi
Dependently Typing R Vectors, Arrays, and Matrices. CoRR (2023)
Will Crichton, Shriram Krishnamurthi
A Core Calculus for Documents. CoRR (2023)
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
Little Tricky Logic: Misconceptions in the Understanding of LTL. Art Sci. Eng. Program. 7 (2) (2023)
Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi
Gradual Soundness: Lessons from Static Python. Art Sci. Eng. Program. 7 (1) (2023)
Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu
What Happens When Students Switch (Functional) Languages (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
Generating Programs Trivially: Student Use of Large Language Models. CompEd (1) (2023)
Will Crichton, Gavin Gray, Shriram Krishnamurthi
A Grounded Conceptual Model for Ownership Types in Rust. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Will Crichton, Gavin Gray, Shriram Krishnamurthi
A Grounded Conceptual Model for Ownership Types in Rust. CoRR (2023)
Elijah Rivera, Shriram Krishnamurthi
Structural versus pipeline composition of higher-order functions (experience report). Proc. ACM Program. Lang. 6 (ICFP) (2022)
John Clements, Shriram Krishnamurthi
Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up. ICER (1) (2022)
Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, Jens Mönig
Educational Programming Languages and Systems (Dagstuhl Seminar 22302). Dagstuhl Reports 12 (7) (2022)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. Art Sci. Eng. Program. 6 (2) (2022)
Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi
Gradual Soundness: Lessons from Static Python. CoRR (2022)
Jeremy Gibbons, Shriram Krishnamurthi
Editorial. J. Funct. Program. 32 (2022)
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
Types for Tables: A Language Design Benchmark. Art Sci. Eng. Program. 6 (2) (2022)
Shriram Krishnamurthi, Anika Bahl, Benjamin Lee, Steven Sloman
Problematic and Persistent Post-Secondary Program Performance Preconceptions. Koli Calling (2022)
Emmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Shriram Krishnamurthi
Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum. SIGCSE (1) (2022)
Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi
Applying cognitive principles to model-finding output: the positive value of negative information. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi
Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. Koli Calling (2022)
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
Little Tricky Logic: Misconceptions in the Understanding of LTL. CoRR (2022)
Elijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone
Plan Composition Using Higher-Order Functions. ICER (1) (2022)
Shriram Krishnamurthi, Kathi Fisler
Developing Behavioral Concepts of Higher-Order Functions. ICER (2021)
Shriram Krishnamurthi
What is an education paper? J. Funct. Program. 31 (2021)
Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi
Prototyping Formal Methods Tools: A Protocol Analysis Case Study. Protocols, Strands, and Logic (2021)
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
Types for Tables: A Language Design Benchmark. CoRR (2021)
Mary Rose Martinez, Shriram Krishnamurthi
Computing and Authentication Practices in Global Oil and Gas Fields. CoRR (2021)
Kathi Fisler, Emmanuel Schanzer, Steve Weimar, Annie Fetter, K. Ann Renninger, Shriram Krishnamurthi, Joe Gibbs Politz, Benjamin S. Lerner, Jennifer Poole, Christine Koerner
Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics. SIGCSE (2021)
John Wrenn, Tim Nelson, Shriram Krishnamurthi
Using Relational Problems to Teach Property-Based Testing. Art Sci. Eng. Program. 5 (2) (2021)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. CoRR (2021)
Mary Rose Martinez, Shriram Krishnamurthi
Vision: Computing and Authentication Practicesin Global Oil and Gas Fields. EuroUSEC (2021)
Jack Wrenn, Shriram Krishnamurthi
Reading Between the Lines: Student Help-Seeking for (Un)Specified Behaviors. Koli Calling (2021)
Nick Young, Shriram Krishnamurthi
Early Post-Secondary Student Performance of Adversarial Thinking. ICER (2021)
John Wrenn, Shriram Krishnamurthi
Will Students Write Tests Early Without Coercion?✱. Koli Calling (2020)
John Wrenn, Tim Nelson, Shriram Krishnamurthi
Using Relational Problems to Teach Property-Based Testing. CoRR (2020)
Xingjian Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi
Using Design Alternatives to Learn About Data Organizations. ICER (2020)
Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi
Adapting Student IDEs for Blind Programmers. Koli Calling (2020)
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson
Solver-Aided Multi-Party Configuration. HotNets (2020)
Shriram Krishnamurthi, Emmanuel Schanzer, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Sam Dooman
Data Science as a Route to AI for Middle- and High-School Students. CoRR (2020)
Shriram Krishnamurthi, Kathi Fisler
Data-centricity: a challenge and opportunity for computing education. Commun. ACM 63 (8) (2020)
Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
From Macros to DSLs: The Evolution of Racket. SNAPL (2019)
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. CoRR (2019)
Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi
Synthesizing Mutable Configurations: Setting up Systems for Success. ASE Workshops (2019)
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. Art Sci. Eng. Program. 3 (3) (2019)
Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler
What does it mean for a computing curriculum to succeed? Commun. ACM 62 (5) (2019)
Shriram Krishnamurthi, Tim Nelson
The Human in Formal Methods. FM (2019)
Sam Saarinen, Shriram Krishnamurthi, Kathi Fisler, Preston Tunnell Wilson
Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument Generation. SIGCSE (2019)
Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler
What Help Do Students Seek in TA Office Hours? ICER (2019)
Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi
Accessible AST-Based Programming for Visually-Impaired Programmers. SIGCSE (2019)
John Wrenn, Shriram Krishnamurthi
Executable Examples for Programming Problem Comprehension. ICER (2019)
Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, Jan Vahrenhold
Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281). Dagstuhl Reports 9 (7) (2019)
Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty
The Next 700 Semantics: A Research Challenge. SNAPL (2019)
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha
Putting in all the stops: execution control for JavaScript. PLDI (2018)
Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi
Evaluating the Tracing of Recursion in the Substitution Notional Machine. SIGCSE (2018)
Justin Pombrio, Shriram Krishnamurthi
Inferring type rules for syntactic sugar. PLDI (2018)
Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
CompoSAT: Specification-Guided Coverage for Model Finding. FM (2018)
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha
Putting in All the Stops: Execution Control for JavaScript. CoRR (2018)
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi
Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems. SIGCSE (2018)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
A programmable programming language. Commun. ACM 61 (3) (2018)
Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler
Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra. SIGCSE (2018)
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner
From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). SIGCSE (2018)
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi
The behavior of gradual types: a user study. DLS (2018)
John Wrenn, Shriram Krishnamurthi, Kathi Fisler
Who Tests the Testers? ICER (2018)
Francisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler
The impact of a single lecture on program plans in first-year CS. Koli Calling (2017)
Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi
Can we crowdsource language design? Onward! (2017)
Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler
Teaching Programming Languages by Experimental and Adversarial Thinking. SNAPL (2017)
Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi
The power of "why" and "why not": enriching scenario exploration with provenance. ESEC/SIGSOFT FSE (2017)
Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty
User Studies of Principled Model Finder Output. SEFM (2017)
John Wrenn, Shriram Krishnamurthi
Error messages are classifiers: a process to design and evaluate error messages. Onward! (2017)
Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson
Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates. SIGCSE (2017)
Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand
Inferring scope through syntactic sugar. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund
Modernizing Plan-Composition Studies. SIGCSE (2016)
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi
Compiling Stateful Network Properties for Runtime Verification. CoRR (2016)
Hannah Quay-de la Vallee, Paige Selby, Shriram Krishnamurthi
On a (Per)Mission: Building Privacy Into the App Marketplace. SPSM@CCS (2016)
Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi
The Sweep: Essential Examples for In-Flow Peer Review. SIGCSE (2016)
Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). Dagstuhl Reports 6 (10) (2016)
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. HotNets (2016)
Shriram Krishnamurthi
Desugaring in Practice: Opportunities and Challenges. PEPM (2015)
Shriram Krishnamurthi
Tierless Programming and Reasoning for Networks. PLAS@ECOOP (2015)
Justin Pombrio, Shriram Krishnamurthi
Hygienic resugaring of compositional desugaring. ICFP (2015)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
The Racket Manifesto. SNAPL (2015)
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
The Essence of JavaScript. CoRR (2015)
Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, Andreas Zeller
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452). Dagstuhl Reports 5 (11) (2015)
Shriram Krishnamurthi
The story of Arjun Guha, or: the arc of a research project. PLMW@POPL (2015)
Amy J. Ko, Shriram Krishnamurthi, Gail C. Murphy, Janet Siegmund
Human-Centric Development of Software Tools (Dagstuhl Seminar 15222). Dagstuhl Reports 5 (5) (2015)
Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi
Exodus: toward automatic migration of enterprise network configurations to SDNs. SOSR (2015)
Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi
Static Differential Program Analysis for Software-Defined Networks. FM (2015)
Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos
Detecting latent cross-platform API violations. ISSRE (2015)
Shriram Krishnamurthi, Jan Vitek
The real software crisis: repeatability as a core value. Commun. ACM 58 (3) (2015)
Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi
Simon: scriptable interactive monitoring for SDNs. SOSR (2015)

Shriram Krishnamurthi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shriram Krishnamurthi