New!!
Hridesh Rajan and Gary T. Leavens (2008) "
Ptolemy: A Language with Quantified, Typed Events,
" ECOOP 2008.
Robert Dyer and Hridesh Rajan (2008) "
Nu: a Dynamic Aspect-Oriented Intermediate Language Model and
Virtual Machine for Flexible Runtime Adaptation,"
AOSD 2008. [ACM DL]
Youssef Hanna, Hridesh Rajan, and Wensheng Zhang (2008) "
Slede: A Domain-Specific Verification Framework for Sensor Network
Security Protocol Implementations,
" WiSec 2008. [ACM DL]
Hridesh Rajan, Jia Tao, Steve Shaner, and Gary T. Leavens, "
Reconciling Trust and Modularity Goals in Web Services,"
Technical Report 08-07, Computer Science, Iowa
State University, July 2008.
Research Interests
- Programming Language Design and Implementation:
Program analysis techniques for security and parallelism,
Specification Languages, Aspect-oriented Languages
- Software Engineering: Software Design in particular modularity,
module systems, modular reasoning, separate and incremental
compilation
Research Projects
- Eos:
Improved abstraction for aspect-oriented programming
[TOSEM '08],
[PLOP '07],
[ICSE '05],
[AOSD '05],
[ICSE '04 - DS],
[ESEC/FSE '03]
- Nu: Improved intermediate languages for design modularity in the object code
[AOSD '08],
[VMIL '07],
[FSE '06 - Poster Paper],
[SPLAT '06]
- Ptolemy: Quantified, typed events for improved separation of concerns
[ECOOP '08]
- Sapha:
Static Approximate PHase Analysis guided runtime adaptation
[PLOS '07]
- Slede:
Analysis and verification of sensor network security protocols
[WiSec '08],
[ESEC/FSE '07 - DS],
[FSE '06 - Poster paper]
- Tisa:
Reconciling trust and modularity goals in web services
[TR-08-07],
[NWeSP '07],
[IW-SOSWE '07]
More information about my research projects and publications is
available from the links on the left that point to the web pages
of the Laboratory for Software Design.
Current Students
Robert Dyer (PhD):
Aspect-oriented intermediate languages and virtual machines,
incremental compilation of aspect-oriented programs.
Youssef Hanna (PhD):
Specification and formal verification of sensor networks security protocols.
Tyler Sondag (PhD):
Static approximate phase analysis.
Mehdi Bagherzadeh (PhD):
Security and privacy issues in web-services.
Harish Narayanappa (M.S.):
Property-aware Program Sampling.
Cavell Rodrigues (M.S.):
auto-generating greybox specifications.
Past Students
Mahantesh Hosamani (M.S. 2007, now at Ericsson):
Security and privacy issues in service-oriented architectues.
Rakesh Setty (M.S. 2008, now at Yahoo!):
On test-driven development of emerging modularization mechanisms.
|