Sean L. Mooney
Sean L. Mooney
Graduate Student, Iowa State University
Bestätigte E-Mail-Adresse bei iastate.edu
Titel
Zitiert von
Zitiert von
Jahr
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
532011
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
272013
Implicit invocation meets safe, implicit concurrency
Y Long, SL Mooney, T Sondag, H Rajan
ACM SIGPLAN Notices 46 (2), 63-72, 2010
262010
Capsule-oriented programming in the Panini language
H Rajan, SM Kautz, E Lin, SL Mooney, Y Long, G Upadhayaya
162014
Translucid contracts for aspect-oriented interfaces
M Bagherzadeh, H Rajan, GT Leavens, S Mooney
FOAL, 2010
132010
Modularizing crosscutting concerns with Ptolemy
H Rajan, GT Leavens, R Dyer, M Bagherzadeh
Proceedings of the tenth international conference on Aspect-oriented …, 2011
52011
Quantification of sequential consistency in actor-like systems: An exploratory study
Y Long, M Bagherzadeh, E Lin, G Upadhyaya, H Rajan
42014
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
42010
Duck futures: A generative approach to transparent futures
E Lin, G Upadhyaya, SL Mooney, H Rajan
32015
A unified design of capsules
SL Mooney
12015
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
12010
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
12010
Panini: Reconciling Concurrency and Modularity in Design
Y Long, SL Mooney, T Sondag, H Rajan
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16