Laboratory for Software Design

Got a question?

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

The laboratory for software design at Iowa State University conducts research in programming languages and software engineering. During Summer 2008 (May 15-Aug 21, 2008) we meet in Atanasoff 105 on Thursdays from 3:00-5:00pm.

Faculty		Current Students
Hridesh Rajan		Patrick Carlson
		Robert Dyer
		Youssef Hanna
		Harish Narayanappa
		Tyler Sondag
		Cavell Rodrigues
		Mehdi Bagherzadeh
		Past Students
		Mahantesh Hosamani (MS 2007)
		Rakesh Setty (MS 2008)

Current Research Projects

• Eos: Unifying and significantly simplifying aspect-oriented language models
• Nu: Improved intermediate languages for design modularity in the object code
• Ptolemy: A language with quantified, typed events
• Sapha: Static approximate phase analysis guided runtime adaptation
• Slede: Analysis and verification of sensor network security protocols
• Tisa: trustworthy service-oriented architectures

Other Projects

• VMIL-08: 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, colocated with OOPSLA 2008.
• VMIL-07: 1st Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, colocated with AOSD 2007.

Relevant Courses

• Com S 610-HR: Advanced Topics in Program Analysis
• Com S 641: Semantic Models of Programming Languages (graduate course)
• Com S 541: Programming Languages 1 (graduate course)
• Com S 342: Principles of Programming Languages (undergraduate course)
• Com S 362: Object-oriented Analysis and Design (undergraduate course)