Skip to search formSkip to main contentSkip to account menu

Shriram Krishnamurthi

Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
Computer access controlECOOPFlapjaxHow to Design Programs

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Electrochemical modelling of Li-ion battery pack with constant voltage cycling
2017
2017
Reduced Polysulfide Shuttle Effect by Using Polyimide Separators with Ionic Liquid-based Electrolytes in Lithium-Sulfur Battery
2016
2016
Sign reversal of magnetoresistance in a perovskite nickelate by electron doping
We present low temperature resistivity and magnetotransport measurements conducted on pristine and electron doped ${\mathrm{SmNiO… 
2016
2016
Desiring Mobiles, Desiring Education: Mobile Phones and Families in a Rural Chinese Town
This chapter draws on ethnographic data to examine the relationship between mobile communication technologies (especially mobile… 
2014
2014
Use of and access to health care by Medicare beneficiaries with diabetes: impact of diabetes type and insulin use, 2007-2011
In 2011, about 25 percent of the Medicare fee-for-service population had diabetes. Among Medicare beneficiaries with diabetes… 
2011
2011
Deterministic Bounds for Restricted Isometry of Compressed Sensing Matrices
Compressed Sensing (CS) is an emerging field that enables reconstruction of a sparse signal $x \in {\mathbb R} ^n$ that has only… 
Highly Cited
2006
Highly Cited
2006
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software… 
2005
2005
Implementing Application-Specific Object-Oriented Theories in HOL
This paper presents a theory of Object-Oriented concepts embedded shallowly in HOL for the verification of OO analysis models… 
Review
2004
Review
2004
The risks and benefits of teaching purely functional programming in first year
We argue that teaching purely functional programming as such in freshman courses is detrimental to both the curriculum as well as… 
Highly Cited
2001
Highly Cited
2001
Contract Soundness for object-oriented languages
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)