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 Spring 2009 (Jan 15, 2009 - May 17, 2009) we meet in Atanasoff 105 on Tuesdays from 9:30-11:00am.

Faculty		Current Students
Hridesh Rajan		Mehdi Bagherzadeh
		Patrick Carlson
		Robert Dyer
		Youssef Hanna
		Harish Narayanappa
		Cavell Rodrigues
		Tyler Sondag
		Past Students
		Mahantesh Hosamani (MS, Fall 2007)
		Rakesh Setty (MS, Fall 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: Specification and modular verification for web services

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)