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.

Faculty		Students
Hridesh Rajan		John Altidor
		Robert Dyer
		Youssef Hanna
		Viswanath Krishnamurthy
		Harish Narayanappa
		Rakesh B. Setty
		Tyler Sondag

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

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)