Hridesh Rajan

Associate Professor of Computer Science

Ph.D., University of Virginia, 2005
M.S., University of Virginia, 2004
B.Tech., Indian Institute of Technology (BHU), 2000

Voice: +1-515-294-6168
E-mail: hridesh@iastate.edu
Office: 101 Atanasoff Hall
Office Hours: Monday 3:30-5:00pm

Research Theme and Goals

My research aims to improve software quality and programmer productivity by development and refinement of human centric abstraction and modularization techniques in programming languages.

Recent Ideas and Results

• Capsule-oriented Programming, an implicitly-concurrent, accessible programming style that achieves good speedup while providing programmers with sequential consistency and data race freedom guarantees by construction. Capsule-oriented programming can be adopted in an evolutionary manner.
• Boa, a domain-specific language whose goal is to significantly ease the experimental cost of mining ultra-large-scale open source repositories.

My other publications in a list format are available here. They are also presented in a categorized format below.

Major Awards and Honors

• 2009 Early CAREER Award, US National Science Foundation
• 2010 Early Achievement in Research Award, College of Liberal Arts & Science, Iowa State University

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

More information about my research and educational projects and publications is available from the links on the left that point to the web pages of the Laboratory for Software Design.

Recent Professional Services

• Program Committee:
  • PC Member, MODULARITY:aosd 2013 - the International Conference on Aspect-oriented Software Development (also in 2011, 2010, and 2009)
  • Doctoral Symposium Chair, SPLASH/OOPSLA 2012 - the international Conference on Systems, Programming, Languages and Applications: Software for Humanity
  • ERC Member, SPLASH/OOPSLA 2012 - the international Conference on Systems, Programming, Languages and Applications: Software for Humanity
  • PC Chair, FOAL 2011 - the Foundations of Aspect-oriented Languages workshop
  • PC Member, ICSE 2010 - the 32nd International Conference on Software Engineering (research demonstrations track)
  • PC Member, Onward! 2010 - the 2010 Onward! Conference on the new ideas, new paradigms track at OOPSLA 2010
  • PC Member, GPCE 2010 - the 9th International Conference on Generative Programming and Component Engineering
  • PC Member, OOPSLA 2009 - the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications
  • PC Member, ACP4IS 2008, 2009, and 2010 - the Workshop on Aspects, Components, and Patterns for Infrastructure Software
  • PC Member, FOAL 2006, 2008, 2010, and 2012 - the Foundations of Aspect-Oriented Languages workshop
• Organizing Committee:
  • 8th International Conference on Aspect-Oriented Software Development (AOSD 2009): Student Volunteer Co-chair
  • Workshops on Virtual Machines and Intermediate Languages (VMIL 2007-2011): Co-organizer.

Funding

We are thankful to the US National Science Foundation for supporting our research under the following grants. CAREER:On Mutualism of Modularity and Concurrency Goals. PI: Hridesh Rajan (2009-2014). SHF:Small:Phase-Based Tuning for Better Utilization of Performance-Asymmetric Multicores. PI: Hridesh Rajan (2011-2014). SHF:Small:Balancing Expressiveness and Modular Reasoning for Aspect-oriented Programming. PI: Hridesh Rajan (2010 - 2013). CT-ISG: Specification and Verification Challenges for Security Protocols in Sensor Networks. PI: Hridesh Rajan and Co-PI: Wensheng Zhang. (2007-2010). Collaborative Research: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research. PI: Gary T. Leavens, Co-PI: Hridesh Rajan, and Co-PI: Samik Basu (2007-2010).