- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c6 |      | Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney: Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. AOSD 2011: 141-152 |
| c5 | | Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter: Modularizing crosscutting concerns with ptolemy. OOPSLA Companion 2011: 31-32 |
| 2010 | ||
| c4 | | Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan: Implicit invocation meets safe, implicit concurrency. GPCE 2010: 63-72 |
| c3 | | Yuheng Long, Hridesh Rajan, Sean L. Mooney: Reconciling concurrency and modularity with Panini's asynchronous typed events. SPLASH/OOPSLA Companion 2010: 243-244 |
| c2 | | Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney: Translucid contracts for modular reasoning about aspect-oriented programs. SPLASH/OOPSLA Companion 2010: 245-246 |
| c1 | | Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe: Almost free concurrency! (using GOF patterns). SPLASH/OOPSLA Companion 2010: 249-250 |
| 1 | Mehdi Bagherzadeh | |
| 2 | Mohammad Ali Darvish Darab | |
| 3 | Robert Dyer 0001 | |
| 4 | Rex D. Fernando | |
| 5 | Steven M. Kautz | |
| 6 | Gary T. Leavens | |
| 7 | Yuheng Long | |
| 8 | Hridesh Rajan | |
| 9 | Wayne Rowcliffe | |
| 10 | Tyler Sondag | |
| 11 | Bryan Welter |
Data released under the ODC-BY 1.0 license — See also our legal information page