Department of Computer Science

Laboratory for Software Design

The research and educational activities described on these pages has been supported in part by the US National Science Foundation (NSF) under grants CNS-06-27354, CNS-07-09217, and CAREER-08-46059.

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 2009 (May 11, 2009 - Aug 22, 2009) we meet in Atanasoff 105 on Mondays from 2:10-5:30pm.

Faculty

  

Current Students

Hridesh Rajan   Mehdi Bagherzadeh [PhD]
    Patrick Carlson [PhD]
    Robert Dyer [PhD]
    Youssef Hanna [PhD]
    Yuheng Long [PhD]
    Sean Mooney [PhD]
    Paul Murphy [Undergraduate]
    David Samuelson [Undergraduate]
    Tyler Sondag [PhD]
   

Alumni

   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: 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)