Seguir
Manu Sridharan
Manu Sridharan
Professor, Computer Science and Engineering, University of California, Riverside
Dirección de correo verificada de sridharan.net - Página principal
Título
Citado por
Citado por
Año
Efficient and precise datarace detection for multithreaded object-oriented programs
JD Choi, K Lee, A Loginov, R O'Callahan, V Sarkar, M Sridharan
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
5292002
TAJ: effective taint analysis of web applications
O Tripp, M Pistoia, SJ Fink, M Sridharan, O Weisman
ACM Sigplan Notices 44 (6), 87-97, 2009
5102009
Refinement-based context-sensitive points-to analysis for Java
M Sridharan, R Bodík
ACM SIGPLAN Notices 41 (6), 387-400, 2006
4182006
Thin slicing
M Sridharan, SJ Fink, R Bodik
Proceedings of the 28th ACM SIGPLAN conference on programming language …, 2007
3262007
In defense of soundiness: A manifesto
B Livshits, M Sridharan, Y Smaragdakis, O Lhoták, JN Amaral, ...
Communications of the ACM 58 (2), 44-46, 2015
3192015
Demand-driven points-to analysis for Java
M Sridharan, D Gopan, L Shan, R Bodík
ACM SIGPLAN Notices 40 (10), 59-76, 2005
2642005
A micromodularity mechanism
D Jackson, I Shlyakhter, M Sridharan
ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001
2182001
Snugglebug: a powerful approach to weakest preconditions
S Chandra, SJ Fink, M Sridharan
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1782009
Efficient construction of approximate call graphs for JavaScript IDE services
A Feldthaus, M Schäfer, M Sridharan, J Dolby, F Tip
2013 35th International Conference on Software Engineering (ICSE), 752-761, 2013
1752013
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1662013
Correlation tracking for points-to analysis of JavaScript
M Sridharan, J Dolby, S Chandra, M Schäfer, F Tip
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
1592012
PSE: explaining program failures via postmortem static analysis
R Manevich, M Sridharan, S Adams, M Das, Z Yang
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004
1572004
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
1382013
Race detection for web applications
B Petrov, M Vechev, M Sridharan, J Dolby
ACM SIGPLAN Notices 47 (6), 251-262, 2012
1382012
F4F: taint analysis of framework-based web applications
M Sridharan, S Artzi, M Pistoia, S Guarnieri, O Tripp, R Berg
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
1372011
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs
JD Choi, K Lee, RW O'callahan, V Sarkar, M Sridharan
US Patent 7,516,446, 2009
111*2009
Scaling CFL-reachability-based points-to analysis using context-sensitive must-not-alias analysis
G Xu, A Rountev, M Sridharan
ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009
1002009
Refactoring for reentrancy
J Wloka, M Sridharan, F Tip
Proceedings of the 7th joint meeting of the European software engineering …, 2009
972009
Dynamic determinacy analysis
M Schäfer, M Sridharan, J Dolby, F Tip
Acm Sigplan Notices 48 (6), 165-174, 2013
912013
DLint: Dynamically checking bad coding practices in JavaScript
L Gong, M Pradel, M Sridharan, K Sen
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
902015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20