Sean L. Mooney

According to our database, Sean L. Mooney authored at least 6 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Modularizing crosscutting concerns with ptolemy.

Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces.

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Almost free concurrency! (using GOF patterns).

Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Reconciling concurrency and modularity with Panini's asynchronous typed events.

Yuheng Long, Hridesh Rajan, Sean L. Mooney

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Translucid contracts for modular reasoning about aspect-oriented programs.

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Implicit invocation meets safe, implicit concurrency.

Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan

Proceedings of the Generative Programming And Component Engineering, 2010