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 2010 (Jan 15, 2010 - May 15, 2010) we meet in Atanasoff 105 on Mondays, Tuesdays, Wednesdays and Thursdays from 10:30-10:45am.

Faculty		Current Students
Hridesh Rajan		Mehdi Bagherzadeh [PhD]
		Patrick Carlson [PhD]
		Robert Dyer [PhD]
		Brittin Fontenot [Undergraduate]
		Youssef Hanna [PhD]
		Yuheng Long [PhD]
		Sean Mooney [PhD]
		Wayne Rowcliffe [Undergraduate]
		David Samuelson [Undergraduate]
		Tyler Sondag [PhD]
		Alumni
		Mahantesh Hosamani (MS, Fall 2007)
		Rakesh Setty (MS, Fall 2008)
		Harish Narayanappa (MS, Spring 2010)

Current Research Projects

• Eos: Unifying and significantly simplifying aspect-oriented language models
• Nu: Improved intermediate languages for design modularity in the object code
• Panini: Reconciling Concurrency and Modularity in Program Design
• 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: Workshop on Virtual Machines and Intermediate Languages, usually colocated with OOPSLA.

Relevant Courses

• Com S 541: Programming Languages 1 (graduate course) ^{Fall 2009}
• Com S 610-HR: Advanced Topics in Type Systems ^{Fall 2009}
• Com S 610-HR: Advanced Topics in Program Analysis (Offered in Fall 2008)
• Com S 641: Semantic Models of Programming Languages (graduate course)
• Com S 342: Principles of Programming Languages (undergraduate course)
• Com S 362: Object-oriented Analysis and Design (undergraduate course)