Laboratory for Software Design

Mehdi Bagherzadeh 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 programming languages and software engineering. Mehdi is currently starting his research program in the Tisa project. He can be reached at mbagherz@iastate.edu.

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 Nu project. He can be reached at rdyer@iastate.edu.

Youssef Hanna 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 specification and verification techniques for security protocols in sensor networks. Youssef obtained his M.S. degree in Fall 2008 and his thesis title was "Slede: verification of sensor network security protocols." Youssef is currently leading the research efforts on the Slede project. He can be reached at ywhanna@cs.iastate.edu.

Yuheng Long 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 programming languages design and implementation, in particular concurrent programming languages. He can be reached at csgzlong@cs.iastate.edu.

Sean Mooney 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 programming language design and software modularity and maintainability. He can be reached at smooney@cs.iastate.edu.

Tyler Sondag 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 programming languages design and implementation, in particular parallel programming languages and parallelizing compilers. He is also interested in static and dynamic analysis techniques. He is currently looking at applying static program analysis techniques to determine more efficient thread-to-core assignments on multi-core processors. Tyler obtained his M.S. degree in Fall 2009 and his thesis title was "Phase-based tuning for better utilized performance-asymmetric multicores." He can be reached at sondag@cs.iastate.edu.

David Samuelson is an undergraduate student at Iowa State University, where he works with Dr. Hridesh Rajan. He is interested in parameterized system verification. He is working 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

Paul Murphy is an undergraduate student in the Department of Computer Science at Iowa State University, where he works with Dr. Hridesh Rajan. Paul worked on the implementing and testing the Sapha framework for binary analysis and instrumentation. He can be reached at pmur16@iastate.edu.

Wayne Rowcliffe 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. He is currently working on introducing concurrency in programs via design patterns. He can be reached at wrowclif@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.

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@cs.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@cs.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@cs.iastate.edu.