Seguir
Shriram Krishnamurthi
Shriram Krishnamurthi
Professor of Computer Science, Brown University
Dirección de correo verificada de cs.brown.edu - Página principal
Título
Citado por
Citado por
Año
Avoiding recomputation in linkage analysis
AA Schaeffer, SK Gupta, K Shriram, RW Cottingham, Jr
Human heredity 44 (4), 225-237, 1994
7941994
Verification and change-impact analysis of access-control policies
K Fisler, S Krishnamurthi, LA Meyerovich, MC Tschantz
Proceedings of the 27th international conference on Software engineering …, 2005
6082005
Classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5921998
Participatory networking: An API for application control of SDNs
AD Ferguson, A Guha, C Liang, R Fonseca, S Krishnamurthi
ACM SIGCOMM computer communication review 43 (4), 327-338, 2013
3932013
The essence of JavaScript
A Guha, C Saftoiu, S Krishnamurthi
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
3582010
Flapjax: a programming language for Ajax applications
LA Meyerovich, A Guha, J Baskin, GH Cooper, M Greenberg, A Bromfield, ...
Proceedings of the 24th ACM SIGPLAN conference on Object oriented …, 2009
3382009
DrScheme: A programming environment for Scheme
RB Findler, J Clements, C Flanagan, M Flatt, S Krishnamurthi, P Steckler, ...
Journal of functional programming 12 (2), 159-182, 2002
3342002
How to design programs: an introduction to programming and computing
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
MIT Press, 2018
2702018
Embedding dynamic dataflow in a call-by-value language
GH Cooper, S Krishnamurthi
European symposium on programming, 294-308, 2006
2482006
How to design programs
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
MIT Press, 2001
2322001
Using static analysis for Ajax intrusion detection
A Guha, S Krishnamurthi, T Jim
Proceedings of the 18th international conference on World wide web, 561-570, 2009
2112009
The Margrave tool for firewall analysis
T Nelson, C Barratt, DJ Dougherty, K Fisler, S Krishnamurthi
24th Large Installation System Administration Conference (LISA 10), 2010
1922010
A programmer’s reduction semantics for classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Formal syntax and semantics of Java, 241-269, 1999
1901999
Tierless programming and reasoning for {software-defined} networks
T Nelson, AD Ferguson, MJG Scheer, S Krishnamurthi
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2014
1862014
Specifying and reasoning about dynamic access-control policies
DJ Dougherty, K Fisler, S Krishnamurthi
International Joint Conference on Automated Reasoning, 632-646, 2006
1802006
Verifying aspect advice modularly
S Krishnamurthi, K Fisler, M Greenberg
ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004
1552004
Automated fault localization using potential invariants
B Pytlik, M Renieris, S Krishnamurthi, SP Reiss
arXiv preprint cs/0310040, 2003
1362003
Synthesizing object-oriented and functional design to promote re-use
S Krishnamurthi, M Felleisen, DP Friedman
ECOOP’98—Object-Oriented Programming: 12th European Conference Brussels …, 1998
1351998
Catching bugs in the web of program invariants
C Flanagan, M Flatt, S Krishnamurthi, S Weirich, M Felleisen
Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996
1331996
Measuring the effectiveness of error messages designed for novice programmers
G Marceau, K Fisler, S Krishnamurthi
Proceedings of the 42nd ACM technical symposium on Computer science …, 2011
1292011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20