Rahul Purandare

I am a third 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 '08 Schedule

	Mon	Tue	Wed	Thu	Fri
09:30 11:30
11:30 12:30	CSCE 896 Sensor Networks		CSCE 896 Sensor Networks		CSCE 896 Sensor Networks
12:30 1:30				Dr. Matthew Dwyer
1:30 2:30				Dr. Matthew Dwyer
2:30 3:30		CSCE990
3:30 4:30