| Avoiding recomputation in linkage analysis AA Schaeffer, SK Gupta, K Shriram, RW Cottingham, Jr Human heredity 44 (4), 225-237, 1994 | 795 | 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 | 609 | 2005 |
| Classes and mixins M Flatt, S Krishnamurthi, M Felleisen Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 592 | 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 | 395 | 2013 |
| The essence of JavaScript A Guha, C Saftoiu, S Krishnamurthi ECOOP 2010–Object-Oriented Programming: 24th European Conference, Maribor …, 2010 | 364 | 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 | 338 | 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 | 335 | 2002 |
| How to design programs: an introduction to programming and computing M Felleisen, RB Findler, M Flatt, S Krishnamurthi MIT Press, 2018 | 273 | 2018 |
| Embedding dynamic dataflow in a call-by-value language GH Cooper, S Krishnamurthi European symposium on programming, 294-308, 2006 | 248 | 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 | 190 | 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 | 186 | 2014 |
| Specifying and reasoning about dynamic access-control policies DJ Dougherty, K Fisler, S Krishnamurthi International Joint Conference on Automated Reasoning, 632-646, 2006 | 181 | 2006 |
| Verifying aspect advice modularly S Krishnamurthi, K Fisler, M Greenberg ACM SIGSOFT Software Engineering Notes 29 (6), 137-146, 2004 | 155 | 2004 |
| Automated fault localization using potential invariants B Pytlik, M Renieris, S Krishnamurthi, SP Reiss arXiv preprint cs/0310040, 2003 | 136 | 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 | 135 | 1998 |
| 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 | 133 | 1996 |
| 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 | 131 | 2011 |
Matthias FelleisenTrustee Professor of Computer Science, Northeastern University在 felleisen.org 的电子邮件经过验证
