Department of Computer Science

Laboratory for Software Design


The research and educational activities described on these pages has been supported in part by the US National Science Foundation (NSF) under grants CCF-14-23370, CCF-13-49153, CCF-11-17937, CCF-10-17334, CNS-07-09217, CNS-06-27354, and a CAREER award 08-46059.

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@iastate.edu.

Graduate Alumni

Robert Dyer

Robert Dyer is a graduate student in the Department of Computer Science at Iowa State University, where he works with Dr. Hridesh Rajan. His research interests are in aspect-oriented software development, software engineering, and programming language design and implementation. Robert obtained his M.S. degree in Fall 2008 and his thesis title was "Supporting flexible, dynamic deployment of aspect-oriented features". Robert is currently leading the research efforts on the Boa project. He can be reached at rdyer@iastate.edu.

Tyler Sondag

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

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

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

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.

Undergraduate Alumni

Paul Murphy

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

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

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

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

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