Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(7)
Hridesh Rajan
6
Yu-heng Long
3
Gary T. Leavens
2
Tyler Sondag
2
Mehdi Bagherzadeh
2
Conferences
(3)
OOPSLA
3
AOSD
1
Generative Programming and Component Engineering
1
Keywords
(17)
Embed
Subscribe
Academic
Authors
Sean L. Mooney
Edit
Sean L. Mooney
Iowa State University
Publications: 6
|
Citations: 7
|
G-Index: 2
|
H-Index: 2
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
7 co-authors
from 2010 to 2011
; Cited by
7 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(6)
BibTeX
|
RIS
|
RefWorks
Download
Implicit invocation meets safe, implicit concurrency
(
Citations: 3
)
Yuheng Long
,
Sean L. Mooney
,
Tyler Sondag
,
Hridesh Rajan
Published in 2011.
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces
(
Citations: 1
)
Mehdi Bagherzadeh
,
Hridesh Rajan
,
Gary T. Leavens
,
Sean Mooney
Conference:
Aspect-Oriented Software Development - AOSD
, pp. 141-152, 2011
Implicit invocation meets safe, implicit concurrency
(
Citations: 3
)
Yuheng Long
,
Sean L. Mooney
,
Tyler Sondag
,
Hridesh Rajan
Conference:
Generative Programming and Component Engineering
, pp. 63-72, 2010
Almost free concurrency! (using GOF patterns)
Sean L. Mooney
,
Hridesh Rajan
,
Steven M. Kautz
,
Wayne Rowcliffe
Conference:
Conference on Object-Oriented Programming Systems, Languages, and Applications - OOPSLA
, pp. 249-250, 2010
Translucid contracts for modular reasoning about aspect-oriented programs
Mehdi Bagherzadeh
,
Hridesh Rajan
,
Gary T. Leavens
,
Sean Mooney
Conference:
Conference on Object-Oriented Programming Systems, Languages, and Applications - OOPSLA
, pp. 245-246, 2010
Order by:
Citations
(7 times by 4 publications)
Applying translucid contracts for modular reasoning about aspect and object oriented events
Mehdi Bagherzadeh
,
Gary T. Leavens
,
Robert Dyer
Published in 2011.
Concurrency by modularity: design patterns, a case in point
Hridesh Rajan
,
Steven M. Kautz
,
Wayne Rowcliffe
Published in 2010.
Reconciling concurrency and modularity with Panini's asynchronous typed events
Yuheng Long
,
Hridesh Rajan
,
Sean L. Mooney
Conference:
Conference on Object-Oriented Programming Systems, Languages, and Applications - OOPSLA
, pp. 243-244, 2010
Building scalable software systems in the multicore era
Hridesh Rajan
Published in 2010.
Comments