|
Research Interests
- Programming Language Design and Implementation: Program analysis techniques for security and parallelism, Specification Languages, Aspect-oriented Languages
- Software Engineering: Software Design, Modularity in Software Design, program comprehension techniques
Research Projects
- Sapha:
Static Approximate PHase Analysis guided runtime adaptation
[PLOS 2007]
- Tisa:
trustworthy service-oriented architectures
[NWeSP 2007],
[IW-SOSWE 2007]
- Nu: Improved intermediate languages for design modularity in the object code
[AOSD 2008],
[VMIL 2007],
[FSE 2006 - Poster Paper],
[SPLAT 2006]
- Slede:
Analysis and verification of sensor network security protocols
[WiSec 2008],
[ESEC/FSE 2007 - DS],
[FSE 2006 - Poster paper]
- Eos:
Improved abstraction for aspect-oriented programming
[PLOP 2007],
[ICSE 2005],
[AOSD 2005],
[ICSE 2004 - DS],
[ESEC/FSE 2003]
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.
Juri Memmert (PhD) [On leave]:
Concern model generation, concern identification, and grouping.
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.
|