Laboratory for Software Design

Got a question?

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

News

About

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.

Our research meetings are in 105 Atanasoff Hall on Mondays from 1-2pm.

Members

Hridesh Rajan [Director]		Steven M. Kautz [Faculty]
Robert Dyer [PhD]		Yuheng Long [PhD]
Mehdi Bagherzadeh [PhD]		Youssef Hanna [PhD]
Sarah Kabala [PhD]		Sean Mooney [PhD]
Rex Fernando [Undergraduate]		Eric Lin [Engineer]
Ganesha Upadhayaya [PhD]		Lorand Szakacs [PhD]
Bryan Shrader [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)

Research and Educational Projects

• Better Abstractions and Improved Modularity

  • Panini: Reconciling Modularity and Concurrency in Program Design.
    • [Onward!'10], [GPCE'10], [FoSER'10], [OOPSLA'10 Poster], [OOPSLA'10 Poster]
  • Boa: Better Abstractions for Analyzing Ultra-Large-Scale Software Repositories
    • [ICSE'13], [SPLASH'12 (Demo)], [SPLASH'12 (Poster)]
  • Ptolemy: Quantified, typed events for improved separation of concerns.
    • [AOSD'13], [TAOSD'13], [AOSD'12], [FOAL'12], [AOSD'11], [FOAL'10], [TOSEM'09],
      [ECOOP'08], [IEEE Software'06], [ESEC/FSE'05]
  • Nu: Intermediate language design for maintaining design modularity in the object code.
    • [FASE'11], [TOSEM'09], [AOSD'08], [VMIL'08], [VMIL'07], [FSE'06 (Poster)], [SPLAT'06]
  • Eos: Unified module system for improved separation of concerns.
    • [TOSEM'08], [PLOP'07], [ICSE'05], [AOSD'05], [ICSE'04-DS], [ESEC/FSE'03]

• Modularity in Program Verification

  • Tisa: A Language Design and Modular Verification Technique for Web Services.
    • [ESOP'09], [IEEE SOC'08], [NWeSP'07], [IW-SOSWE'07]
  • Slede and Golok: Modular Behavior Composition for Verification.
    • [ICFEM'10], [ESEC/FSE'09], [WiSec'08], [ICSE'09 (Demo)], [ESEC/FSE '07 - DS], [FSE'06 (Poster)]

• Program Optimization

  • Sapha: Phase-based Tuning.
    • [CGO'11], [RTSS'10], [IW-MSE'09], [PLOS'07]
  • Frances: A tool for understanding code generation.
    • [CCSC'11], [SIG-CSE'10], [CCSC'10 (Tutorial)]

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