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.
Youssef Hanna,
Hridesh Rajan, and Wensheng Zhang (2008) "Slede: A Domain-Specific
Verification Framework for Sensor Network Security Protocol Implementations,
" WiSec 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
[PLOP 2007],
[ICSE 2005],
[AOSD 2005],
[ICSE 2004 - DS],
[ESEC/FSE 2003]
- Nu: Improved intermediate languages for design modularity in the object code
[AOSD 2008],
[VMIL 2007],
[FSE 2006 - Poster Paper],
[SPLAT 2006]
- Ptolemy: Quantified, typed events for improved separation of concerns
[ECOOP 2008]
- Sapha:
Static Approximate PHase Analysis guided runtime adaptation
[PLOS 2007]
- Slede:
Analysis and verification of sensor network security protocols
[WiSec 2008],
[ESEC/FSE 2007 - DS],
[FSE 2006 - Poster paper]
- Tisa:
trustworthy service-oriented architectures
[NWeSP 2007],
[IW-SOSWE 2007]
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
John Altidor (PhD):
Interoperability between Typed and Untyped Languages
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.
Viswanath Krishnamurthy (PhD):
Compilation and optimization techniques for heterogeneous multi-core architectures.
Tyler Sondag (PhD):
Parallel programming languages and parallelizing compilers.
Harish Narayanappa (M.S.):
Runtime monitoring techniques
Rakesh Setty (M.S.):
Optimizations of dynamic aspect-oriented language constructs.
Past Students
Mahantesh Hosamani (M.S. 2007, now at Ericsson):
Security and privacy issues in service-oriented architectues.
|