|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 43 occurrences of 33 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robert Dyer 0001, Hridesh Rajan, Yuanfang Cai |
An exploratory study of the design impact of language features for aspect-oriented interfaces.  |
AOSD  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rex D. Fernando, Robert Dyer 0001, Hridesh Rajan |
Event type polymorphism.  |
FOAL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Sondag, Hridesh Rajan |
Phase-based tuning for better utilization of performance-asymmetric multicore processors.  |
CGO  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney |
Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces.  |
AOSD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Gary T. Leavens, Robert Dyer 0001, Mehdi Bagherzadeh |
Modularizing crosscutting concerns with Ptolemy.  |
AOSD (Companion)  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang |
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?  |
FASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan (eds.) |
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011  |
FOAL  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 |
VMIL 2011: the 5th workshop on virtual machines and intermediate languages.  |
OOPSLA Companion  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer 0001, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter |
Modularizing crosscutting concerns with ptolemy.  |
OOPSLA Companion  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari |
Modular aspect-oriented design with XPIs.  |
ACM Trans. Softw. Eng. Methodol.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Dyer 0001, Hridesh Rajan |
Supporting dynamic aspect-oriented features.  |
ACM Trans. Softw. Eng. Methodol.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan |
Automating Cut-off for Multi-parameterized Systems.  |
ICFEM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Warren Baelen, Yuanfang Cai, Robert Dyer 0001, Hridesh Rajan |
Feature Volatility Assessment.  |
SPLC Workshops  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan |
Implicit invocation meets safe, implicit concurrency.  |
GPCE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan |
Property-aware program sampling.  |
PASTE  |
2010 |
DBLP DOI BibTeX RDF |
property-aware monitoring, slice fragments, static analysis, sampling, profiling, program slicing, instrumentation |
| 1 | Tyler Sondag, Hridesh Rajan |
A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis.  |
RTSS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuheng Long, Hridesh Rajan, Sean L. Mooney |
Reconciling concurrency and modularity with Panini's asynchronous typed events.  |
SPLASH/OOPSLA Companion  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe |
Almost free concurrency! (using GOF patterns).  |
SPLASH/OOPSLA Companion  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe |
Concurrency by modularity: design patterns, a case in point.  |
OOPSLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney |
Translucid contracts for modular reasoning about aspect-oriented programs.  |
SPLASH/OOPSLA Companion  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 |
VMIL 2010: 4th workshop on virtual machines and intermediate languages.  |
SPLASH/OOPSLA Companion  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Sondag, Kian L. Pokorny, Hridesh Rajan |
Frances: a tool for understanding code generation.  |
SIGCSE  |
2010 |
DBLP DOI BibTeX RDF |
frances, visualization, compilers, code generation |
| 1 | Hridesh Rajan |
Building scalable software systems in the multicore era.  |
FoSER  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Unifying aspect- and object-oriented design.  |
ACM Trans. Softw. Eng. Methodol.  |
2009 |
DBLP DOI BibTeX RDF |
Classpect, Eos, first class aspect instances, instance-level advising, unified aspect language model, aspect-oriented programming, binding |
| 1 | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 |
VMIL: workshop on virtual machines and intermediate languages.  |
OOPSLA Companion  |
2009 |
DBLP DOI BibTeX RDF |
optimization, compilation, virtual machine, interpretation, dynamic dispatch, intermediate language |
| 1 | Youssef Hanna, Hridesh Rajan |
Slede: Framework for automatic verification of sensor network security protocol implementations.  |
ICSE Companion  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hanna, Samik Basu, Hridesh Rajan |
Behavioral automata composition for automatic topology independent verification of parameterized systems.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
parameterized model checking |
| 1 | Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens |
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.  |
ESOP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Mahantesh Hosamani |
Tisa: Toward Trustworthy Services in a Service-Oriented Architecture.  |
IEEE T. Services Computing  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Dyer 0001, Hridesh Rajan |
Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation.  |
AOSD  |
2008 |
DBLP DOI BibTeX RDF |
Nu, aspect-oriented intermediate languages, aspect-oriented virtual machines, invocation, weaving |
| 1 | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 |
Virtual machines and intermediate languages for emerging modularization mechanisms.  |
OOPSLA Companion  |
2008 |
DBLP DOI BibTeX RDF |
optimization, compilation, virtual machine, interpretation, separation of concerns, dynamic dispatch, intermediate language |
| 1 | Hridesh Rajan, Gary T. Leavens |
Ptolemy: A Language with Quantified, Typed Events.  |
ECOOP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hanna, Hridesh Rajan, Wensheng Zhang 0001 |
Slede: a domain-specific verification framework for sensor network security protocol implementations.  |
WISEC  |
2008 |
DBLP DOI BibTeX RDF |
intruder generation, sensor networks, model checking, security protocols |
| 1 | Hridesh Rajan |
A case for explicit join point models for aspect-oriented intermediate languages.  |
VMIL  |
2007 |
DBLP DOI BibTeX RDF |
Nu AO intermediate language, aspect-oriented intermediate languages, explicit join point models, implicit join point models |
| 1 | Hridesh Rajan, Mira Mezini (eds.) |
Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, VMIL 2007, Vancouver, British Columbia, Canada, March 12-16, 2007  |
VMIL  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mahantesh Hosamani, Harish Narayanappa, Hridesh Rajan |
Monitoring the monitor: an approach towards trustworthiness in service oriented architecture.  |
IW-SOSWE  |
2007 |
DBLP DOI BibTeX RDF |
client-side data privacy, service oriented architecture, trust |
| 1 | William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan |
Modular Software Design with Crosscutting Interfaces.  |
IEEE Software  |
2006 |
DBLP DOI BibTeX RDF |
preconditions, aspect-oriented, postconditions |
| 1 | Robert Dyer 0001, Harish Narayanappa, Hridesh Rajan |
Nu: preserving design modularity in object code.  |
ACM SIGSOFT Software Engineering Notes  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juri Memmert, Hridesh Rajan |
Osiris: generating concern models from source code.  |
ACM SIGSOFT Software Engineering Notes  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hanna, Hridesh Rajan |
SLEDE: event-based specification of sensor network security protocols.  |
ACM SIGSOFT Software Engineering Notes  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Aspect language features for concern coverage profiling.  |
AOSD  |
2005 |
DBLP DOI BibTeX RDF |
Eos, concern coverage, coverage adequacy criteria, generalized advice, generalized join point models, C# |
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Classpects: unifying aspect- and object-oriented language design.  |
ICSE  |
2005 |
DBLP DOI BibTeX RDF |
classpect, join point-method binding, aspect-oriented |
| 1 | Kevin J. Sullivan, William G. Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan |
Information hiding interfaces for aspect-oriented design.  |
ESEC/SIGSOFT FSE  |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, design rules, options |
| 1 | Jia Xu, Hridesh Rajan, Kevin J. Sullivan |
Understanding Aspects via Implicit Invocation.  |
ASE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan |
One More Step in the Direction of Modularized Integration Concerns.  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan |
Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network.  |
ISCC  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Kevin J. Sullivan |
Eos: instance-level aspects for integrated system design.  |
ESEC / SIGSOFT FSE  |
2003 |
DBLP DOI BibTeX RDF |
design, integration, mediators, aspects, C#, instances |
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|