Welcome! I'm a recently graduated student of Prof. Rastislav Bodik.
In January 2008 I'll be joining the IBM T.J. Watson Research
Center.
Code
Dissertation: Refinement-Based
Program Analysis Tools. Available as Technical
Report No. UCB/EECS-2007-125.
Selected papers (complete
list)
- Thin
Slicing
Manu Sridharan, Stephen J. Fink,
Rastislav Bodik.
Proceedings of
ACM
SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI
2007).
[Talk slides]
- Refinement-Based Context-Sensitive
Points-To Analysis for Java
Manu Sridharan, Rastislav Bodik.
Proceedings of ACM
SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI
2006).
[Talk slides]
-
Demand-Driven Points-To Analysis for Java
Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodik.
Proceedings
of Twentieth Conference on Object-Oriented Programs, Systems,
Languages, and Applications (OOPSLA 2005).
[Talk slides]
- PSE: Explaining Program Failures via Postmortem Static
Analysis
Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das,
Zhe Yang.
Proceedings of Twelfth ACM SIGSOFT International
Symposium on the Foundations of Software
Engineering (FSE 2004).
[Talk slides]
- Efficient and
Precise Datarace Detection for Multithreaded Object-Oriented
Programs
Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert
O'Callahan, Vivek Sarkar, Manu Sridharan.
Proceedings of ACM
SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI
2002).
- A
Micromodularity Mechanism
Daniel Jackson, Ilya
Shlyakhter, Manu Sridharan.
Proceedings of Foundations of Software Engineering / European
Software Engineering Conference (FSE/ESEC 2001).
- research
- coursework
- friends
Free DNS