default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShriram Krishnamurthi
Person information
- affiliation: Brown University, Computer Science Department, Providence, RI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j43]Paul Biberstein, Thomas Castleman, Luming Chen, Shriram Krishnamurthi:
Functional Data Science for Secondary-School Students. Informatics Educ. 23(4): 723-734 (2024)- [j42]Will Crichton
, Shriram Krishnamurthi:
Profiling Programming Language Learning. Proc. ACM Program. Lang. 8(OOPSLA1): 29-54 (2024) - [j41]Kuang-Chen Lu, Shriram Krishnamurthi:
Identifying and Correcting Programming Language Behavior Misconceptions. Proc. ACM Program. Lang. 8(OOPSLA1): 334-361 (2024) - [j40]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): 613-641 (2024) - [j39]Will Crichton, Shriram Krishnamurthi:
A Core Calculus for Documents: Or, Lambda: The Ultimate Document. Proc. ACM Program. Lang. 8(POPL): 667-694 (2024) - [j38]Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi:
Conceptual Mutation Testing for Student Programming Misconceptions. Art Sci. Eng. Program. 8(2) (2024) - [j37]Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah:
Privacy-Respecting Type Error Telemetry at Scale. Art Sci. Eng. Program. 8(3) (2024) - [c150]Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte:
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. FM (1) 2024: 579-599 - [c149]Elijah Rivera, Alexander Steinmaurer, Kathi Fisler, Shriram Krishnamurthi:
Iterative Student Program Planning using Transformer-Driven Feedback. ITiCSE (1) 2024 - [c148]Elijah Rivera, Kathi Fisler, Shriram Krishnamurthi:
Observations on the Design of Program Planning Notations for Students. SIGCSE (1) 2024: 1133-1139 - [d16]Will Crichton, Shriram Krishnamurthi:
Artifact for "Profiling Programming Language Learning". Version v1.0.0. Zenodo, 2024 [all versions]
- [i28]Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi:
Conceptual Mutation Testing for Student Programming Misconceptions. CoRR abs/2401.00021 (2024) - [i27]Will Crichton, Shriram Krishnamurthi:
Profiling Programming Language Learning. CoRR abs/2401.01257 (2024) - [i26]Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah:
Privacy-Respecting Type Error Telemetry at Scale. CoRR abs/2403.02409 (2024) - [i25]Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi:
Grounded Language Design for Lightweight Diagramming for Formal Methods. CoRR abs/2412.03310 (2024) - 2023
- [j36]Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu:
What Happens When Students Switch (Functional) Languages (Experience Report). Proc. ACM Program. Lang. 7(ICFP): 796-812 (2023) - [j35]Will Crichton, Gavin Gray, Shriram Krishnamurthi:
A Grounded Conceptual Model for Ownership Types in Rust. Proc. ACM Program. Lang. 7(OOPSLA2): 1224-1252 (2023) - [j34]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): 2 (2023) - [j33]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Little Tricky Logic: Misconceptions in the Understanding of LTL. Art Sci. Eng. Program. 7(2) (2023) - [c147]Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi:
Generating Programs Trivially: Student Use of Large Language Models. CompEd (1) 2023: 126-132 - [d15]Will Crichton, Gavin Gray, Shriram Krishnamurthi:
Artifact for "A Grounded Conceptual Model for Ownership Types in Rust". Version v0.1.0. Zenodo, 2023 [all versions] - [d14]Will Crichton, Gavin Gray, Shriram Krishnamurthi:
Artifact for "A Grounded Conceptual Model for Ownership Types in Rust". Version v0.1.1. Zenodo, 2023 [all versions] - [d13]Will Crichton, Gavin Gray, Shriram Krishnamurthi:
Artifact for "A Grounded Conceptual Model for Ownership Types in Rust". Version v0.1.2. Zenodo, 2023 [all versions] - [d12]Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah:
Artifact: Privacy-Respecting Type Error Telemetry at Scale. Version 0.1. Zenodo, 2023 [all versions] - [d11]Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah:
Artifact: Privacy-Respecting Type Error Telemetry at Scale. Version 0.2. Zenodo, 2023 [all versions] - [d10]Will Crichton, Shriram Krishnamurthi:
Artifact for "Profiling Programming Language Learning: A Case Study on The Rust Programming Language". Version v0.1.0. Zenodo, 2023 [all versions] - [d9]Ben Greenman, Alan Jeffrey, Shriram Krishnamurthi, Mitesh Shah:
Accepted Artifact for Privacy-Respecting Type Error Telemetry at Scale. Version 0.3. Zenodo, 2023 [all versions] - [i24]John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi:
Dependently Typing R Vectors, Arrays, and Matrices. CoRR abs/2304.04265 (2023) - [i23]Will Crichton, Gavin Gray, Shriram Krishnamurthi:
A Grounded Conceptual Model for Ownership Types in Rust. CoRR abs/2309.04134 (2023) - [i22]Will Crichton, Shriram Krishnamurthi:
A Core Calculus for Documents. CoRR abs/2310.04368 (2023) - 2022
- [j32]Jeremy Gibbons, Shriram Krishnamurthi:
Editorial. J. Funct. Program. 32: e1 (2022) - [j31]Elijah Rivera, Shriram Krishnamurthi:
Structural versus pipeline composition of higher-order functions (experience report). Proc. ACM Program. Lang. 6(ICFP): 343-356 (2022) - [j30]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(OOPSLA1): 1-29 (2022) - [j29]Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi:
Types for Tables: A Language Design Benchmark. Art Sci. Eng. Program. 6(2): 8 (2022) - [j28]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): 10 (2022) - [c146]Elijah Rivera, Shriram Krishnamurthi, Robert L. Goldstone:
Plan Composition Using Higher-Order Functions. ICER (1) 2022: 84-104 - [c145]John Clements, Shriram Krishnamurthi:
Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up. ICER (1) 2022: 206-222 - [c144]Shriram Krishnamurthi, Anika Bahl, Benjamin Lee, Steven A. Sloman:
Problematic and Persistent Post-Secondary Program Performance Preconceptions. Koli Calling 2022: 1:1-1:6 - [c143]Siddhartha Prasad, Ben Greenman, Tim Nelson, John Wrenn, Shriram Krishnamurthi:
Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. Koli Calling 2022: 2:1-2:7 - [c142]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: 22-28 - [d8]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. Version v0.1. Zenodo, 2022 [all versions] - [d7]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. Version v0.2. Zenodo, 2022 [all versions] - [d6]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. Version v0.3. Zenodo, 2022 [all versions] - [d5]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. Version v1.0. Zenodo, 2022 [all versions] - [d4]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. Version v1.1. Zenodo, 2022 [all versions] - [d3]Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi:
Accepted Artifact for Gradual Soundness: Lessons from Static Python. Zenodo, 2022 - [i21]Kuang-Chen Lu, Ben Greenman, Carl Meyer, Dino Viehland, Aniket Panse, Shriram Krishnamurthi:
Gradual Soundness: Lessons from Static Python. CoRR abs/2206.13831 (2022) - [i20]Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi:
Little Tricky Logic: Misconceptions in the Understanding of LTL. CoRR abs/2211.01677 (2022) - [i19]Neil Brown, Mark J. Guzdial, Shriram Krishnamurthi, Jens Mönig:
Educational Programming Languages and Systems (Dagstuhl Seminar 22302). Dagstuhl Reports 12(7): 205-236 (2022) - 2021
- [j27]Shriram Krishnamurthi:
What is an education paper? J. Funct. Program. 31: e16 (2021) - [j26]John Wrenn, Tim Nelson, Shriram Krishnamurthi:
Using Relational Problems to Teach Property-Based Testing. Art Sci. Eng. Program. 5(2): 9 (2021) - [c141]Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi:
Prototyping Formal Methods Tools: A Protocol Analysis Case Study. Protocols, Strands, and Logic 2021: 394-413 - [c140]Mary Rose Martinez, Shriram Krishnamurthi:
Vision: Computing and Authentication Practicesin Global Oil and Gas Fields. EuroUSEC 2021: 118-123 - [c139]Nick Young, Shriram Krishnamurthi:
Early Post-Secondary Student Performance of Adversarial Thinking. ICER 2021: 213-224 - [c138]Shriram Krishnamurthi, Kathi Fisler:
Developing Behavioral Concepts of Higher-Order Functions. ICER 2021: 306-318 - [c137]Jack Wrenn, Shriram Krishnamurthi:
Reading Between the Lines: Student Help-Seeking for (Un)Specified Behaviors. Koli Calling 2021: 14:1-14:6 - [c136]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: 59-65 - [d2]Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi:
B2T2: Brown Benchmark for Table Types version 0.2. Zenodo, 2021 - [d1]Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi:
B2T2: Brown Benchmark for Table Types version 1.0. Zenodo, 2021 - [i18]Mary Rose Martinez, Shriram Krishnamurthi:
Computing and Authentication Practices in Global Oil and Gas Fields. CoRR abs/2108.02660 (2021) - [i17]Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi:
Types for Tables: A Language Design Benchmark. CoRR abs/2111.10412 (2021) - [i16]Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi:
Automated, Targeted Testing of Property-Based Testing Predicates. CoRR abs/2111.10414 (2021) - 2020
- [j25]Shriram Krishnamurthi, Kathi Fisler:
Data-centricity: a challenge and opportunity for computing education. Commun. ACM 63(8): 24-26 (2020) - [c135]Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson:
Solver-Aided Multi-Party Configuration. HotNets 2020: 103-109 - [c134]Xingjian Lance Gu, Max A. Heller, Stella Li, Yanyan Ren, Kathi Fisler, Shriram Krishnamurthi:
Using Design Alternatives to Learn About Data Organizations. ICER 2020: 248-258 - [c133]Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi:
Adapting Student IDEs for Blind Programmers. Koli Calling 2020: 23:1-23:5 - [c132]John Wrenn, Shriram Krishnamurthi:
Will Students Write Tests Early Without Coercion?✱. Koli Calling 2020: 27:1-27:5 - [i15]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 abs/2005.01794 (2020) - [i14]John Wrenn, Tim Nelson, Shriram Krishnamurthi:
Using Relational Problems to Teach Property-Based Testing. CoRR abs/2010.16305 (2020)
2010 – 2019
- 2019
- [j24]Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler:
What does it mean for a computing curriculum to succeed? Commun. ACM 62(5): 30-32 (2019) - [j23]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): 11 (2019) - [c131]Shriram Krishnamurthi, Tim Nelson:
The Human in Formal Methods. FM 2019: 3-10 - [c130]Yanyan Ren, Shriram Krishnamurthi, Kathi Fisler:
What Help Do Students Seek in TA Office Hours? ICER 2019: 41-49 - [c129]John Wrenn, Shriram Krishnamurthi:
Executable Examples for Programming Problem Comprehension. ICER 2019: 131-139 - [c128]Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi:
Synthesizing Mutable Configurations: Setting up Systems for Success. ASE Workshops 2019: 81-85 - [c127]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: 606-612 - [c126]Emmanuel Schanzer, Sina Bahram, Shriram Krishnamurthi:
Accessible AST-Based Programming for Visually-Impaired Programmers. SIGCSE 2019: 773-779 - [c125]Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi:
From Macros to DSLs: The Evolution of Racket. SNAPL 2019: 5:1-5:19 - [c124]Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty:
The Next 700 Semantics: A Research Challenge. SNAPL 2019: 9:1-9:14 - [e8]Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. LIPIcs 136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-113-9 [contents] - [i13]Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi:
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. CoRR abs/1902.00735 (2019) - [i12]Mark Guzdial, Shriram Krishnamurthi, Juha Sorva, Jan Vahrenhold:
Notional Machines and Programming Language Semantics in Education (Dagstuhl Seminar 19281). Dagstuhl Reports 9(7): 1-23 (2019) - 2018
- [j22]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): 62-71 (2018) - [c123]Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi:
The behavior of gradual types: a user study. DLS 2018: 1-12 - [c122]Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi:
CompoSAT: Specification-Guided Coverage for Model Finding. FM 2018: 568-587 - [c121]John Wrenn, Shriram Krishnamurthi, Kathi Fisler:
Who Tests the Testers? ICER 2018: 51-59 - [c120]Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha:
Putting in all the stops: execution control for JavaScript. PLDI 2018: 30-45 - [c119]Justin Pombrio, Shriram Krishnamurthi:
Inferring type rules for syntactic sugar. PLDI 2018: 812-825 - [c118]Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi:
Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems. SIGCSE 2018: 8-13 - [c117]Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler:
Creativity, Customization, and Ownership: Game Design in Bootstrap: Algebra. SIGCSE 2018: 161-166 - [c116]Preston Tunnell Wilson, Kathi Fisler, Shriram Krishnamurthi:
Evaluating the Tracing of Recursion in the Substitution Notional Machine. SIGCSE 2018: 1023-1028 - [c115]Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner:
From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). SIGCSE 2018: 1058 - [i11]Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha:
Putting in All the Stops: Execution Control for JavaScript. CoRR abs/1802.02974 (2018) - 2017
- [j21]Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand:
Inferring scope through syntactic sugar. Proc. ACM Program. Lang. 1(ICFP): 44:1-44:28 (2017) - [c114]Francisco Enrique Vicente Castro, Shriram Krishnamurthi, Kathi Fisler:
The impact of a single lecture on program plans in first-year CS. Koli Calling 2017: 118-122 - [c113]Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi:
Can we crowdsource language design? Onward! 2017: 1-17 - [c112]John Wrenn, Shriram Krishnamurthi:
Error messages are classifiers: a process to design and evaluate error messages. Onward! 2017: 134-147 - [c111]Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty:
User Studies of Principled Model Finder Output. SEFM 2017: 168-184 - [c110]Kathi Fisler, Shriram Krishnamurthi, Preston Tunnell Wilson:
Assessing and Teaching Scope, Mutation, and Aliasing in Upper-Level Undergraduates. SIGCSE 2017: 213-218 - [c109]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: 106-116 - [c108]Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler:
Teaching Programming Languages by Experimental and Adversarial Thinking. SNAPL 2017: 13:1-13:9 - [e7]Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA. LIPIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-032-3 [contents] - 2016
- [c107]Hannah Quay-de la Vallee, Paige Selby, Shriram Krishnamurthi:
On a (Per)Mission: Building Privacy Into the App Marketplace. SPSM@CCS 2016: 63-72 - [c106]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: 99-105 - [c105]Kathi Fisler, Shriram Krishnamurthi, Janet Siegmund:
Modernizing Plan-Composition Studies. SIGCSE 2016: 211-216 - [c104]Joe Gibbs Politz, Joseph M. Collard, Arjun Guha, Kathi Fisler, Shriram Krishnamurthi:
The Sweep: Essential Examples for In-Flow Peer Review. SIGCSE 2016: 243-248 - [e6]Shriram Krishnamurthi, Benjamin S. Lerner:
30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. LIPIcs 56, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-014-9 [contents] - [i10]Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi:
Compiling Stateful Network Properties for Runtime Verification. CoRR abs/1607.03385 (2016) - [i9]Camil Demetrescu, Sebastian Erdweg, Matthew A. Hammer, Shriram Krishnamurthi:
Programming Language Techniques for Incremental and Reactive Computing (Dagstuhl Seminar 16402). Dagstuhl Reports 6(10): 1-12 (2016) - 2015
- [j20]Shriram Krishnamurthi, Jan Vitek:
The real software crisis: repeatability as a core value. Commun. ACM 58(3): 34-36 (2015) - [c103]Shriram Krishnamurthi:
Tierless Programming and Reasoning for Networks. PLAS@ECOOP 2015: 42 - [c102]Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi:
Static Differential Program Analysis for Software-Defined Networks. FM 2015: 395-413 - [c101]Justin Pombrio, Shriram Krishnamurthi:
Hygienic resugaring of compositional desugaring. ICFP 2015: 75-87 - [c100]Jeff Rasley, Eleni Gessiou, Tony Ohmann, Yuriy Brun, Shriram Krishnamurthi, Justin Cappos:
Detecting latent cross-platform API violations. ISSRE 2015: 484-495 - [c99]Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi:
Slimming languages by reducing sugar: a case for semantics-altering transformations. Onward! 2015: 90-106 - [c98]Shriram Krishnamurthi:
Desugaring in Practice: Opportunities and Challenges. PEPM 2015: 1-2 - [c97]Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen:
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap. SIGCSE 2015: 616-621 - [c96]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt:
The Racket Manifesto. SNAPL 2015: 113-128 - [c95]Tim Nelson, Andrew D. Ferguson, Da Yu, Rodrigo Fonseca, Shriram Krishnamurthi:
Exodus: toward automatic migration of enterprise network configurations to SDNs. SOSR 2015: 13:1-13:7 - [c94]Tim Nelson, Da Yu, Yiming Li, Rodrigo Fonseca, Shriram Krishnamurthi:
Simon: scriptable interactive monitoring for SDNs. SOSR 2015: 19:1-19:7 - [e5]Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett:
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA. LIPIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-80-4 [contents] - [i8]Shriram Krishnamurthi:
The story of Arjun Guha, or: the arc of a research project. PLMW@POPL 2015: 7:1 - [i7]Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi:
ADsafety: Type-Based Verification of JavaScript Sandboxing. CoRR abs/1506.07813 (2015) - [i6]Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi:
The Essence of JavaScript. CoRR abs/1510.00925 (2015) - [i5]Amy J. Ko, Shriram Krishnamurthi, Gail C. Murphy, Janet Siegmund:
Human-Centric Development of Software Tools (Dagstuhl Seminar 15222). Dagstuhl Reports 5(5): 115-132 (2015) - [i4]Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, Andreas Zeller:
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452). Dagstuhl Reports 5(11): 29-35 (2015) - 2014
- [j19]Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi:
Typed-based verification of Web sandboxes. J. Comput. Secur. 22(4): 511-565 (2014) - [c93]Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler:
In-flow peer-review of tests in test-first programming. ICER 2014: 11-18 - [c92]Dave Clarke, Tony Clear, Kathi Fisler, Matthias Hauswirth, Shriram Krishnamurthi, Joe Gibbs Politz, Ville Tirronen, Tobias Wrigstad:
In-Flow Peer Review. ITiCSE-WGR 2014: 59-79 - [c91]Joe Gibbs Politz, Daniel Patterson, Shriram Krishnamurthi, Kathi Fisler:
CaptainTeach: multi-stage, in-flow peer review for programming assignments. ITiCSE 2014: 267-272 - [c90]Joe Gibbs Politz, Shriram Krishnamurthi, Kathi Fisler:
CaptainTeach: a platform for in-flow peer review of programming assignments. ITiCSE 2014: 332 - [c89]Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi:
Tierless Programming and Reasoning for Software-Defined Networks. NSDI 2014: 519-531 - [c88]Justin Pombrio, Shriram Krishnamurthi:
Resugaring: lifting evaluation sequences through syntactic sugar. PLDI 2014: 361-371 - [e4]Andrew P. Black, Shriram Krishnamurthi, Bernd Bruegge, Joseph N. Ruskiewicz:
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. ACM 2014, ISBN 978-1-4503-3210-1 [contents] - [i3]Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann:
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). Dagstuhl Reports 4(6): 84-107 (2014) - 2013
- [j18]Shriram Krishnamurthi:
Artifact evaluation for software conferences. ACM SIGPLAN Notices 48(4S): 17-21 (2013) - [j17]Shriram Krishnamurthi:
Artifact evaluation for software conferences. ACM SIGSOFT Softw. Eng. Notes 38(3): 7-10 (2013) - [c87]Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi:
TeJaS: retrofitting type systems for JavaScript. DLS 2013: 1-16 - [c86]Danny Yoo, Shriram Krishnamurthi:
Whalesong: running racket in the browser. DLS 2013: 97-108 - [c85]Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi:
Combining Form and Function: Static Types for JQuery Programs. ECOOP 2013: 79-103 - [c84]Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi:
Verifying Web Browser Extensions' Compliance with Private-Browsing Mode. ESORICS 2013: 57-74 - [c83]Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Aluminum: principled scenario exploration through minimality. ICSE 2013: 232-241 - [c82]Hannah Quay-de la Vallee, James M. Walsh, William Zimrin, Kathi Fisler, Shriram Krishnamurthi:
Usable security as a static-analysis problem: modeling and reasoning about user permissions in social-sharing systems. Onward! 2013: 1-16 - [c81]Shriram Krishnamurthi, James Noble, Jan Vitek:
Should software conferences respect software? SPLASH (Companion Volume) 2013: 71-72 - [c80]Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi:
Python: the full monty. OOPSLA 2013: 217-232 - [c79]Shriram Krishnamurthi:
From principles to programming languages (and back). POPL 2013: 233-234 - [c78]Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
A balance of power: expressive, analyzable controller programming. HotSDN 2013: 79-84 - [c77]Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi:
Participatory networking: an API for application control of SDNs. SIGCOMM 2013: 327-338 - [c76]Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler:
Teaching garbage collection without implementing compiler or interpreters. SIGCSE 2013: 385-390 - 2012
- [c75]Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi:
Features and object capabilities: reconciling two visions of modularity. AOSD 2012: 25-34 - [c74]Timothy Nelson, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Toward a More Complete Alloy. ABZ 2012: 136-149 - [c73]Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi:
A tested semantics for getters, setters, and eval in JavaScript. DLS 2012: 1-16 - [c72]Andrew D. Ferguson, Arjun Guha, Jordan Place, Rodrigo Fonseca, Shriram Krishnamurthi:
Participatory Networking. Hot-ICE 2012 - [c71]Joe Gibbs Politz, Hannah Quay-de la Vallee, Shriram Krishnamurthi:
Progressive types. Onward! 2012: 55-66 - [c70]Shriram Krishnamurthi:
Semantics and Analyses for JavaScript and the Web. SAS 2012: 4 - [c69]Andrew D. Ferguson, Arjun Guha, Chen Liang, Rodrigo Fonseca, Shriram Krishnamurthi:
Hierarchical policies for software defined networks. HotSDN@SIGCOMM 2012: 37-42 - [c68]Benjamin S. Lerner, Matthew J. Carroll, Dan P. Kimmel, Hannah Quay-de la Vallee, Shriram Krishnamurthi:
Modeling and Reasoning about DOM Events. WebApps 2012: 1-12 - [i2]Robert Hirschfeld, Shriram Krishnamurthi, Jan Vitek:
Foundations for Scripting Languages (Dagstuhl Seminar 12011). Dagstuhl Reports 2(1): 1-18 (2012) - 2011
- [c67]Serge Egelman, Andrew Oates, Shriram Krishnamurthi:
Oops, I did it again: mitigating repeated access control errors on facebook. CHI 2011: 2295-2304 - [c66]Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi:
Typing Local Control and State Using Flow Analysis. ESOP 2011: 256-275 - [c65]Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi:
Do values grow on trees?: expression integrity in functional programming. ICER 2011: 39-44 - [c64]Danny Yoo, Emmanuel Schanzer, Shriram Krishnamurthi, Kathi Fisler:
WeScheme: the browser is your programming environment. ITiCSE 2011: 163-167 - [c63]Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi:
Mind your language: on novices' interactions with error messages. Onward! 2011: 3-18 - [c62]Guillaume Marceau, Kathi Fisler, Shriram Krishnamurthi:
Measuring the effectiveness of error messages designed for novice programmers. SIGCSE 2011: 499-504 - [c61]Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi:
ADsafety: Type-Based Verification of JavaScript Sandboxing. USENIX Security Symposium 2011 - 2010
- [c60]Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi:
The Essence of JavaScript. ECOOP 2010: 126-150 - [c59]Timothy Nelson, Christopher Barratt, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
The Margrave Tool for Firewall Analysis. LISA 2010 - [c58]Kathi Fisler, Shriram Krishnamurthi:
A model of triangulating environments for policy authoring. SACMAT 2010: 3-12 - [c57]Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dougherty:
Embracing policy engineering. FoSER 2010: 109-110 - [c56]Arjun Guha, Shriram Krishnamurthi:
Minding the (semantic) gap: engineering programming language theory. FoSER 2010: 155-156 - [c55]Serge Egelman, David Molnar, Nicolas Christin, Alessandro Acquisti, Cormac Herley, Shriram Krishnamurthi:
Please Continue to Hold: An Empirical Study on User Tolerance of Security Delays. WEIS 2010
2000 – 2009
- 2009
- [j16]Matthias Felleisen, Shriram Krishnamurthi:
Viewpoint - Why computer science doesn't matter. Commun. ACM 52(7): 37-40 (2009) - [c54]Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Towards an Operational Semantics for Alloy. FM 2009: 483-498 - [c53]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58 - [c52]Jay A. McCarthy, Shriram Krishnamurthi:
Trusted Multiplexing of Cryptographic Protocols. Formal Aspects in Security and Trust 2009: 217-232 - [c51]Leo A. Meyerovich, Arjun Guha, Jacob P. Baskin, Gregory H. Cooper, Michael Greenberg, Aleks Bromfield, Shriram Krishnamurthi:
Flapjax: a programming language for Ajax applications. OOPSLA 2009: 1-20 - [c50]Jacob P. Baskin, Shriram Krishnamurthi:
Preference aggregation in group recommender systems for committee decision-making. RecSys 2009: 337-340 - [c49]Kathi Fisler, Shriram Krishnamurthi:
Escape from the matrix: lessons from a case-study in access-control requirements. SOUPS 2009 - [c48]Arjun Guha, Shriram Krishnamurthi, Trevor Jim:
Using static analysis for Ajax intrusion detection. WWW 2009: 561-570 - 2008
- [j15]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:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices 43(11): 6-29 (2008) - [j14]Shriram Krishnamurthi:
Teaching programming languages in a post-linnaean age. ACM SIGPLAN Notices 43(11): 81-83 (2008) - [c47]Jay A. McCarthy, Shriram Krishnamurthi:
Minimal backups of cryptographic protocol runs. FMSE 2008: 11-20 - [c46]Jay A. McCarthy, Shriram Krishnamurthi:
Cryptographic Protocol Explication and End-Point Projection. ESORICS 2008: 533-547 - [c45]Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo:
Alchemy: transmuting base alloy specifications into implementations. SIGSOFT FSE 2008: 158-169 - [e3]Shriram Krishnamurthi, Michal Young:
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008. ACM 2008, ISBN 978-1-60558-382-2 [contents] - 2007
- [j13]Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss:
The design and implementation of a dataflow language for scriptable debugging. Autom. Softw. Eng. 14(1): 59-86 (2007) - [j12]Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen:
Implementation and use of the PLT scheme Web server. High. Order Symb. Comput. 20(4): 431-460 (2007) - [j11]Shriram Krishnamurthi, Kathi Fisler:
Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol. 16(2): 7 (2007) - [c44]Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi:
Relationally-parametric polymorphic contracts. DLS 2007: 29-40 - [c43]Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Obligations and Their Interaction with Programs. ESORICS 2007: 375-389 - [c42]Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi:
Lowering: a static optimization technique for transparent functional reactivity. PEPM 2007: 71-80 - [c41]Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell:
Compiling cryptographic protocols for deployment on the web. WWW 2007: 687-696 - [e2]Shriram Krishnamurthi, Martin Odersky:
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. Lecture Notes in Computer Science 4420, Springer 2007, ISBN 978-3-540-71228-2 [contents] - 2006
- [j10]Shriram Krishnamurthi:
Educational Pearl: Automata via macros. J. Funct. Program. 16(3): 253-267 (2006) - [j9]Christopher Dutchyn, David B. Tucker, Shriram Krishnamurthi:
Semantics and scoping of aspects in higher-order languages. Sci. Comput. Program. 63(3): 207-239 (2006) - [c40]Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi:
Specifying and Reasoning About Dynamic Access-Control Policies. IJCAR 2006: 632-646 - [c39]Gregory H. Cooper, Shriram Krishnamurthi:
Embedding Dynamic Dataflow in a Call-by-Value Language. ESOP 2006: 294-308 - [c38]Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi:
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. FLOPS 2006: 259-276 - [c37]Michael Carl Tschantz, Shriram Krishnamurthi:
Towards reasonability properties for access-control policy languages. SACMAT 2006: 160-169 - [c36]Morgan McGuire, George Stathis, Hanspeter Pfister, Shriram Krishnamurthi:
Abstract shade trees. SI3D 2006: 79-86 - 2005
- [j8]Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng. 12(3): 349-382 (2005) - [j7]Shriram Krishnamurthi, Tevfik Bultan:
Discussion summary: characteristics of web services and their impact on testing, analysis and verification. ACM SIGSOFT Softw. Eng. Notes 30(1): 5 (2005) - [c35]Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen:
Continuations from generalized stack inspection. ICFP 2005: 216-227 - [c34]Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz:
Verification and change-impact analysis of access-control policies. ICSE 2005: 196-205 - [c33]Kathi Fisler, Shriram Krishnamurthi:
Decomposing Verification Around End-User Features. VSTTE 2005: 74-81 - [c32]Shriram Krishnamurthi:
Web Verification: Perspective and Challenges. WWV 2005: 3-8 - [c31]Shriram Krishnamurthi:
Web Verification: Perspective and Challenges. WWV 2005: 41-46 - 2004
- [j6]Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen:
Automatically Restructuring Programs for the Web. Autom. Softw. Eng. 11(4): 337-364 (2004) - [j5]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
The TeachScheme! Project: Computing and Programming for Every Student. Comput. Sci. Educ. 14(1): 55-77 (2004) - [j4]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
The structure and interpretation of the computer science curriculum. J. Funct. Program. 14(4): 365-378 (2004) - [c30]Tudor Antoniu, Paul A. Steckler, Shriram Krishnamurthi, Erich Neuwirth, Matthias Felleisen:
Validating the Unit Correctness of Spreadsheet Programs. ICSE 2004: 439-448 - [c29]Daniel R. Licata, Shriram Krishnamurthi:
Verifying Interactive Web Programs. ASE 2004: 164-173 - [c28]Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss:
Dataflow Language for Scriptable Debugging. ASE 2004: 218-227 - [c27]Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck:
Parameterized Interfaces for Open System Verification of Product Lines. ASE 2004: 258-267 - [c26]Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg:
Verifying aspect advice modularly. SIGSOFT FSE 2004: 137-146 - 2003
- [b1]Shriram Krishnamurthi:
Programming languages - application and interpretation. e-book 2003 - [c25]David B. Tucker, Shriram Krishnamurthi:
Pointcuts and advice in higher-order languages. AOSD 2003: 158-167 - [c24]Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Modeling Web Interactions. ESOP 2003: 238-252 - [c23]Steven P. Reiss, Christina M. Kennedy, Tom Wooldridge, Shriram Krishnamurthi:
CLIME: An Environment for Constrained Evolution Demonstration Description. ICSE 2003: 818-819 - [c22]Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi:
A Type System for Statically Detecting Spreadsheet Errors. ASE 2003: 174-183 - [c21]Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi:
The Feature Signatures of Evolving Programs. ASE 2003: 281-285 - [c20]Shriram Krishnamurthi:
The CONTINUE Server (or, How I Administered PADL 2002 and 2003). PADL 2003: 2-16 - [c19]Oleg Kiselyov, Shriram Krishnamurthi:
SXSLT: Manipulation Language for XML. PADL 2003: 256-272 - [i1]Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss:
Automated Fault Localization Using Potential Invariants. CoRR cs.SE/0310040 (2003) - 2002
- [j3]Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen:
DrScheme: a programming environment for Scheme. J. Funct. Program. 12(2): 159-182 (2002) - [c18]Morgan McGuire, Shriram Krishnamurthi, John F. Hughes:
Programming Languages for Compressing Graphics. ESOP 2002: 68-82 - [c17]Paul T. Graunke, Shriram Krishnamurthi:
Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs. ICSE 2002: 277-287 - [c16]Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Interfaces for Modular Feature Verification. ASE 2002: 195-204 - [c15]Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Verifying cross-cutting features as open systems. SIGSOFT FSE 2002: 89-98 - [c14]Harry C. Li, Kathi Fisler, Shriram Krishnamurthi:
The Influence of Software Module Systems on Modular Verification. SPIN 2002: 60-78 - [e1]Shriram Krishnamurthi, C. R. Ramakrishnan:
Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings. Lecture Notes in Computer Science 2257, Springer 2002, ISBN 3-540-43092-X [contents] - 2001
- [c13]Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen:
Programming the Web with High-Level Programming Languages. ESOP 2001: 122-136 - [c12]Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Automatically Restructuring Programs for the We. ASE 2001: 211-222 - [c11]Kathi Fisler, Shriram Krishnamurthi:
Modular verification of collaboration-based software designs. ESEC / SIGSOFT FSE 2001: 152-163 - 2000
- [c10]Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke:
Transformation-by-Example for XML. PADL 2000: 249-262
1990 – 1999
- 1999
- [c9]Shriram Krishnamurthi, Yan-David Erlich, Matthias Felleisen:
Expressing Structural Properties as Language Constructs. ESOP 1999: 258-272 - [c8]Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba:
From Macros to Reusable Generative Programming. GCSE 1999: 105-120 - [c7]Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen:
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP 1999: 138-147 - [c6]Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269 - 1998
- [j2]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
The DrScheme Project: An Overview. ACM SIGPLAN Notices 33(6): 17-23 (1998) - [c5]Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman:
Synthesizing Object-Oriented and Functional Design to Promote Re-Use. ECOOP 1998: 91-113 - [c4]Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
Classes and Mixins. POPL 1998: 171-183 - [c3]Shriram Krishnamurthi, Matthias Felleisen:
Toward a Formal Theory of Extensible Software. SIGSOFT FSE 1998: 88-98 - 1997
- [c2]Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen:
DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388 - 1996
- [c1]Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen:
Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32 - 1994
- [j1]Shriram Krishnamurthi:
An introduction to Scheme. XRDS 1(2): 19-27 (1994)
Coauthor Index
[c149] [c148] [j36] [j30] [c142] [c138] [c136] [j25] [c134] [i15] [j24] [c130] [c127] [c121] [c118] [c117] [c116] [c115] [c114] [c110] [c108] [c105] [c104] [c97] [c93] [c92] [c91] [c90] [c83] [c82] [c78] [c75] [c74] [c65] [c64] [c63] [c62] [c59] [c58] [c57] [c54] [c49] [c45] [j11] [c43] [c40] [j8] [c34] [c33] [c27] [c26] [c16] [c15] [c14] [c11]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
