Volgen
Shriram Krishnamurthi
Shriram Krishnamurthi
Professor of Computer Science, Brown University
Geverifieerd e-mailadres voor cs.brown.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Avoiding recomputation in linkage analysis
AA Schaeffer, SK Gupta, K Shriram, RW Cottingham, Jr
Human heredity 44 (4), 225-237, 1994
7921994
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
6282005
Classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5941998
How to design programs: an introduction to programming and computing
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
Mit Press, 2018
5062018
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
3962013
The essence of JavaScript
A Guha, C Saftoiu, S Krishnamurthi
ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010
3722010
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
3442009
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
3412002
Embedding dynamic dataflow in a call-by-value language
GH Cooper, S Krishnamurthi
European symposium on programming, 294-308, 2006
2532006
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
2152009
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
2012010
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
1942014
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
Specifying and reasoning about dynamic access-control policies
DJ Dougherty, K Fisler, S Krishnamurthi
International Joint Conference on Automated Reasoning, 632-646, 2006
1862006
Verifying aspect advice modularly
S Krishnamurthi, K Fisler, M Greenberg
ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004
1552004
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
1392011
Automated fault localization using potential invariants
B Pytlik, M Renieris, S Krishnamurthi, SP Reiss
arXiv preprint cs/0310040, 2003
1392003
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
1371998
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
1371996
DrScheme: A pedagogic programming environment for Scheme
RB Findler, C Flanagan, M Flatt, S Krishnamurthi, M Felleisen
Programming Languages: Implementations, Logics, and Programs: 9th …, 1997
1281997
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20