Sean L. Mooney

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

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)
Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. AOSD (2011)
Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe
Almost free concurrency! (using GOF patterns). SPLASH/OOPSLA Companion (2010)
Yuheng Long, Hridesh Rajan, Sean L. Mooney
Reconciling concurrency and modularity with Panini's asynchronous typed events. SPLASH/OOPSLA Companion (2010)
Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney
Translucid contracts for modular reasoning about aspect-oriented programs. SPLASH/OOPSLA Companion (2010)
Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan
Implicit invocation meets safe, implicit concurrency. GPCE (2010)