Shriram Krishnamurthi - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Shriram Krishnamurthi' as author, editor, or advisor:

30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, ItalyShriram Krishnamurthi, Benjamin S. Lerner, editors, Volume 56 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
What is an education paper?Shriram Krishnamurthi. JFP, 31, 2021. [doi]
3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USABenjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi, editors, Volume 136 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
Early Post-Secondary Student Performance of Adversarial ThinkingNick Young, Shriram Krishnamurthi. icer 2021: 213-224 [doi]
Event Loops as First-Class Values: A Case Study in Pedagogic Language DesignJoe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi. Programming, 3(3):11, 2019. [doi]
The Human in Formal MethodsShriram Krishnamurthi, Tim Nelson. FM 2019: 3-10 [doi]
Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word ProblemsEmmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi. sigcse 2018: 8-13 [doi]
The impact of a single lecture on program plans in first-year CSFrancisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler. kolicalling 2017: 118-122 [doi]
Synthesizing Mutable Configurations: Setting up Systems for SuccessTim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi. ASE 2019: 81-85 [doi]
Problematic and Persistent Post-Secondary Program Performance PreconceptionsShriram Krishnamurthi, Anika Bahl, Benjamin Lee, Steven Sloman. kolicalling 2022: [doi]
Structural versus pipeline composition of higher-order functions (experience report)Elijah Rivera, Shriram Krishnamurthi. PACMPL, 6(ICFP):343-356, 2022. [doi]
What Help Do Students Seek in TA Office Hours?Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler. icer 2019: 41-49 [doi]
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402)Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi. dagstuhl-reports, 6(10):1-12, 2016. [doi]
Creativity, Customization, and Ownership: Game Design in Bootstrap: AlgebraEmmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler. sigcse 2018: 161-166 [doi]
From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only)Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner. sigcse 2018: 1058 [doi]
What does it mean for a computing curriculum to succeed?Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler. CACM, 62(5):30-32, 2019. [doi]
Developing Behavioral Concepts of Higher-Order FunctionsShriram Krishnamurthi, Kathi Fisler. icer 2021: 306-318 [doi]
The power of "why" and "why not": enriching scenario exploration with provenanceTim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi. FSE 2017: 106-116 [doi]
Automated, Targeted Testing of Property-Based Testing PredicatesTim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi. Programming, 6(2):10, 2022. [doi]
Who Tests the Testers?John Wrenn, Shriram Krishnamurthi, Kathi Fisler. icer 2018: 51-59 [doi]
Integrated Data Science for Secondary Schools: Design and Assessment of a CurriculumEmmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Shriram Krishnamurthi. sigcse 2022: 22-28 [doi]
The Next 700 Semantics: A Research ChallengeShriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty. SNAPL 2019: [doi]
A Grounded Conceptual Model for Ownership Types in RustWill Crichton, Gavin Gray, Shriram Krishnamurthi. PACMPL, 7(OOPSLA2):1224-1252, October 2023. [doi]
Reading Between the Lines: Student Help-Seeking for (Un)Specified BehaviorsJack Wrenn, Shriram Krishnamurthi. kolicalling 2021: [doi]
A programmable programming languageMatthias Felleisen, Robby Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt. CACM, 61(3):62-71, 2018. [doi]
From Macros to DSLs: The Evolution of RacketRyan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi. SNAPL 2019: [doi]
Applying cognitive principles to model-finding output: the positive value of negative informationTristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi. PACMPL, 6(OOPSLA):1-29, 2022. [doi]
Error messages are classifiers: a process to design and evaluate error messagesJohn Wrenn, Shriram Krishnamurthi. OOPSLA 2017: 134-147 [doi]
Inferring scope through syntactic sugarJustin Pombrio, Shriram Krishnamurthi, Mitchell Wand. PACMPL, 1(ICFP), 2017. [doi]
EditorialJeremy Gibbons, Shriram Krishnamurthi. JFP, 32, 2022. [doi]
Gradual Soundness: Lessons from Static PythonKuang-chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi. Programming, 7(1):2, 2023. [doi]
Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level UndergraduatesKathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson. sigcse 2017: 213-218 [doi]
Little Tricky Logic: Misconceptions in the Understanding of LTLBen Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi. Programming, 7(2), 2023. [doi]
User Studies of Principled Model Finder OutputNatasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty. SEFM 2017: 168-184 [doi]
CompoSAT: Specification-Guided Coverage for Model FindingSorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi. FM 2018: 568-587 [doi]
Plan Composition Using Higher-Order FunctionsElijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone. icer 2022: 84-104 [doi]
Programming Languages: Application and InterpretationShriram Krishnamurthi. Brown University, 2007.
Educational Programming Languages and Systems (Dagstuhl Seminar 22302)Neil Brown 0001, Mark J. Guzdial, Shriram Krishnamurthi, Jens Mönig. dagstuhl-reports, 12(7):205-236, July 2022. [doi]
The behavior of gradual types: a user studyPreston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi. DLS 2018: 1-12 [doi]
A Core Calculus for Documents: Or, Lambda: The Ultimate DocumentWill Crichton, Shriram Krishnamurthi. PACMPL, 8(POPL):667-694, January 2024. [doi]
Accessible AST-Based Programming for Visually-Impaired ProgrammersEmmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi. sigcse 2019: 773-779 [doi]
Inferring type rules for syntactic sugarJustin Pombrio, Shriram Krishnamurthi. PLDI 2018: 812-825 [doi]
Adapting Student IDEs for Blind ProgrammersEmmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi. kolicalling 2020: [doi]
Can we crowdsource language design?Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi. OOPSLA 2017: 1-17 [doi]
Executable Examples for Programming Problem ComprehensionJohn Wrenn, Shriram Krishnamurthi. icer 2019: 131-139 [doi]
Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument GenerationSam Saarinen, Shriram Krishnamurthi, Kathi Fisler, Preston Tunnell Wilson. sigcse 2019: 606-612 [doi]
Putting in all the stops: execution control for JavaScriptSamuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha. PLDI 2018: 30-45 [doi]
Hierarchical policies for software defined networksAndrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi. sigcomm 2012: 37-42 [doi]
Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281)Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, Jan Vahrenhold. dagstuhl-reports, 9(7):1-23, 2019. [doi]
Vision: Computing and Authentication Practicesin Global Oil and Gas FieldsMary Rose Martinez, Shriram Krishnamurthi. EUROUSEC 2021: 118-123 [doi]
Data-centricity: a challenge and opportunity for computing educationShriram Krishnamurthi, Kathi Fisler. CACM, 63(8):24-26, 2020. [doi]
Prototyping Formal Methods Tools: A Protocol Analysis Case StudyAbigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi. BIRTHDAY 2021: 394-413 [doi]
Teaching Programming Languages by Experimental and Adversarial ThinkingJustin Pombrio, Shriram Krishnamurthi, Kathi Fisler. SNAPL 2017: [doi]
Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack UpJohn Clements, Shriram Krishnamurthi. icer 2022: 206-222 [doi]
What Happens When Students Switch (Functional) Languages (Experience Report)Kuang-chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu. PACMPL, 7(ICFP):796-812, August 2023. [doi]
Using Design Alternatives to Learn About Data OrganizationsXingjian Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi. icer 2020: 248-258 [doi]
Making Hay from Wheats: A Classsourcing Method to Identify MisconceptionsSiddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi. kolicalling 2022: [doi]
On a (Per)Mission: Building Privacy Into the App MarketplaceHannah Quay-de la Vallee, Paige Selby, Shriram Krishnamurthi. ccs 2016: 63-72 [doi]
Observations on the Design of Program Planning Notations for StudentsElijah Rivera, Kathi Fisler, Shriram Krishnamurthi. sigcse 2024: 1133-1139 [doi]
Evaluating the Tracing of Recursion in the Substitution Notional MachinePreston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi. sigcse 2018: 1023-1028 [doi]
Evolving a K-12 Curriculum for Integrating Computer Science into MathematicsKathi Fisler, Emmanuel Schanzer, Steve Weimar, Annie Fetter, K. Ann Renninger, Shriram Krishnamurthi, Joe Gibbs Politz, Benjamin S. Lerner, Jennifer Poole, Christine Koerner. sigcse 2021: 59-65 [doi]
Solver-Aided Multi-Party ConfigurationKevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson. hotnets 2020: 103-109 [doi]
Will Students Write Tests Early Without Coercion?✱John Wrenn, Shriram Krishnamurthi. kolicalling 2020: [doi]
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design CriterionTim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi. hotnets 2016: 99-105 [doi]
Types for Tables: A Language Design BenchmarkKuang-chen Lu, Ben Greenman, Shriram Krishnamurthi. Programming, 6(2):8, 2022. [doi]
2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USABenjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi, editors, Volume 71 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Using Relational Problems to Teach Property-Based TestingJohn Wrenn, Tim Nelson, Shriram Krishnamurthi. Programming, 5(2):9, 2021. [doi]
An introduction to SchemeShriram Krishnamurthi. crossroads, 1(2):19-27, 1994. [doi]
Generating Programs Trivially: Student Use of Large Language ModelsSiddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi. comped 2023: 126-132 [doi]

runs on WebDSL