Research Theme
- Software Specification and Verification
- Programming Languages Design and Implementation
Publications
1) Mehdi Bagherzadeh, Hridesh Rajan and Gary T. Leavens
"
Translucid Contracts for Aspect-oriented Interfaces"
9th Workshop on Foundations of Aspect-Oriented Languages (FOAL '10) at
9th International Conference on Aspect-Oriented Software Development (AOSD '10),
Rennes and Saint Malo, France, March 2010
[PDF][Slides]
[BibTex]
2) Robert Dyer, Mehdi Bagherzadeh, Hridesh Rajan and Yunafang Cai
"
A Preliminary Study of Quantified, Typed Events"
Workshop on Empirical Evaluation of Software Composition Techniques (ESCOT '10) at
9th International Conference on Aspect-Oriented Software Development (AOSD '10),
Rennes and Saint Malo, France, March 2010
[PDF][Slides]
[BibTex]
3) Hridesh Rajan and Mehdi Bagherzadeh and Sean Mooney
"
Introduction to Ptolemy and its Development Environment"
Demonstration at the 9th Annual Aspect-Oriented Software Development Conference (AOSD '10),
Rennes and SaintMalo, France, March 2010
[Slides]
4) Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens and Sean Mooney
"Translucid Contracts: Expressive Specification and Modular Verification for Aspect-oriented Interfaces"
Technical Report 10-02, Computer Science, Iowa State University, March 2010
[PDF]
[BibTex]
5) Mehdi Bagherzadeh, Robert Dyer, Yuheng Long and Hridesh Rajan
"
Instance-level Quantified, Typed Events for Integrated System Design"
Technical Report 08-15, Computer Science, Iowa State University, August 2008
[PDF]
[BibTex]
Projects
- Ptolemy:
Quantified, typed events for improved separation of concerns.
- Tisa:
A Language Design and Modular Verification Technique for Web Services.
Professional Services
-
External Reviewer
- AOSD 2010:
The 9th International Conference on Aspect-Oriented Software Development
- AOSD 2009:
The 9th International Conference on Aspect-Oriented Software Development
- OOPSLA 2009:
The ACM Conference on Object-Oriented Programming Systems, Languages,
and Applications
|