| Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces M Bagherzadeh, H Rajan, GT Leavens, S Mooney Proceedings of the tenth international conference on Aspect-oriented …, 2011 | 52 | 2011 |
| JITTAC: a just-in-time tool for architectural consistency J Buckley, S Mooney, J Rosik, N Ali 2013 35th International Conference on Software Engineering (ICSE), 1291-1294, 2013 | 49 | 2013 |
| Implicit invocation meets safe, implicit concurrency Y Long, SL Mooney, T Sondag, H Rajan ACM SIGPLAN Notices 46 (2), 63-72, 2010 | 25 | 2010 |
| Capsule-oriented programming in the Panini language H Rajan, S Kautz, E Lin, S Mooney, Y Long, G Upadhayaya | 16 | 2014 |
| Translucid contracts for aspect-oriented interfaces M Bagherzadeh, H Rajan, GT Leavens, S Mooney the Foundations of Aspect-Oriented Languages workshop (FOAL 2010), 2010 | 11 | 2010 |
| Modularizing crosscutting concerns with ptolemy H Rajan, GT Leavens, R Dyer, M Bagherzadeh Proceedings of the tenth international conference on Aspect-oriented …, 2011 | 5 | 2011 |
| Quantification of sequential consistency in actor-like systems: An exploratory study Y Long, M Bagherzadeh, H Rajan, E Lin, G Upadhyaya | 4 | 2014 |
| Translucid contracts for modular reasoning about aspect-oriented programs M Bagherzadeh, H Rajan, GT Leavens, S Mooney Proceedings of the ACM international conference companion on Object oriented …, 2010 | 4 | 2010 |
| Duck futures: A generative approach to transparent futures E Lin, G Upadhyaya, S Mooney, H Rajan | 3 | 2015 |
| Almost free concurrency!(using GOF patterns) SL Mooney, H Rajan, SM Kautz, W Rowcliffe Proceedings of the ACM international conference companion on Object oriented …, 2010 | 2 | 2010 |
| A unified design of capsules SL Mooney Iowa State University, 2015 | 1 | 2015 |
| Reconciling concurrency and modularity with Panini's asynchronous typed events Y Long, H Rajan, SL Mooney Proceedings of the ACM international conference companion on Object oriented …, 2010 | 1 | 2010 |
| Panini: Reconciling Concurrency and Modularity in Design Y Long, S Mooney, H Rajan, T Sondag | | 2010 |
| Panini: A Language with Asynchronous, Typed Events Y Long, SL Mooney, H Rajan | | 2009 |
| CanStoreX: A framework for collaboration and remote access into XML with an application to a dataset in Systems Biology Markup Language (SBML) Y Sucaet, X Zhao, SL Mooney, SK Gadia | | |
| Efficient and scalable manipulation of large volumes of XML data through novel pagination technology. D Patanroi, S Ma, S Krihivasan, X Zhao, S Mooney, Y Sucaet, SK Gadia | | |
