|
New!!
Robert Dyer and Hridesh Rajan (2008)
"Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation," In the proceedings of the 7th International Conference on Aspect-oriented Software Development (AOSD), March 31 - April 4, 2008, Brussels, Belgium.
Youssef Hanna, Hridesh Rajan, and Wensheng Zhang (2008)
"Slede: A Domain-Specific Verification Framework for Sensor Network Security
Protocol Implementations," In the proceedings of ACM Conference on Wireless
Network Security (WiSec), March 31 - April 2, 2008, Alexandria, Virginia, USA.
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]
- 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):
Security and privacy issues in service-oriented architectues.
|