עקוב אחר
Manu Sridharan
Manu Sridharan
Professor, Computer Science and Engineering, University of California, Riverside
כתובת אימייל מאומתת בדומיין sridharan.net - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
5322009
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‏
5322002
Refinement-based context-sensitive points-to analysis for Java‏
M Sridharan, R Bodík‏
ACM SIGPLAN Notices 41 (6), 387-400, 2006‏
4262006
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‏
3402015
Thin slicing‏
M Sridharan, SJ Fink, R Bodik‏
Proceedings of the 28th ACM SIGPLAN conference on programming language …, 2007‏
3372007
Demand-driven points-to analysis for Java‏
M Sridharan, D Gopan, L Shan, R Bodík‏
ACM SIGPLAN Notices 40 (10), 59-76, 2005‏
2772005
A micromodularity mechanism‏
D Jackson, I Shlyakhter, M Sridharan‏
ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001‏
2202001
Snugglebug: a powerful approach to weakest preconditions‏
S Chandra, SJ Fink, M Sridharan‏
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009‏
1842009
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‏
1832013
Effective race detection for event-driven programs‏
V Raychev, M Vechev, M Sridharan‏
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013‏
1692013
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‏
1642012
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‏
1592004
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‏
1462013
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‏
1422011
Race detection for web applications‏
B Petrov, M Vechev, M Sridharan, J Dolby‏
ACM SIGPLAN Notices 47 (6), 251-262, 2012‏
1402012
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‏
112*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‏
1052009
Refactoring for reentrancy‏
J Wloka, M Sridharan, F Tip‏
Proceedings of the 7th joint meeting of the European software engineering …, 2009‏
962009
Dynamic determinacy analysis‏
M Schäfer, M Sridharan, J Dolby, F Tip‏
Acm Sigplan Notices 48 (6), 165-174, 2013‏
942013
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‏
922015
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20