Satish Chandra
Satish Chandra
Facebook (previously: Samsung, IBM, Bell Labs, University of Wisconsin-Madison)
Email verificata su - Home page
Citata da
Citata da
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
Off-line variable substitution for scaling points-to analysis
A Rountev, S Chandra
ACM SIGPLAN Notices 35 (5), 47-56, 2000
Snugglebug: a powerful approach to weakest preconditions
S Chandra, SJ Fink, M Sridharan
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
Packet types: abstract specification of network protocol messages
PJ McCann, S Chandra
ACM SIGCOMM Computer Communication Review 30 (4), 321-333, 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
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
Global Software Development
J Cusick, A Prasad, KC Desouza, Y Awazu, P Baloh, JM Bhat, M Gupta, ...
IEEE software 23 (5), 20-29, 2006
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
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
Physical type checking for C
S Chandra, T Reps
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for …, 1999
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
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
Coping with type casts in C
M Siff, S Chandra, T Ball, K Kunchithapadam, T Reps
Software Engineering—ESEC/FSE’99, 180-198, 1999
Mechanisms for cooperative shared memory
DA Wood, S Chandra, B Falsafi, MD Hill, JR Larus, AR Lebeck, JC Lewis, ...
ACM SIGARCH Computer Architecture News 21 (2), 156-167, 1993
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20