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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We present low temperature resistivity and magnetotransport measurements conducted on pristine and electron doped ${\mathrm{SmNiO… 
2011
2011
Compressed Sensing (CS) is an emerging field that enables reconstruction of a sparse signal $x \in {\mathbb R} ^n$ that has only… 
Review
2009
Review
2009
Scribble is a system for writing library documentation, user guides, and tutorials. It builds on PLT Scheme's technology for… 
2008
2008
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of… 
Highly Cited
2006
Highly Cited
2006
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software… 
2005
2005
Provides a natural semantics for a subset of XACML, a language for the specification of access-control policies. Presents the key… 
Review
2004
Review
2004
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
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural…