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
- Modularity, module systems, modular reasoning and verification,
separate and incremental compilation
- Programming language design and efficient implementations
Research Projects
- Eos:
Unified module system for improved separation of concerns
[TOSEM '08],
[PLOP '07],
[ICSE '05],
[AOSD '05],
[ICSE '04 - DS],
[ESEC/FSE '03]
- Ptolemy:
Quantified, typed events for improved separation of concerns
[ECOOP '08]
- Nu:
Intermediate language design for maintaining design modularity in the object code
[AOSD '08],
[VMIL '07],
[FSE '06 - Poster Paper],
[SPLAT '06]
- Tisa:
A Language Design and Modular Verification Technique for Web Services.
[TR-08-07],
[NWeSP '07],
[IW-SOSWE '07]
- 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]
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):
Language design for verification model construction and composition.
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.
Youssef Hanna (MS 2008, now in PhD program):
Slede: verification of sensor network security protocols.
|