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 CCF-11-17937, CCF-10-17334, CNS-07-09217, CNS-06-27354, and a CAREER award 08-46059.

Got a question?

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

The laboratory for software design at Iowa State University conducts research in programming languages, compilers and software engineering. Our overarching goal is to develop tools and techniques that enable better design of software intensive systems: a better design that is easier and cheaper to implement, verify and sustain and that is more portable across computing platform differences.

During Fall 2011 (Aug 2011 - Dec 2011) we meet in 105 Atanasoff Hall on Mondays from 1-2pm.

Faculty

  

Current Students

Hridesh Rajan   Mehdi Bagherzadeh [PhD]
    Patrick Carlson [PhD]
    M. Ali Darvish-Darab [PhD]
    Robert Dyer [PhD]
    Rex Fernando [Undergraduate]
    Youssef Hanna [PhD]
    Sarah Kabala [PhD]
    Yuheng Long [PhD]
    Sean Mooney [PhD]
    Ganesha Upadhayaya [MS]
    Marjie Volk [Undergraduate]
   

Alumni

   Tyler Sondag (PhD Fall'11, MS Fall'09)
   Harish Narayanappa (MS Spring'10)
   Rakesh Setty (MS Fall'08)
   Mahantesh Hosamani (MS Fall'07)

Current Research Projects

  • Ptolemy: Balancing expressiveness and modular reasoning for aspect-oriented software development.
  • Panini: Reconciling Concurrency and Modularity in Program Design
  • Sapha: Phase-based Tuning for better utilization of Performance-asymmetric Multicores
  • Slede: Analysis and verification of sensor network security protocols
  • Nu: Improved intermediate languages for design modularity in the object code
  • Tisa: Specification and modular verification for web services
  • Eos: Unifying and significantly simplifying aspect-oriented language models

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 2011
  • 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) Fall 2011
  • Com S 362: Object-oriented Analysis and Design (undergraduate course)