Satish Chandra
Satish Chandra
Facebook (previously: Samsung, IBM, Bell Labs, University of Wisconsin-Madison)
Verified email at - Homepage
Cited by
Cited by
SemFix: Program repair via semantic analysis
HDT Nguyen, D Qi, A Roychoudhury, S Chandra
Proceedings of the 2013 International Conference on Software Engineering …, 2013
A research agenda for distributed software development
B Sengupta, S Chandra, V Sinha
Proceedings of the 28th international conference on Software engineering …, 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
Angelic debugging
S Chandra, E Torlak, S Barman, R Bodik
2011 33rd International Conference on Software Engineering (ICSE), 121-130, 2011
Enabling collaboration in distributed requirements management
V Sinha, B Sengupta, S Chandra
IEEE software 23 (5), 52-61, 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
Off-line variable substitution for scaling points-to analysis
A Rountev, S Chandra
ACM SIGPLAN Notices 35 (5), 47-56, 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
Packet types: abstract specification of network protocol messages
PJ McCann, S Chandra
ACM SIGCOMM Computer Communication Review 30 (4), 321-333, 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
Automating test automation
S Thummalapenta, S Sinha, N Singhania, S Chandra
2012 34th International Conference on Software Engineering (ICSE), 881-891, 2012
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
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
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
Global Software Development
J Cusick, A Prasad, KC Desouza, Y Awazu, P Baloh, JM Bhat, M Gupta, ...
IEEE software 23 (5), 20-29, 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
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
Physical type checking for C
S Chandra, T Reps
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 1999
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
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
The system can't perform the operation now. Try again later.
Articles 1–20