Rahul Purandare

I have graduated with my PhD from Computer Science and Engineering Department of University of Nebraska - Lincoln and am currenly working there as a postdoctoral research associate. Before I joined UNL for my PhD, I had done iMTech in Computer Science from University of Pune (India) and BE in Electrical Engineering from College of Engineering, Pune (India). I also worked as a Senior Consultant for Tech Mahindra in India.

My primary research is about developing static, dynamic and hybrid program analysis techniques to make dynamic program analysis more efficient without impacting its error reporting. I work with Dr. Matthew Dwyer and Dr. Sebastian Elbaum.

Contact

Publications

• R. Purandare, M. Dwyer and S. Elbaum, "Monitoring Finite State Properties: Approaches and their Relative Strengths", Proceedings of second International Conference on Runtime Verification, RV 2011.
• M. Dwyer, R. Purandare and S. Person, "Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?", Proceedings of first International Conference on Runtime Verification, RV 2010.
• R.Purandare, M.Dwyer and S.Elbaum, "Monitor Optimization via Stutter-Equivalent Loop Transformation", Proceeding of 2010 ACM International Conference on Systems, Programming, Languages and Applications: Software for Humanity. (OOPSLA/SPLASH'10), October, 2010.
• M.Dwyer and R.Purandare, "Residual Checking of Safety Properties", SPIN 2008, August 2008.
• M.Dwyer and R.Purandare, "Residual Dynamic Typestate Analysis : Exploiting Static Analysis Results to Reformulate and Reduce the Cost of Dynamic Analysis", Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE'07), Nov 2007.
• M.Dwyer, S.Elbaum, S.Person, and R.Purandare, "Parallel Randomized State-space Search," Proceedings of the 28th International Conference on Software Engineering (ICSE'07), May 2007.

Fall '11 Schedule