Shriram Krishnamurthi

Identifiers

• name variant Shriram Krishnamurthi 0.60 · backfill

Papers (6)

1. Type-Error Ablation and AI Coding Agents cs.PL · 2026 · author #1
2. Putting in All the Stops: Execution Control for JavaScript cs.PL · 2018 · author #4
3. Compiling Stateful Network Properties for Runtime Verification cs.NI · 2016 · author #5
4. The Essence of JavaScript cs.PL · 2015 · author #3
5. ADsafety: Type-Based Verification of JavaScript Sandboxing cs.PL · 2015 · author #4
6. Automated Fault Localization Using Potential Invariants cs.SE · 2003 · author #3

Mentions

• 1510.00925 #3 · backfill · confidence 0.70 Shriram Krishnamurthi
• 1506.07813 #4 · backfill · confidence 0.70 Shriram Krishnamurthi
• 2606.01522 #1 · arxiv_oai · confidence 0.70 Shriram Krishnamurthi

Frequent Coauthors

• Arjun Guha 3 shared papers
• Joe Gibbs Politz 2 shared papers
• Brock Pytlik 1 shared papers
• Claudiu Saftoiu 1 shared papers
• Manos Renieris 1 shared papers
• Matthew Flatt 1 shared papers
• Nicholas DeMarinis 1 shared papers
• Rachit Nigam 1 shared papers
• Rodrigo Fonseca 1 shared papers
• Samuel Baxter 1 shared papers
• Spiridon Eliopoulos 1 shared papers
• Steven P. Reiss 1 shared papers
• Tim Nelson 1 shared papers
• Timothy Adam Hoff 1 shared papers