Got a question?

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

News

• We are looking for PhD students and Postdoctoral fellows to join the Panini and the Boa project. Send resume to Dr. Hridesh Rajan. Both projects have global user base.
• Boa project receives a new NSF grant to further enhance Boa's capabilities to help with studies related to software and its evolution at a large scale.
• Panini project receives a new NSF grant to further develop capsule-oriented programming.
• User accounts for Boa demonstrated at ICSE 2014 and ICSE 2013 can be requested here.
• We just released 0.9.3 version of Panini language with new features and better analyses for concurrency correctness. See http://paninij.org.

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 two leading projects are Panini that aims to enable safe and efficient concurrent programming by construction, and Boa that is a domain-specific language and an infrastructure for mining software repositories.

Our research meetings are in 216 Atanasoff Hall on Wednesdays from 9a.m.-1p.m.

Members

Dr. Hridesh Rajan [Director]		Dr. Steven M. Kautz
Dr. Hoan A. Nguyen [Postdoctoral Fellow]
Hamid Bagheri [PhD]		Md. Johirul Islam [PhD]
Ganesha Upadhayaya [PhD]		Youssef Hanna [PhD]
Eric Lin [PhD]		Nitin M Tiwari [PhD]
Samantha S Khairunnesa [PhD]		Swarn Priya [PhD]
Ramanathan Ramu [MS]		David Johnston [MS]
Ankur Agarwal [MS]
Alumni
Mehdi Bagherzadeh (PhD Summer'16, MS Fall'10)		Yuheng Long (PhD Spring'16, MS Spring'10)
Robert Dyer (PhD Fall'13, MS Fall'08)		Tyler Sondag (PhD Fall'11, MS Fall'09)
Youssef W. Hanna (MS Fall'08)		Harish Narayanappa (MS Spring'10)
Rakesh Setty (MS Fall'08)		Mahantesh Hosamani (MS Fall'07)
Rex Fernando (B.S. Spring'13)		Eric Lin (B.S. Fall'12)
Bryan Shrader (B.S. Spring'14)		Shang Liu (B.S. Spring'15)
Sean L. Mooney (MS Summer'15)		Dalton D Mills (B.S. Fall'15)
Joseph Baker (B.S. Fall'15)		Trey Erenberger (B.S. Fall'15)
Sambhav P. Srirama (B.S. Spring'16)		Cody Hanika (B.S. Spring'16)

Research and Educational Projects

• Better Abstractions and Improved Modularity

  • Panini: Reconciling Modularity and Concurrency in Program Design.
    • [OOPSLA'15], [ICSE'15 (NIER)], [Modularity'15], [ECOOP'15], [AGERE'14],
      [Onward!'10], [GPCE'10], [FoSER'10]
  • Boa: Better Abstractions for Analyzing Ultra-Large-Scale Software Repositories
    • [ICSE'15 (NIER)], [FSE'14], [ICSE'14], [ICSE'13], [ASE'13], [GPCE'13]
  • Ptolemy: Quantified, typed events for improved separation of concerns.
    • [Modularity'15], [Modularity'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], [SPLAT'06]
  • Eos: Unified module system for improved separation of concerns.
    • [TOSEM'08], [PLOP'07], [ICSE'05], [AOSD'05], [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]

• 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]

Other Projects

• VMIL: Workshop on Virtual Machines and Intermediate Languages, usually colocated with OOPSLA.

Relevant Courses

• Com S 641: Data Intensive Languages and Systems - Design and Semantics ^{New Spring'16!}
• Com S 342: Principles of Programming Languages (undergraduate course)
• Com S 541/441: Programming Languages
• Com S 610: Advanced Topics in Programming Languages & Software Engineering
• 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 362: Object-oriented Analysis and Design (undergraduate course)