| SemFix: Program repair via semantic analysis HDT Nguyen, D Qi, A Roychoudhury, S Chandra Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 538 | 2013 |
| A research agenda for distributed software development B Sengupta, S Chandra, V Sinha Proceedings of the 28th international conference on Software engineering …, 2006 | 316 | 2006 |
| Decentralizing execution of composite web services MG Nanda, S Chandra, V Sarkar Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 277 | 2004 |
| Angelic debugging S Chandra, E Torlak, S Barman, R Bodik 2011 33rd International Conference on Software Engineering (ICSE), 121-130, 2011 | 156 | 2011 |
| Enabling collaboration in distributed requirements management V Sinha, B Sengupta, S Chandra IEEE software 23 (5), 52-61, 2006 | 153 | 2006 |
| Snugglebug: a powerful approach to weakest preconditions S Chandra, SJ Fink, M Sridharan Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009 | 137 | 2009 |
| Off-line variable substitution for scaling points-to analysis A Rountev, S Chandra ACM SIGPLAN Notices 35 (5), 47-56, 2000 | 135 | 2000 |
| Packet types: abstract specification of network protocol messages PJ McCann, S Chandra ACM SIGCOMM Computer Communication Review 30 (4), 321-333, 2000 | 132 | 2000 |
| Correlation tracking for points-to analysis of JavaScript M Sridharan, J Dolby, S Chandra, M Schäfer, F Tip European Conference on Object-Oriented Programming, 435-458, 2012 | 130 | 2012 |
| Where is time spent in message-passing and shared-memory programs? S Chandra, JR Larus, A Rogers Proceedings of the sixth international conference on Architectural support …, 1994 | 117 | 1994 |
| Automating test automation S Thummalapenta, S Sinha, N Singhania, S Chandra 2012 34th International Conference on Software Engineering (ICSE), 881-891, 2012 | 104 | 2012 |
| Alias Analysis for Object-Oriented Programs M Sridharan, S Chandra, J Dolby, SJ Fink, E Yahav Aliasing in Object-Oriented Programming. Types, Analysis and Verification …, 2013 | 96 | 2013 |
| Global Software Development J Cusick, A Prasad, KC Desouza, Y Awazu, P Baloh, JM Bhat, M Gupta, ... IEEE software 23 (5), 20-29, 2006 | 96* | 2006 |
| A survey of static analysis methods for identifying security vulnerabilities in software systems M Pistoia, S Chandra, SJ Fink, E Yahav IBM systems journal 46 (2), 265-288, 2007 | 91 | 2007 |
| Software model checking in practice: an industrial case study S Chandra, P Godefroid, C Palm Proceedings of the 24th International Conference on Software Engineering …, 2002 | 90 | 2002 |
| Physical type checking for C S Chandra, T Reps Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 1999 | 86 | 1999 |
| Teapot: Language support for writing memory coherence protocols S Chandra, B Richards, JR Larus Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996 | 81 | 1996 |
| Generating precise and concise procedure summaries G Yorsh, E Yahav, S Chandra Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 77 | 2008 |
| Coping with type casts in C M Siff, S Chandra, T Ball, K Kunchithapadam, T Reps Software Engineering—ESEC/FSE’99, 180-198, 1999 | 67 | 1999 |
| Effective interprocedural resource leak detection E Torlak, S Chandra Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 65 | 2010 |
