SemFix: Program repair via semantic analysis HDT Nguyen, D Qi, A Roychoudhury, S Chandra Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 648 | 2013 |
A research agenda for distributed software development B Sengupta, S Chandra, V Sinha Proceedings of the 28th international conference on Software engineering …, 2006 | 334 | 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 | 284 | 2004 |
Angelic debugging S Chandra, E Torlak, S Barman, R Bodik 2011 33rd International Conference on Software Engineering (ICSE), 121-130, 2011 | 167 | 2011 |
Enabling collaboration in distributed requirements management V Sinha, B Sengupta, S Chandra IEEE software 23 (5), 52-61, 2006 | 159 | 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 | 156 | 2009 |
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 | 147 | 2012 |
Off-line variable substitution for scaling points-to analysis A Rountev, S Chandra ACM SIGPLAN Notices 35 (5), 47-56, 2000 | 144 | 2000 |
Getafix: Learning to fix bugs automatically J Bader, A Scott, M Pradel, S Chandra Proceedings of the ACM on Programming Languages 3 (OOPSLA), 159, 2019 | 142 | 2019 |
Packet types: abstract specification of network protocol messages PJ McCann, S Chandra ACM SIGCOMM Computer Communication Review 30 (4), 321-333, 2000 | 140 | 2000 |
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 | 127 | 1994 |
Automating test automation S Thummalapenta, S Sinha, N Singhania, S Chandra 2012 34th International Conference on Software Engineering (ICSE), 881-891, 2012 | 117 | 2012 |
Retrieval on source code: a neural code search S Sachdev, H Li, S Luan, S Kim, K Sen, S Chandra Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine …, 2018 | 116 | 2018 |
When deep learning met code search J Cambronero, H Li, S Kim, K Sen, S Chandra Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 110 | 2019 |
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 | 109 | 2013 |
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 | 108 | 2007 |
Aroma: Code recommendation via structural code search S Luan, D Yang, C Barnaby, K Sen, S Chandra Proceedings of the ACM on Programming Languages 3 (OOPSLA), 152, 2019 | 98 | 2019 |
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 |
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 | 96 | 2002 |
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 | 86 | 2008 |