Hridesh Rajan
Assistant Professor

Office: 101 Atanasoff Phone: (515) 294-6168 Fax: (515) 294-0258 Email: hridesh@cs.iastate.edu Homepage: http://www.cs.iastate.edu/~hridesh/

Current Affiliations

• Member ACM
• Member IEEE

Biographical Sketch

Hridesh Rajan received his undergraduate degree from Institute of Technology, Banaras Hindu, University in 2000 and the MS and PhD in Computer Science from the University of Virginia in 2005. His PhD advisor was Kevin J. Sullivan. Hridesh is now an Assistant Professor in the Department of Computer Science at the Iowa State University. Hridesh's research interests are mainly in software engineering and programming language design and implementation. Prior to joining University of Virginia, Hridesh worked at Bell Labs, India, the R&D organization of Lucent Technologies.

Prospective Students, please read this advice before sending an e-mail.

Research Interests

Major Research Interests and Current Activity:

Programming language design and implementation: intermediate languages, virtual machines, program analysis, software engineering: modularity in software design, component integration, aspect-oriented software design, specification and verification.

Dr. Rajan's primary research interests are in modularity and in exploring software engineering properties of new and existing module systems, e.g. modular reasoning and verification, separate and incremental compilation, concurrency, etc. In past, he has investigated module systems that are emerging to modularize so called "crosscutting concerns". As part of his Eos project, he analyzed the regularity, orthogonality, uniformity, and composibility of these module systems. As part of his Nu project, he is looking at their separate and incremental compilation properties. As part of his Ptolemy project, he is investigating modular reasoning and verification for these modules. He has recently become interested in web-services, an interesting architectural paradigm for software development. By allowing components to be decoupled using an XML-based interface, web-services enable platform-independent integration. As part of his Tisa project, he is investigating modular reasoning and verification of non-functional properties for this paradigm. His work involves both theoretical investigation such as developing new language designs and corresponding semantics, and type systems, as well as practical studies such as developing efficient implementations of language design and conducting medium and large-scale case studies to evaluate software engineering properties of improved language designs.

Research Areas

Information Security, Programming Languages and Compilers, Software Engineering, Software Systems

Education

Ph.D.   Computer Science, University of Virginia   2005
M.S.   Computer Science, University of Virginia   2004
B.S.   Computer Science, Institute of Technology, BHU   2000

Honors and Awards

CAREER Award  US National Science Foundation (NSF), 2009-2014

Current Grants

CAREER: On Mutualism of Modularity and Concurrency Goals.. Hridesh Rajan. US National Science Foundation (2009-2014). $425,000.

CT-ISG: Specification and Verification Challenges for Security Protocols in Sensor Networks. Hridesh Rajan and Wensheng Zhang. National Science Foundation (NSF) (2007-2010). $349,999.

REU Supplement to CT-ISG: Specification and Verification Challenges for Security Protocols in Sensor Networks. Hridesh Rajan. US National Science Foundation (2006-2010). $16,000.

Equipment Supplement to CAREER: On Mutualism of Modularity and Concurrency Goals.. Hridesh Rajan. US National Science Foundation (2009-2010). $20,573.

REU Supplement to CAREER: On Mutualism of Modularity and Concurrency Goals. Hridesh Rajan. US National Science Foundation (2009-2010). $16,000.

CRI:CRD: Collaborative Research: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research. Gary T. Leavens, Hridesh Rajan and Samik Basu. National Science Foundation (2007-2009). $75,000.

Representative Publications

Refereed Journal and Conference Publications

Youssef Hanna, Samik Basu, and Hridesh Rajan. Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems. ESEC/FSE '09: 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Amsterdam, The Netherlands, ACM Press, 2009.

Kevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, and Nishit Tewari. Modular Aspect-Oriented Design with XPIs. ACM Transactions on Software Engineering and Methodology (TOSEM), ACM Press, Accepted, 2009.

Hridesh Rajan, Jia Tao, Steve Shaner, and Gary T. Leavens. Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. 18th European Symposium on Programming (ESOP '09), York, UK, LNCS, 2009.

Hridesh Rajan and Mahantesh Hosamani. Tisa: Towards Trustworthy Services in a Service-oriented Architecture. IEEE Transactions on Services Computing (SOC), IEEE Computer Society, 2008.

Hridesh Rajan and Gary T. Leavens. Ptolemy: A Language with Quantified, Typed Events. ECOOP '08: 22nd European Conference on Object-Oriented Programming, Paphos, Cyprus, 2008.

Hridesh Rajan and Kevin Sullivan. Unifying Aspect- and Object-Oriented Program Design. ACM Transactions on Software Engineering and Methodology (TOSEM), ACM Press, Accepted, 2008.

Robert Dyer and Hridesh Rajan. Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation. AOSD '08: Proceedings of the 7th International Conference on Aspect-oriented Software Development, Brussels, Belgium, 2008.

William Griswold, Kevin Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan. Modular Software Design with Crosscutting Interfaces. IEEE Software, Special Issue on Aspect-Oriented Programming, IEEE, 2006.

Kevin Sullivan, William Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan. Information Hiding Interfaces for Aspect-Oriented Design. Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), Lisbon, Portugal, 2005.

Hridesh Rajan and Kevin J. Sullivan. Classpects: Unifying Aspect- and Object-Oriented Language Design. 27th International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri, USA, 2005.

Hridesh Rajan and Kevin J. Sullivan. Eos: Instance-Level Aspects for Integrated System Design. 2003 Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, 2003.