Shriram Krishnamurthi

Citée par

	Toutes	Depuis 2019
Citations	11964	3170
indice h	57	30
indice i10	149	88

720

360

180

540

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202463 62 111 135 128 149 222 251 305 342 412 378 399 436 513 424 511 537 636 672 707 583 611 612 524 514 543 561 412

Accès public

Tout afficher

54 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityAdresse e-mail validée de felleisen.org
Kathi FislerProfessor (Research) of Computer Science, Brown UniversityAdresse e-mail validée de cs.brown.edu
Matthew FlattProfessor, School of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Robert Bruce FindlerNorthwestern UniversityAdresse e-mail validée de cs.northwestern.edu
Arjun GuhaNortheastern UniversityAdresse e-mail validée de northeastern.edu
Tim NelsonLecturer, Brown UniversityAdresse e-mail validée de brown.edu
Joe Gibbs PolitzUniversity of California, San DiegoAdresse e-mail validée de ucsd.edu
Daniel J DoughertyWorcester Polytechnic InstituteAdresse e-mail validée de wpi.edu
Emmanuel SchanzerBrown University, BootstrapAdresse e-mail validée de bootstrapworld.org
Leo MeyerovichUC BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Rodrigo FonsecaSenior Principal Research Manager, Microsoft ResearchAdresse e-mail validée de microsoft.com
Jay McCarthyAssociate Professor of Computer Science, UMass LowellAdresse e-mail validée de cs.uml.edu
Andrew FergusonGoogleAdresse e-mail validée de google.com
John ClementsProfessor of Computer Science, Cal Poly State UniversityAdresse e-mail validée de calpoly.edu
Justin PombrioPhD student, Brown UniversityAdresse e-mail validée de cs.brown.edu
Alejandro SchafferComputer Scientist, National Institutes of HealthAdresse e-mail validée de nih.gov
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceAdresse e-mail validée de stevens.edu
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzAdresse e-mail validée de ucsc.edu
Ben GreenmanUniversity of UtahAdresse e-mail validée de cs.utah.edu
Bob CottinghamOak Ridge National LaboratoryAdresse e-mail validée de ornl.gov

Suivre

Shriram Krishnamurthi

Professor of Computer Science, Brown University

Adresse e-mail validée de cs.brown.edu - Page d'accueil

programming languages computing education verification cybersecurity networking


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Avoiding recomputation in linkage analysis AA Schaeffer, SK Gupta, K Shriram, RW Cottingham, Jr Human heredity 44 (4), 225-237, 1994	789	1994
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	617	2005
Classes and mixins M Flatt, S Krishnamurthi, M Felleisen Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998	594	1998
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	397	2013
The essence of JavaScript A Guha, C Saftoiu, S Krishnamurthi ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010	367	2010
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	339	2009
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	338	2002
How to design programs: an introduction to programming and computing M Felleisen, RB Findler, M Flatt, S Krishnamurthi MIT Press, 2018	287	2018
Embedding dynamic dataflow in a call-by-value language GH Cooper, S Krishnamurthi European symposium on programming, 294-308, 2006	250	2006
How to design programs M Felleisen, RB Findler, M Flatt, S Krishnamurthi MIT Press, 2001	233	2001
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	211	2009
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	194	2010
A programmer’s reduction semantics for classes and mixins M Flatt, S Krishnamurthi, M Felleisen Formal syntax and semantics of Java, 241-269, 1999	191	1999
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	190	2014
Specifying and reasoning about dynamic access-control policies DJ Dougherty, K Fisler, S Krishnamurthi International Joint Conference on Automated Reasoning, 632-646, 2006	184	2006
Verifying aspect advice modularly S Krishnamurthi, K Fisler, M Greenberg ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004	154	2004
Automated fault localization using potential invariants B Pytlik, M Renieris, S Krishnamurthi, SP Reiss arXiv preprint cs/0310040, 2003	137	2003
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	137	1998
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	136	2011
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	134	1996

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs