Search results for "Arjun Guha"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy	Verified Security for Browser Extensions.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	security, verification, type system, extensions, web browsers, policy languages
1	Joe Gibbs Politz, Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi	ADsafety: Type-Based Verification of JavaScript Sandboxing.	USENIX Security Symposium	2011	DBLP BibTeX RDF
1	Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi	Typing Local Control and State Using Flow Analysis.	ESOP	2011	DBLP DOI BibTeX RDF
1	Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi	The Essence of JavaScript.	ECOOP	2010	DBLP DOI BibTeX RDF
1	Arjun Guha, Shriram Krishnamurthi	Minding the (semantic) gap: engineering programming language theory.	FoSER	2010	DBLP DOI BibTeX RDF
1	Arjun Guha, Shriram Krishnamurthi, Trevor Jim	Using static analysis for Ajax intrusion detection.	WWW	2009	DBLP DOI BibTeX RDF	intrusion detection, javascript, Ajax, control-flow analysis
1	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	DBLP DOI BibTeX RDF	javascript, web programming, functional reactive programming
1	Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi	Relationally-parametric polymorphic contracts.	DLS	2007	DBLP DOI BibTeX RDF	contracts, polymorphism, parametricity
1	Qikai Chen, Arjun Guha, Kaushik Roy	An Accurate Analytical SNM Modeling Technique for SRAMs Based on Butterworth Filter Function.	VLSI Design	2007	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )

Publications of "Arjun Guha" ( http://dblp.L3S.de/Authors/Arjun_Guha )