S
Shriram Krishnamurthi
Researcher at Brown University
Publications - 221
Citations - 8217
Shriram Krishnamurthi is an academic researcher from Brown University. The author has contributed to research in topics: Computer science & Semantics (computer science). The author has an hindex of 51, co-authored 208 publications receiving 7725 citations. Previous affiliations of Shriram Krishnamurthi include Rice University.
Papers
More filters
Proceedings ArticleDOI
Classes and mixins
TL;DR: A model of class-to-class functions that refers to as mixins is developed, which is an intuitive model of an essential Java subset; an extension that explains and models mixins; and type soundness theorems for these languages.
Proceedings ArticleDOI
Verification and change-impact analysis of access-control policies
TL;DR: Margrave is presented, a software suite for analyzing role-based access-control policies that includes a verifier that analyzes policies written in the XACML language, translating them into a form of decision-diagram to answer queries and provides semantic differencing information between versions of policies.
Proceedings ArticleDOI
Participatory networking: an API for application control of SDNs
TL;DR: The design, implementation, and evaluation of an API for applications to control a software-defined network (SDN), implemented by an OpenFlow controller that delegates read and write authority from the network's administrators to end users, or applications and devices acting on their behalf are presented.
Journal ArticleDOI
DrScheme: a programming environment for Scheme
Robert Bruce Findler,John Clements,Cormac Flanagan,Matthew Flatt,Shriram Krishnamurthi,Paul Steckler,Matthias Felleisen +6 more
TL;DR: Beyond the ordinary programming environment tools, DrScheme provides an algebraic stepper, a context-sensitive syntax checker, and a static debugger that explains specific inferences in terms of a value-flow graph, selectively overlaid on the program text.
Proceedings ArticleDOI
The essence of javascript
TL;DR: This work reduces JavaScript to a core calculus structured as a small-step operational semantics, and explicates the desugaring process that turns JavaScript programs into ones in the core.