 | 2011 |
|---|
| 9 |       | Arjun Guha,
Claudiu Saftoiu,
Shriram Krishnamurthi:
Typing Local Control and State Using Flow Analysis.
ESOP 2011: 256-275 |
| 8 | | Arjun Guha,
Matthew Fredrikson,
Benjamin Livshits,
Nikhil Swamy:
Verified Security for Browser Extensions.
IEEE Symposium on Security and Privacy 2011: 115-130 |
| 7 | | Joe Gibbs Politz,
Spiridon Aristides Eliopoulos,
Arjun Guha,
Shriram Krishnamurthi:
ADsafety: Type-Based Verification of JavaScript Sandboxing.
USENIX Security Symposium 2011 |
| 2010 |
|---|
| 6 | | Arjun Guha,
Claudiu Saftoiu,
Shriram Krishnamurthi:
The Essence of JavaScript.
ECOOP 2010: 126-150 |
| 5 | | Arjun Guha,
Shriram Krishnamurthi:
Minding the (semantic) gap: engineering programming language theory.
FoSER 2010: 155-156 |
| 2009 |
|---|
| 4 | | 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 |
| 3 | | Arjun Guha,
Shriram Krishnamurthi,
Trevor Jim:
Using static analysis for Ajax intrusion detection.
WWW 2009: 561-570 |
| 2007 |
|---|
| 2 | | Arjun Guha,
Jacob Matthews,
Robert Bruce Findler,
Shriram Krishnamurthi:
Relationally-parametric polymorphic contracts.
DLS 2007: 29-40 |
| 1 | | Qikai Chen,
Arjun Guha,
Kaushik Roy:
An Accurate Analytical SNM Modeling Technique for SRAMs Based on Butterworth Filter Function.
VLSI Design 2007: 615-620 |
Data released under the ODC-BY 1.0 license — See also our legal information page