Laboratory for Software Design

Tyler Sondag received his PhD from the Department of Computer Science at Iowa State University in Fall 2011. His thesis was titled "Phase-based tuning: better utilized performance asymmetric multicores". His adviser was Dr. Hridesh Rajan. His research interests at the time were in program analysis and optimization. He currently works for Intel Labs in Santa Clara, CA. He can be reached at sondag@iastate.edu.

Mahantesh Hosamani received his MS degree from the Department of Computer Science at Iowa State University in Fall 2007. His thesis title was "Security and privacy issues in service-oriented architectues." Mahantesh worked with Dr. Hridesh Rajan as his thesis adviser. His research interests at the time were in Verification techniques for Service Oriented Architectures and Secure Composition of Web Services. Mahantesh was leading the research efforts on the Tisa project. He can be reached at mahantes@iastate.edu.

Rakesh B. Setty received his MS degree from the Department of Computer Science at Iowa State University in Fall 2008. His thesis title was "On test-driven development of emerging modularization mechanisms." Rakesh worked with Dr. Hridesh Rajan as his thesis adviser. His research interests at the time were in Aspect-Oriented Software Development. In his Masters thesis, Rakesh analyzed the test-driven development process in the context of aspect-oriented software development. He can be reached at rsetty@iastate.edu.

Harish Narayanappa received his MS degree from the Department of Computer Science at Iowa State University in Spring 2010. His thesis title was "Monitoring Software using Property Aware Program Sampling". Harish worked with Dr. Hridesh Rajan as his thesis adviser. His research interests at the time were in programming languages, software engineering, and databases. He can be reached at harish@iastate.edu.

Paul Murphy received his undergraduate degree in Computer Science from Iowa State University. He worked with Dr. Hridesh Rajan on the implementing and testing the Sapha framework for binary analysis and instrumentation. He can be reached at pmur16@iastate.edu.

David Samuelson received his undergraduate degree in computer science from Iowa State University, where he worked with Dr. Hridesh Rajan on the development of the Golok framework for automatic cut-off generation for parameterized system verification. He can be reached at sralmai@cs.iastate.edu

Brittin Fontenot is an undergraduate student in the Department of Computer Science at Iowa State University, where he works with Dr. Steven M. Kautz and Dr. Hridesh Rajan. His research interests are in concurrent programming and the reverse engineering of design patterns from Java source. He can be reached at fontenot@iastate.edu.

Yuly Suvorov recieved his undergraduate degree at Iowa State University. He briefly worked with Dr. Hridesh Rajan on aspect-oriented programming languages. He can be reached at ysuvorov@iastate.edu

Alyson Young (Oct 2006 - May 2007: Undergraduate researcher) is a Senior undergraduate student at Iowa State University. She is interested in program comprehension, automatic concern model extraction and has started contributing to the Osiris project. She can be reached at ayoung11@iastate.edu