Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,680,347 papers from all fields of science
Search
Sign In
Create Free Account
Shriram Krishnamurthi
Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
12 relations
Computer access control
ECOOP
Flapjax
How to Design Programs
Expand
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
T. Ashwin
,
A. McGordon
,
P. Jennings
2017
Corpus ID: 55879436
2017
2017
Reduced Polysulfide Shuttle Effect by Using Polyimide Separators with Ionic Liquid-based Electrolytes in Lithium-Sulfur Battery
Yanqing Wang
,
Zeng-qi Zhang
,
+5 authors
K. Kanamura
2017
Corpus ID: 103520206
2016
2016
Sign reversal of magnetoresistance in a perovskite nickelate by electron doping
Koushik Ramadoss
,
N. Mandal
,
+6 authors
S. Ramanathan
2016
Corpus ID: 35215247
We present low temperature resistivity and magnetotransport measurements conducted on pristine and electron doped ${\mathrm{SmNiO…
Expand
2011
2011
Deterministic Bounds for Restricted Isometry of Compressed Sensing Matrices
S. Sarvotham
,
Richard Baraniuk
ArXiv
2011
Corpus ID: 15508483
Compressed Sensing (CS) is an emerging field that enables reconstruction of a sparse signal $x \in {\mathbb R} ^n$ that has only…
Expand
Review
2009
Review
2009
Scribble: closing the book on ad hoc documentation tools
M. Flatt
,
Eli Barzilay
,
R. Findler
ICFP
2009
Corpus ID: 638418
Scribble is a system for writing library documentation, user guides, and tutorials. It builds on PLT Scheme's technology for…
Expand
2008
2008
SoftAlloc: A Work Allocation Language with Soft Constraints
Christian Stefansen
,
S. Rajamani
,
P. Seshan
IEEE International Conference on Web Services
2008
Corpus ID: 14450508
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of…
Expand
Highly Cited
2006
Highly Cited
2006
Interpolation for data structures
D. Kapur
,
R. Majumdar
,
C. G. Zarba
SIGSOFT '06/FSE-14
2006
Corpus ID: 158878
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software…
Expand
2005
2005
The Soundness and Completeness of Margrave with Respect to a Subset of XACML
M. Greenberg
,
Casey Marks
,
L. Meyerovich
,
M. Tschantz
2005
Corpus ID: 166417751
Provides a natural semantics for a subset of XACML, a language for the specification of access-control policies. Presents the key…
Expand
Review
2004
Review
2004
The risks and benefits of teaching purely functional programming in first year
M. Chakravarty
,
G. Keller
Journal of Functional Programming
2004
Corpus ID: 30600402
We argue that teaching purely functional programming as such in freshman courses is detrimental to both the curriculum as well as…
Expand
Highly Cited
2001
Highly Cited
2001
Contract Soundness for object-oriented languages
R. Findler
,
M. Felleisen
OOPSLA '01
2001
Corpus ID: 5117588
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE