New!!
Robert Dyer and Hridesh Rajan,
"Supporting Dynamic Aspect-oriented Features,"
ACM TOSEM (Accepted June 2009).
Youssef Hanna, Samik Basu, and Hridesh Rajan,
"Behavioral
Automata Composition for Automatic Topology Independent
Verification of Parameterized Systems,"
ESEC/FSE 2009.
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.
Kevin Sullivan, William Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, and Nishit Tewari,
"Modular Aspect-oriented Design with XPIs,"
ACM TOSEM (Accepted Apr 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],
[TOSEM '09],
[IEEE Software '06],
[ESEC/FSE '05]
- Nu:
Intermediate language design for maintaining design modularity in the object code.
[TOSEM '09],
[AOSD '08],
[VMIL '08],
[VMIL '07],
[FSE'06-Poster],
[SPLAT '06]
- Tisa:
A Language Design and Modular Verification Technique for Web Services.
[ESOP '09],
[IEEE SOC '08],
[NWeSP '07],
[IW-SOSWE '07]
- Sapha:
Phase-guided Auto-Tuning.
[IW-MSE '09],
[PLOS '07]
- Slede:
Analysis and verification of sensor network security protocols.
[ESEC/FSE '09],
[WiSec '08],
[ICSE'09-Demo],
[ESEC/FSE '07 - DS],
[FSE'06-Poster]
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.
Recent Professional Services
-
Program Committee:
- AOSD 2010:
the 9th International Conference on Aspect-Oriented Software Development
- OOPSLA 2009:
the ACM Conference on Object-Oriented Programming Systems, Languages,
and Applications
- AOSD 2009:
the 8th International Conference on Aspect-Oriented Software Development
- ACP4IS 2009:
the 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software
- ACP4IS 2008:
the 7th Workshop on Aspects, Components, and Patterns for Infrastructure Software
- FOAL 2008:
the Foundations of Aspect-Oriented Languages workshop
- VMIL 2008(Chair and Organizer):
the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms
- VMIL 2007 (Co-Chair):
the 1st Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms
- FOAL 2006:
the Foundations of Aspect-Oriented Languages workshop
-
Organizing Committee:
-
Reviewer:
-
Referee:
Formal Methods 2006,
COMPSAC 2006,
OOPSLA 2006, ESEC/FSE 2007,
OOPSLA 2008.
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):
Phase-guided Auto-Tuning for Improved Utilization of Performance-asymmetric Multicore Processors.
-
Mehdi Bagherzadeh (PhD):
Auto-generated greybox specifications for more expressive assertions.
-
Yuheng Long (PhD):
Concurrent programming languages.
-
Sean Mooney (PhD):
Module systems and modular reasoning.
-
Patrick Carlson (PhD):
Evolution of Trust in Social Networking Applications.
-
Harish Narayanappa (M.S.):
Property-aware Program Sampling.
-
Cavell Rodrigues (M.S.):
Efficient, and flexible monitors for services in a web-service composition
Alumni
-
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.
-
Robert Dyer (MS, Fall 2008, now in PhD program):
Supporting flexible, dynamic deployment of aspect-oriented features.
Funding
|
