Shriram Krishnamurthi

238 papers A* 24A 45B 10C 14Misc 4Journal 74Unranked 61
YearRankTypeTitle / Venue / Authors
2025 — conf
A Misconception-Driven Adaptive Tutor for Linear Temporal Logic.
CAV (4)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 J jnl
An Interactive Debugger for Rust Trait Errors.
CoRR
Gavin Gray, Will Crichton, Shriram Krishnamurthi
2025 J jnl
An Interactive Debugger for Rust Trait Errors.
Proc. ACM Program. Lang.
Gavin Gray, Will Crichton, Shriram Krishnamurthi
2025 J jnl
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact).
Dagstuhl Artifacts Ser.
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 A conf
Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design.
ECOOP
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2025 J jnl
Logic for Systems: A Gradual Introduction to Formal Methods.
Bull. EATCS
Shriram Krishnamurthi, Tim Nelson
2025 A* conf
Paralegal: Practical Static Analysis for Privacy Bugs.
OSDI
Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Shriram Krishnamurthi, Malte Schwarzkopf
2024 J jnl
A Core Calculus for Documents: Or, Lambda: The Ultimate Document.
Proc. ACM Program. Lang.
Will Crichton, Shriram Krishnamurthi
2024 J jnl
Conceptual Mutation Testing for Student Programming Misconceptions.
CoRR
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 J jnl
Conceptual Mutation Testing for Student Programming Misconceptions.
Art Sci. Eng. Program.
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 J jnl
Forge: A Tool and Language for Teaching Formal Methods.
Proc. ACM Program. Lang.
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
2024 J jnl
Functional Data Science for Secondary-School Students.
Informatics Educ.
Paul Biberstein, Thomas Castleman, Luming Chen, Shriram Krishnamurthi
2024 J jnl
Grounded Language Design for Lightweight Diagramming for Formal Methods.
CoRR
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2024 J jnl
Identifying and Correcting Programming Language Behavior Misconceptions.
Proc. ACM Program. Lang.
Kuang-Chen Lu, Shriram Krishnamurthi
2024 — conf
Iterative Student Program Planning using Transformer-Driven Feedback.
ITiCSE (1)
Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi
2024 — conf
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.
FM (1)
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
2024 — conf
Observations on the Design of Program Planning Notations for Students.
SIGCSE (1)
Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi
2024 J jnl
Privacy-Respecting Type Error Telemetry at Scale.
CoRR
Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
2024 J jnl
Privacy-Respecting Type Error Telemetry at Scale.
Art Sci. Eng. Program.
Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah
2024 J jnl
Profiling Programming Language Learning.
CoRR
Will Crichton, Shriram Krishnamurthi
2024 J jnl
Profiling Programming Language Learning.
Proc. ACM Program. Lang.
Will Crichton, Shriram Krishnamurthi
2023 J jnl
A Core Calculus for Documents.
CoRR
Will Crichton, Shriram Krishnamurthi
2023 J jnl
A Grounded Conceptual Model for Ownership Types in Rust.
CoRR
Will Crichton, Gavin Gray, Shriram Krishnamurthi
2023 J jnl
A Grounded Conceptual Model for Ownership Types in Rust.
Proc. ACM Program. Lang.
Will Crichton, Gavin Gray, Shriram Krishnamurthi
2023 J jnl
Dependently Typing R Vectors, Arrays, and Matrices.
CoRR
John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi
2023 — conf
Generating Programs Trivially: Student Use of Large Language Models.
CompEd (1)
Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi
2023 J jnl
Gradual Soundness: Lessons from Static Python.
Art Sci. Eng. Program.
Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi
2023 J jnl
Little Tricky Logic: Misconceptions in the Understanding of LTL.
Art Sci. Eng. Program.
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
2023 J jnl
What Happens When Students Switch (Functional) Languages (Experience Report).
Proc. ACM Program. Lang.
Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu
2022 J jnl
Applying cognitive principles to model-finding output: the positive value of negative information.
Proc. ACM Program. Lang.
Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi
2022 J jnl
Automated, Targeted Testing of Property-Based Testing Predicates.
Art Sci. Eng. Program.
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
2022 J jnl
Editorial.
J. Funct. Program.
Jeremy Gibbons, Shriram Krishnamurthi
2022 J jnl
Educational Programming Languages and Systems (Dagstuhl Seminar 22302).
Dagstuhl Reports
Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, Jens Mönig
2022 J jnl
Gradual Soundness: Lessons from Static Python.
CoRR
Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi
2022 — conf
Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum.
SIGCSE (1)
Emmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Shriram Krishnamurthi
2022 J jnl
Little Tricky Logic: Misconceptions in the Understanding of LTL.
CoRR
Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi
2022 — conf
Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions.
Koli Calling
Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi
2022 — conf
Plan Composition Using Higher-Order Functions.
ICER (1)
Elijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone
2022 — conf
Problematic and Persistent Post-Secondary Program Performance Preconceptions.
Koli Calling
Shriram Krishnamurthi, Anika Bahl, Benjamin Lee, Steven A. Sloman
2022 J jnl
Structural versus pipeline composition of higher-order functions (experience report).
Proc. ACM Program. Lang.
Elijah Rivera, Shriram Krishnamurthi
2022 — conf
Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up.
ICER (1)
John Clements, Shriram Krishnamurthi
2022 J jnl
Types for Tables: A Language Design Benchmark.
Art Sci. Eng. Program.
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
2021 J jnl
Automated, Targeted Testing of Property-Based Testing Predicates.
CoRR
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
2021 J jnl
Computing and Authentication Practices in Global Oil and Gas Fields.
CoRR
Mary Rose Martinez, Shriram Krishnamurthi
2021 A conf
Developing Behavioral Concepts of Higher-Order Functions.
ICER
Shriram Krishnamurthi, Kathi Fisler
2021 A conf
Early Post-Secondary Student Performance of Adversarial Thinking.
ICER
Nick Young, Shriram Krishnamurthi
2021 A conf
Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics.
SIGCSE
Kathi Fisler, Emmanuel Schanzer, Steve Weimar, Annie Fetter, K. Ann Renninger, Shriram Krishnamurthi, Joe Gibbs Politz, Benjamin S. Lerner, Jennifer Poole, Christine Koerner
2021 — conf
Prototyping Formal Methods Tools: A Protocol Analysis Case Study.
Protocols, Strands, and Logic
Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi
2021 — conf
Reading Between the Lines: Student Help-Seeking for (Un)Specified Behaviors.
Koli Calling
Jack Wrenn, Shriram Krishnamurthi
2021 J jnl
Types for Tables: A Language Design Benchmark.
CoRR
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
2021 J jnl
Using Relational Problems to Teach Property-Based Testing.
Art Sci. Eng. Program.
John Wrenn, Tim Nelson, Shriram Krishnamurthi
2021 — conf
Vision: Computing and Authentication Practicesin Global Oil and Gas Fields.
EuroUSEC
Mary Rose Martinez, Shriram Krishnamurthi
2021 J jnl
What is an education paper?
J. Funct. Program.
Shriram Krishnamurthi
2020 — conf
Adapting Student IDEs for Blind Programmers.
Koli Calling
Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi
2020 J jnl
Data Science as a Route to AI for Middle- and High-School Students.
CoRR
Shriram Krishnamurthi, Emmanuel Schanzer, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Sam Dooman
2020 J jnl
Data-centricity: a challenge and opportunity for computing education.
Commun. ACM
Shriram Krishnamurthi, Kathi Fisler
2020 Misc conf
Solver-Aided Multi-Party Configuration.
HotNets
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson
2020 A conf
Using Design Alternatives to Learn About Data Organizations.
ICER
Xingjian Lance Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi
2020 J jnl
Using Relational Problems to Teach Property-Based Testing.
CoRR
John Wrenn, Tim Nelson, Shriram Krishnamurthi
2020 — conf
Will Students Write Tests Early Without Coercion?✱.
Koli Calling
John Wrenn, Shriram Krishnamurthi
2019 — ed.
3rd Summit on Advances in Programming Languages, SNAPL 2019, Providence, RI, USA, May 16-17, 2019
SNAPL
Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
2019 A conf
Accessible AST-Based Programming for Visually-Impaired Programmers.
SIGCSE
Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi
2019 J jnl
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design.
CoRR
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
2019 J jnl
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design.
Art Sci. Eng. Program.
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
2019 A conf
Executable Examples for Programming Problem Comprehension.
ICER
John Wrenn, Shriram Krishnamurthi
2019 — conf
From Macros to DSLs: The Evolution of Racket.
SNAPL
Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
2019 A conf
Harnessing the Wisdom of the Classes: Classsourcing and Machine Learning for Assessment Instrument Generation.
SIGCSE
Sam Saarinen, Shriram Krishnamurthi, Kathi Fisler, Preston Tunnell Wilson
2019 J jnl
Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281).
Dagstuhl Reports
Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, Jan Vahrenhold
2019 — conf
Synthesizing Mutable Configurations: Setting up Systems for Success.
ASE Workshops
Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi
2019 B conf
The Human in Formal Methods.
FM
Shriram Krishnamurthi, Tim Nelson
2019 — conf
The Next 700 Semantics: A Research Challenge.
SNAPL
Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty
2019 A conf
What Help Do Students Seek in TA Office Hours?
ICER
Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler
2019 J jnl
What does it mean for a computing curriculum to succeed?
Commun. ACM
Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler
2018 J jnl
A programmable programming language.
Commun. ACM
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
2018 A conf
Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems.
SIGCSE
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi
2018 B conf
CompoSAT: Specification-Guided Coverage for Model Finding.
FM
Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
2018 A conf
Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra.
SIGCSE
Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler
2018 A conf
Evaluating the Tracing of Recursion in the Substitution Notional Machine.
SIGCSE
Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi
2018 A conf
From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only).
SIGCSE
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner
2018 A* conf
Inferring type rules for syntactic sugar.
PLDI
Justin Pombrio, Shriram Krishnamurthi
2018 J jnl
Putting in All the Stops: Execution Control for JavaScript.
CoRR
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha
2018 A* conf
Putting in all the stops: execution control for JavaScript.
PLDI
Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha
2018 C conf
The behavior of gradual types: a user study.
DLS
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi
2018 A conf
Who Tests the Testers?
ICER
John Wrenn, Shriram Krishnamurthi, Kathi Fisler
2017 — ed.
2nd Summit on Advances in Programming Languages, SNAPL 2017, Asilomar, CA, USA, May 7-10, 2017
SNAPL
Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi
2017 A conf
Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates.
SIGCSE
Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson
2017 — conf
Can we crowdsource language design?
Onward!
Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi
2017 — conf
Error messages are classifiers: a process to design and evaluate error messages.
Onward!
John Wrenn, Shriram Krishnamurthi
2017 J jnl
Inferring scope through syntactic sugar.
Proc. ACM Program. Lang.
Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand
2017 — conf
Teaching Programming Languages by Experimental and Adversarial Thinking.
SNAPL
Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler
2017 — conf
The impact of a single lecture on program plans in first-year CS.
Koli Calling
Francisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler
2017 — conf
The power of "why" and "why not": enriching scenario exploration with provenance.
ESEC/SIGSOFT FSE
Tim Nelson, Natasha Danas, Daniel J. Dougherty, Shriram Krishnamurthi
2017 B conf
User Studies of Principled Model Finder Output.
SEFM
Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty
2016 A ed.
30th European Conference on Object-Oriented Programming, ECOOP 2016, Rome, Italy, July 18-22, 2016
ECOOP
Shriram Krishnamurthi, Benjamin S. Lerner
2016 J jnl
Compiling Stateful Network Properties for Runtime Verification.
CoRR
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi
2016 A conf
Modernizing Plan-Composition Studies.
SIGCSE
Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund
2016 — conf
On a (Per)Mission: Building Privacy Into the App Marketplace.
SPSM@CCS
Hannah Quay-de la Vallee, Paige Selby, Shriram Krishnamurthi
2016 J jnl
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402).
Dagstuhl Reports
Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi
2016 Misc conf
Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion.
HotNets
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi
2016 A conf
The Sweep: Essential Examples for In-Flow Peer Review.
SIGCSE
Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi
2015 — ed.
1st Summit on Advances in Programming Languages, SNAPL 2015, Asilomar, California, USA, May 3-6, 2015
SNAPL
Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett
2015 J jnl
ADsafety: Type-Based Verification of JavaScript Sandboxing.
CoRR
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
2015 J jnl
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452).
Dagstuhl Reports
Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, Andreas Zeller
2015 C conf
Desugaring in Practice: Opportunities and Challenges.
PEPM
Shriram Krishnamurthi
2015 A conf
Detecting latent cross-platform API violations.
ISSRE
Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos
2015 — conf
Exodus: toward automatic migration of enterprise network configurations to SDNs.
SOSR
Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi
2015 J jnl
Human-Centric Development of Software Tools (Dagstuhl Seminar 15222).
Dagstuhl Reports
Amy J. Ko, Shriram Krishnamurthi, Gail C. Murphy, Janet Siegmund
2015 A conf
Hygienic resugaring of compositional desugaring.
ICFP
Justin Pombrio, Shriram Krishnamurthi
2015 — conf
Simon: scriptable interactive monitoring for SDNs.
SOSR
Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi
2015 — conf
Slimming languages by reducing sugar: a case for semantics-altering transformations.
Onward!
Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi
2015 B conf
Static Differential Program Analysis for Software-Defined Networks.
FM
Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi
2015 J jnl
The Essence of JavaScript.
CoRR
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
2015 — conf
The Racket Manifesto.
SNAPL
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
2015 J jnl
The real software crisis: repeatability as a core value.
Commun. ACM
Shriram Krishnamurthi, Jan Vitek
2015 — conf
The story of Arjun Guha, or: the arc of a research project.
PLMW@POPL
Shriram Krishnamurthi
2015 — conf
Tierless Programming and Reasoning for Networks.
PLAS@ECOOP
Shriram Krishnamurthi
2015 A conf
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap.
SIGCSE
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen
2014 B conf
CaptainTeach: a platform for in-flow peer review of programming assignments.
ITiCSE
Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler
2014 B conf
CaptainTeach: multi-stage, in-flow peer review for programming assignments.
ITiCSE
Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler
2014 — conf
In-Flow Peer Review.
ITiCSE-WGR
Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad
2014 A conf
In-flow peer-review of tests in test-first programming.
ICER
Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler
2014 — ed.
Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014
Onward!
Andrew P. Black, Shriram Krishnamurthi, Bernd Bruegge, Joseph N. Ruskiewicz
2014 A* conf
Resugaring: lifting evaluation sequences through syntactic sugar.
PLDI
Justin Pombrio, Shriram Krishnamurthi
2014 J jnl
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271).
Dagstuhl Reports
Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann
2014 Misc conf
Tierless Programming and Reasoning for Software-Defined Networks.
NSDI
Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi
2014 J jnl
Typed-based verification of Web sandboxes.
J. Comput. Secur.
Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
2013 — conf
A balance of power: expressive, analyzable controller programming.
HotSDN
Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2013 A* conf
Aluminum: principled scenario exploration through minimality.
ICSE
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2013 J jnl
Artifact evaluation for software conferences.
ACM SIGPLAN Notices
Shriram Krishnamurthi
2013 J jnl
Artifact evaluation for software conferences.
ACM SIGSOFT Softw. Eng. Notes
Shriram Krishnamurthi
2013 A conf
Combining Form and Function: Static Types for JQuery Programs.
ECOOP
Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi
2013 A* conf
From principles to programming languages (and back).
POPL
Shriram Krishnamurthi
2013 A* conf
Participatory networking: an API for application control of SDNs.
SIGCOMM
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi
2013 A conf
Python: the full monty.
OOPSLA
Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi
2013 — conf
Should software conferences respect software?
SPLASH (Companion Volume)
Shriram Krishnamurthi, James Noble, Jan Vitek
2013 C conf
TeJaS: retrofitting type systems for JavaScript.
DLS
Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
2013 A conf
Teaching garbage collection without implementing compiler or interpreters.
SIGCSE
Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler
2013 — conf
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems.
Onward!
Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, Shriram Krishnamurthi
2013 A conf
Verifying Web Browser Extensions' Compliance with Private-Browsing Mode.
ESORICS
Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi
2013 C conf
Whalesong: running racket in the browser.
DLS
Danny Yoo, Shriram Krishnamurthi
2012 C conf
A tested semantics for getters, setters, and eval in JavaScript.
DLS
Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi
2012 — conf
Features and object capabilities: reconciling two visions of modularity.
AOSD
Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi
2012 J jnl
Foundations for Scripting Languages (Dagstuhl Seminar 12011).
Dagstuhl Reports
Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek
2012 — conf
Hierarchical policies for software defined networks.
HotSDN@SIGCOMM
Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi
2012 — conf
Modeling and Reasoning about DOM Events.
WebApps
Benjamin S. Lerner, Matthew J. Carroll, Dan P. Kimmel, Hannah Quay-de la Vallee, Shriram Krishnamurthi
2012 — conf
Participatory Networking.
Hot-ICE
Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi
2012 — conf
Progressive types.
Onward!
Joe Gibbs Politz, Hannah Quay-de la Vallee, Shriram Krishnamurthi
2012 B conf
Semantics and Analyses for JavaScript and the Web.
SAS
Shriram Krishnamurthi
2012 C conf
Toward a More Complete Alloy.
ABZ
Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2011 A* conf
ADsafety: Type-Based Verification of JavaScript Sandboxing.
USENIX Security Symposium
Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
2011 A conf
Do values grow on trees?: expression integrity in functional programming.
ICER
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi
2011 A conf
Measuring the effectiveness of error messages designed for novice programmers.
SIGCSE
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi
2011 — conf
Mind your language: on novices' interactions with error messages.
Onward!
Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi
2011 A* conf
Oops, I did it again: mitigating repeated access control errors on facebook.
CHI
Serge Egelman, Andrew Oates, Shriram Krishnamurthi
2011 A conf
Typing Local Control and State Using Flow Analysis.
ESOP
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
2011 B conf
WeScheme: the browser is your programming environment.
ITiCSE
Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler
2010 C conf
A model of triangulating environments for policy authoring.
SACMAT
Kathi Fisler, Shriram Krishnamurthi
2010 — conf
Embracing policy engineering.
FoSER
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty
2010 — conf
Minding the (semantic) gap: engineering programming language theory.
FoSER
Arjun Guha, Shriram Krishnamurthi
2010 — conf
Please Continue to Hold: An Empirical Study on User Tolerance of Security Delays.
WEIS
Serge Egelman, David Molnar, Nicolas Christin, Alessandro Acquisti, Cormac Herley, Shriram Krishnamurthi
2010 A conf
The Essence of JavaScript.
ECOOP
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
2010 — conf
The Margrave Tool for Firewall Analysis.
LISA
Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2009 A conf
A functional I/O system or, fun for freshman kids.
ICFP
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2009 A conf
Escape from the matrix: lessons from a case-study in access-control requirements.
SOUPS
Kathi Fisler, Shriram Krishnamurthi
2009 A conf
Flapjax: a programming language for Ajax applications.
OOPSLA
Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi
2009 A conf
Preference aggregation in group recommender systems for committee decision-making.
RecSys
Jacob P. Baskin, Shriram Krishnamurthi
2009 B conf
Towards an Operational Semantics for Alloy.
FM
Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2009 — conf
Trusted Multiplexing of Cryptographic Protocols.
Formal Aspects in Security and Trust
Jay A. McCarthy, Shriram Krishnamurthi
2009 A* conf
Using static analysis for Ajax intrusion detection.
WWW
Arjun Guha, Shriram Krishnamurthi, Trevor Jim
2009 J jnl
Viewpoint - Why computer science doesn't matter.
Commun. ACM
Matthias Felleisen, Shriram Krishnamurthi
2008 — conf
Alchemy: transmuting base alloy specifications into implementations.
SIGSOFT FSE
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo
2008 A conf
Cryptographic Protocol Explication and End-Point Projection.
ESORICS
Jay A. McCarthy, Shriram Krishnamurthi
2008 — conf
Minimal backups of cryptographic protocol runs.
FMSE
Jay A. McCarthy, Shriram Krishnamurthi
2008 — ed.
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008
PASTE
Shriram Krishnamurthi, Michal Young
2008 J jnl
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
ACM SIGPLAN Notices
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
2008 J jnl
Teaching programming languages in a post-linnaean age.
ACM SIGPLAN Notices
Shriram Krishnamurthi
2007 B ed.
Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings
CC
Shriram Krishnamurthi, Martin Odersky
2007 A* conf
Compiling cryptographic protocols for deployment on the web.
WWW
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
2007 J jnl
Foundations of incremental aspect model-checking.
ACM Trans. Softw. Eng. Methodol.
Shriram Krishnamurthi, Kathi Fisler
2007 J jnl
Implementation and use of the PLT scheme Web server.
High. Order Symb. Comput.
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen
2007 C conf
Lowering: a static optimization technique for transparent functional reactivity.
PEPM
Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi
2007 A conf
Obligations and Their Interaction with Programs.
ESORICS
Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2007 C conf
Relationally-parametric polymorphic contracts.
DLS
Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi
2007 J jnl
The design and implementation of a dataflow language for scriptable debugging.
Autom. Softw. Eng.
Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss
2006 — conf
Abstract shade trees.
SI3D
Morgan McGuire, George Stathis, Hanspeter Pfister, Shriram Krishnamurthi
2006 Misc conf
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages.
FLOPS
Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi
2006 J jnl
Educational Pearl: Automata via macros.
J. Funct. Program.
Shriram Krishnamurthi
2006 A conf
Embedding Dynamic Dataflow in a Call-by-Value Language.
ESOP
Gregory H. Cooper, Shriram Krishnamurthi
2006 J jnl
Semantics and scoping of aspects in higher-order languages.
Sci. Comput. Program.
Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi
2006 A conf
Specifying and Reasoning About Dynamic Access-Control Policies.
IJCAR
Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
2006 C conf
Towards reasonability properties for access-control policy languages.
SACMAT
Michael Carl Tschantz, Shriram Krishnamurthi
2005 A conf
Continuations from generalized stack inspection.
ICFP
Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen
2005 — conf
Decomposing Verification Around End-User Features.
VSTTE
Kathi Fisler, Shriram Krishnamurthi
2005 J jnl
Discussion summary: characteristics of web services and their impact on testing, analysis and verification.
ACM SIGSOFT Softw. Eng. Notes
Shriram Krishnamurthi, Tevfik Bultan
2005 J jnl
Modular Verification of Open Features Using Three-Valued Model Checking.
Autom. Softw. Eng.
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
2005 A* conf
Verification and change-impact analysis of access-control policies.
ICSE
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz
2005 — conf
Web Verification: Perspective and Challenges.
WWV
Shriram Krishnamurthi
2005 — conf
Web Verification: Perspective and Challenges.
WWV
Shriram Krishnamurthi
2004 J jnl
Automatically Restructuring Programs for the Web.
Autom. Softw. Eng.
Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen
2004 A* conf
Dataflow Language for Scriptable Debugging.
ASE
Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss
2004 A* conf
Parameterized Interfaces for Open System Verification of Product Lines.
ASE
Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
2004 J jnl
The TeachScheme! Project: Computing and Programming for Every Student.
Comput. Sci. Educ.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2004 J jnl
The structure and interpretation of the computer science curriculum.
J. Funct. Program.
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
2004 A* conf
Validating the Unit Correctness of Spreadsheet Programs.
ICSE
Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen
2004 A* conf
Verifying Interactive Web Programs.
ASE
Daniel R. Licata, Shriram Krishnamurthi
2004 — conf
Verifying aspect advice modularly.
SIGSOFT FSE
Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
2003 A* conf
A Type System for Statically Detecting Spreadsheet Errors.
ASE
Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi
2003 — conf
Automated Fault Localization Using Potential Invariants
AADEBUG
Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss
2003 A* conf
CLIME: An Environment for Constrained Evolution Demonstration Description.
ICSE
Steven P. Reiss, Christina M. Kennedy, Tom Wooldridge, Shriram Krishnamurthi
2003 A conf
Modeling Web Interactions.
ESOP
Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
2003 — conf
Pointcuts and advice in higher-order languages.
AOSD
David B. Tucker, Shriram Krishnamurthi
2003 — book
Programming languages - application and interpretation.
Shriram Krishnamurthi
2003 C conf
SXSLT: Manipulation Language for XML.
PADL
Oleg Kiselyov, Shriram Krishnamurthi
2003 C conf
The CONTINUE Server (or, How I Administered PADL 2002 and 2003).
PADL
Shriram Krishnamurthi
2003 A* conf
The Feature Signatures of Evolving Programs.
ASE
Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi
2002 A* conf
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs.
ICSE
Paul T. Graunke, Shriram Krishnamurthi
2002 J jnl
DrScheme: a programming environment for Scheme.
J. Funct. Program.
Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
2002 J jnl
How to design programs: a new look at introductory computing.
J. Comput. Sci. Coll.
Shriram Krishnamurthi
2002 A* conf
Interfaces for Modular Feature Verification.
ASE
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
2002 C ed.
Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings
PADL
Shriram Krishnamurthi, C. R. Ramakrishnan
2002 A conf
Programming Languages for Compressing Graphics.
ESOP
Morgan McGuire, Shriram Krishnamurthi, John F. Hughes
2002 — conf
The Influence of Software Module Systems on Modular Verification.
SPIN
Harry C. Li, Kathi Fisler, Shriram Krishnamurthi
2002 — conf
Verifying cross-cutting features as open systems.
SIGSOFT FSE
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
2001 A* conf
Automatically Restructuring Programs for the We.
ASE
Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
2001 — conf
Modular verification of collaboration-based software designs.
ESEC / SIGSOFT FSE
Kathi Fisler, Shriram Krishnamurthi
2001 A conf
Programming the Web with High-Level Programming Languages.
ESOP
Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen
2000 C conf
Transformation-by-Example for XML.
PADL
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke
1999 — conf
A Programmer's Reduction Semantics for Classes and Mixins.
Formal Syntax and Semantics of Java
Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
1999 A conf
Expressing Structural Properties as Language Constructs.
ESOP
Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen
1999 — conf
From Macros to Reusable Generative Programming.
GCSE
Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba
1999 A conf
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine).
ICFP
Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
1998 A* conf
Classes and Mixins.
POPL
Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
1998 A conf
Synthesizing Object-Oriented and Functional Design to Promote Re-Use.
ECOOP
Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman
1998 J jnl
The DrScheme Project: An Overview.
ACM SIGPLAN Notices
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
1998 — conf
Toward a Formal Theory of Extensible Software.
SIGSOFT FSE
Shriram Krishnamurthi, Matthias Felleisen
1997 — conf
DrScheme: A Pedagogic Programming Environment for Scheme.
PLILP
Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
1996 A* conf
Static Debugging: Browsing the Web of Program Invariants.
PLDI
Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
1994 J jnl
An introduction to Scheme.
XRDS
Shriram Krishnamurthi