Implicit invocation meets safe, implicit concurrency. - Yuheng Long; Sean L. Mooney; Tyler Sondag; Hridesh Rajan (GPCE, 2010)

Translucid contracts for modular reasoning about aspect-oriented programs. - Mehdi Bagherzadeh 001; Hridesh Rajan; Gary T. Leavens; Sean L. Mooney (SPLASH/OOPSLA Companion, 2010)

Reconciling concurrency and modularity with Panini's asynchronous typed events. - Yuheng Long; Hridesh Rajan; Sean L. Mooney (SPLASH/OOPSLA Companion, 2010)

Almost free concurrency! (using GOF patterns). - Sean L. Mooney; Hridesh Rajan; Steven M. Kautz; Wayne Rowcliffe (SPLASH/OOPSLA Companion, 2010)

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. - Mehdi Bagherzadeh 001; Hridesh Rajan; Gary T. Leavens; Sean L. Mooney (AOSD, 2011)

Modularizing crosscutting concerns with ptolemy. - Hridesh Rajan; Sean L. Mooney; Gary T. Leavens; Robert Dyer 001; Rex D. Fernando; Mohammad Ali Darvish Darab; Bryan Welter (OOPSLA Companion, 2011)