Rahul Purandare

I am a fourth year PhD Student in Computer Science and Engineering Department of University of Nebraska - Lincoln. I have done MTech in Computer Science from University of Pune (India) and BE in Electrical Engineering from College of Engineering, Pune (India). Before I joined UNL for my PhD, I was working as a Senior Consultant for Tech Mahindra in India.

I am currently working on static and dynamic program analysis under the guidance of my advisor, Dr. Matthew Dwyer.

University of Nebraska - Lincoln
Department of Computer Science and Engineering
103D Avery Hall
Lincoln, NE 68588
Email: rpuranda at cse dot unl dot edu

Publications

M. Dwyer and R. Purandare, "Residual Checking of Safety Properties", SPIN 2008.
M.Dwyer and R.Purandare, "Residual Dynamic Typestate Analysis : Exploiting Static Analysis Results to Reformulate and Reduce the Cost of Dynamic Analysis", in the 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," in Proceedings of the 28th International Conference on Software Engineering (ICSE'07), May 2007.

Fall '09 Schedule

	Mon	Tue
10:00 11:00
11:00 12:00		Software Engineering Seminar CSCE990
12:00 1:00
1:00 2:00	Meeting with Dr. Matthew Dwyer and Dr. Sebastian Elbaum
2:00 3:00
3:00 4:00