Shriram Krishnamurthi
where else to find them
website:https://cs.brown.edu/~sk/
github:shriram
bluesky:shriram.bsky.social
mastodon:@shriramk@mastodon.social
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA3 editions2023–2025
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
- ICFP2 editions2022–2023
all 6 in the filters
on a stage with
all 31 in the filters
who talks about the same things
- Will Crichton9 talks
- Kuang-Chen Lu2 talks
- Sukyoung Ryu12 talks
- Işıl Dillig21 talks
- Nadia Polikarpova24 talks
- Michael Hicks18 talks
| title | conference | date |
|---|---|---|
| Diagramming Program Values by Spatial Refinement | PLDI 2026 | 2026-06-15 |
A declarative DSL called Spytial maps runtime value graphs to 2D layouts via constraint solving and produces interactive diagrams with enforced spatial rules… | ||
| SPLASH Organisers Discussion and AMA | OOPSLA 2025 | 2025-10-16 |
Conversation reports concrete, actionable changes and tradeoffs: SIGPLAN plans a SIGPLAN track for missed presentations across conferences in 2026, review… | ||
| Paralegal: Practical Static Analysis for Privacy Bugs | OSDI '25 | 2025-07-07 |
Paralegal is a static analysis tool for Rust that checks formal privacy policies over a marker-annotated Program Dependence Graph, using Rust’s ownership types… | ||
| An Interactive Debugger for Rust Trait Errors | PLDI 2025 | 2025-06-16 |
Argus visualizes Rust trait resolution as an interactive proof-search debugger with complementary bottom-up and top-down views, provenance paths, IDE… | ||
| Profiling Programming Language Learning | OOPSLA 2024 | 2024-10-20 |
Year‑long experiment embeds 221 quizzes in The Rust Programming Language and collects 62,526 readers answering 1,140,202 questions to locate learning hotspots… | ||
| Identifying and Correcting Programming Language Behavior Misconceptions | OOPSLA 2024 | 2024-10-20 |
A curated list of dozen-plus concrete misconceptions about mutable variables, scope, aliasing and closures is paired with an instrument that detects them by… | ||
| Forge: A Tool and Language for Teaching Formal Methods | OOPSLA 2024 | 2024-10-20 |
Forge is a reworked Alloy designed to teach formal methods incrementally: it implements language levels (froglet → relational → LTL) that restrict expressive… | ||
| A Core Calculus for Documents: Or, Lambda: The Ultimate Document | POPL 2024 | 2024-01-14 |
Presents a formal core calculus that classifies document languages into eight levels (string vs. article domains × four constructors), proves each level as an… | ||
| A Grounded Conceptual Model for Ownership Types in Rust | OOPSLA 2023 | 2023-10-23 |
Created an Ownership Inventory to measure Rust misconceptions and finds learners predict compiler errors 64% of the time but produce valid counterexamples only… | ||
| What Happens When Students Switch (Functional) Languages | ICFP 2023 | 2023-09-04 |
Two course studies compare Racket, Pyret, and Python to measure transfer, using homework and exams rather than lab tasks. 87% of students report no Pyret… | ||
| Structural versus Pipeline Composition of… (Experience Report) | ICFP 2022 | 2022-09-11 |
Claim: students find structural composition easier than pipeline composition for list higher-order functions. Method: restrict to a small set of list HOFs… | ||
| Declarative Programming and Education | PADL 2022 | 2022-01-17 |
Education faces threats from Python dominance, huge legacy code, and code synthesis, yet declarative ideas already appear inside modern frameworks. Concrete… | ||
| nothing matches | ||