Publications

2011

• Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens and Sean L. Mooney, "Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces," 10th International Conference on Aspect-Oriented Software Development (AOSD '11), Porto de Galinhas, Brazil, March 2011 [pdf format]

2010

• Yuheng Long, Sean L. Mooney, Tyler Sondag, and Hridesh Rajan, "Implicit Invocation Meets Safe, Implicit Concurrency," GPCE '10: 9th International Conference on Generative Programming and Component Engineering, Eindhoven, The Netherlands, October 2010. [pdf format]

• Sean L. Mooney, Hridesh Rajan, Steve M. Kautz, Wayne Rowcliffe. "Almost Free Concurrency! (Using GOF Patterns)", A short poster paper presenting the framework developed in " Concurrency by Modularity: Design Patterns, a Case in Point". [pdf format] [poster]