New!!
Hridesh Rajan, Jia Tao, Steve Shaner, and Gary T. Leavens,
"Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services,"
ESOP 2009.
Hridesh Rajan and Mahantesh Hosamani,
"Tisa: Towards Trustworthy Services in
a Service-oriented Architecture,"
IEEE Transactions on Services Computing, 2008.
Hridesh Rajan and Gary T. Leavens,
"Ptolemy:
A Language with Quantified, Typed Events," ECOOP 2008.
...other publications.
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.
[ESOP '09],
[IEEE SOC '08],
[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 social applications.
Yuheng Long (PhD):
Concurrent programming languages.
Patrick Carlson (PhD):
Evolution of Trust in Social Networking Applications.
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., Fall 2008, now at Yahoo!):
On test-driven development of emerging modularization mechanisms.
Youssef Hanna (MS, Fall 2008, now in PhD program):
Slede: verification of sensor network security protocols.
|