FAQ

Shriram Krishnamurthi

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

Topic mentions per year

Topic mentions per year

1997-2015
012319972015

Related topics

Related topics

12 relations
Computer access controlECOOPFlapjaxHow to Design Programs
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Shriram Krishnamurthi
Programming language
Software engineering
Software verification
Semantics (computer science)
Racket

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Sign reversal of magnetoresistance in a perovskite nickelate by electron doping
Koushik Ramadoss,1,* Nirajan Mandal,2,3 Xia Dai,4 Zhong Wan,2 You Zhou,5 Leonid Rokhinson,2,3,6 Yong P. Chen,2,3,6 Jiangpin Hu,2… (More)
  • figure 1
  • table I
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2014
2014
Neuromimetic Circuits with Synaptic Devices based on Strongly Correlated Electron Systems
Neuromimetic devices—artificial electronics that mimic the brain’s neurons—could be used to study how the brain works or to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2013
2013
Should software conferences respect software?
A new trend in software engineering and programming language conferences is to investigate the reproducibility of research… (More)
Is this relevant?
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 ∈ Rn that has only k ≪ n non-zero… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2009
2009
Abstract of " Static Analyses of Cryptographic Protocols " by Static Analyses of Cryptographic Protocols I Thank the Plt Community for Their Support, Advice, and Intellectual Atmosphere. Special…
of “Static Analyses of Cryptographic Protocols” by Jay McCarthy, Ph.D., Brown University, May 2009 Most protocol analyses only… (More)
  • figure 1.1
  • figure 4.3
  • figure 4.6
  • figure 4.7
  • figure 10
Is this relevant?
2009
2009
Abstract of " Static Analyses of Cryptographic Protocols " by Static Analyses of Cryptographic Protocols I Thank the  Community for Their Support, Advice, and Intellectual Atmosphere. Special…
of “Static Analyses of Cryptographic Protocols” by Jay McCarthy, Ph.D., Brown University, May 2009 Most protocol analyses only… (More)
  • figure 1.1
  • figure 4.3
  • figure 4.6
  • figure 4.7
  • figure 10
Is this relevant?
2008
2008
Metal Oxide Nanotubes and Photo-Excitation Effects: New Approaches for Low-to-Intermediate Temperature Solid Oxide Fuel Cells
During the first full year of this project, we made significant advances in 1) microfabrication of nanoscale planar metal oxide… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Verifying Interactive Web Programs Date Shriram Krishnamurthi, Reader Acknowledgements
Web programs are important, increasingly representing the primary public interfaces of commercial organizations. Unfortunately… (More)
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 4.1
Is this relevant?
2000
2000
Understanding Risk – Estimating the Contribution to Risk of Individual Bets
  • KEMAL ASAD-SYED
  • 2000
Portfolio managers may take many bets to outperform a benchmark. This note provides two simple methodologies to calculate the… (More)
  • table 1
  • table 2
  • table 2
  • table 3
  • table 4
Is this relevant?
1997
1997
Two Ways to Bake Your Pizza { Translating Parameterised Types into JavaMartin
public class array { public abstract int length(); public abstract Object at(int i); public abstract void at(int i, Object x… (More)
Is this relevant?