- A Case for Explicit Join Point Models for Aspect-Oriented Intermediate Languages
- Frances: A Tool For Understanding Code Generation Tyler Sondag
- Understanding Aspects via Implicit Invocation Jia Xu Hridesh Rajan Kevin Sullivan
- Nu: Towards an Aspect-Oriented Invocation Mechanism Technical Report, Dept. of Computer Sc., Iowa State University
- 0740-7459/06/$20.00 2006 IEEE Januar y/Februar y 2006 IEEE SOFTWARE 5 1 the specified join points. For example, the
- Phase-based Tuning for Better Utilization of Performance-Asymmetric Multicore Processors
- Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces
- Concurrency by Modularity: Design Patterns, a Case in Point Hridesh Rajan Steven M. Kautz Wayne Rowcliffe
- Implicit Invocation Meets Safe, Implicit Concurrency Yuheng Long Sean L. Mooney Tyler Sondag Hridesh Rajan
- SLEDE: Lightweight Verification of Sensor Network Security Protocol Implementations
- Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
- Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation
- Aspect Language Features for Concern Coverage Profiling Hridesh Rajan
- A Preliminary Study of Quantified, Typed Events Robert Dyer1
- Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor
- Monitoring the Monitor: An Approach towards Trustworthiness in Service Oriented Architecture
- Panini: A Language with Asynchronous, Typed Events Yuheng Long, Sean L. Mooney, and Hridesh Rajan
- Nu: Preserving Design Modularity in Object Code Robert Dyer Harish Narayanappa Hridesh Rajan
- Ptolemy: A Language with Quantified, Typed Events Hridesh Rajan and Gary T. Leavens
- A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis Tyler Sondag and Hridesh Rajan
- Automating Cut-off for Multi-parameterized Systems Youssef Hanna, David Samuelson, Samik Basu, and Hridesh Rajan
- Tisa: Towards Trustworthy Services in a Service-oriented Architecture Hridesh Rajan Mahantesh Hosamani
- Preserving Separation of Concerns through Compilation Technical Report #405, Dept. of Computer Sc., Iowa State University
- Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?
- Phase-guided Auto-Tuning for Improved Utilization of Performance-Asymmetric Multicore Processors
- How to Trust a Web Service Monitor Deployed in an Untrusted Environment? Mahantesh Hosamani Harish Narayanappa Hridesh Rajan
- Frances: A Tool For Understanding Code Tyler Sondag Kian L. Pokorny Hridesh Rajan
- Nu: Towards a Flexible and Dynamic Aspect-Oriented Intermediate Language Model
- Eo s : In s ta n c e -L e v e l A s p e c ts fo r In te g ra te d S y s te m D e s ig n Hrid e s h R a ja n
- Mining Software Repositories for Evaluating Software Engineering Properties of Language Designs
- A Decision Tree-based Approach to Dynamic Pointcut Evaluation Robert Dyer
- Building Scalable Software Systems in the Multicore Era Hridesh Rajan
- 1 Fix on Figure 3 in the Paper Fig. 1: Part of 1El
- Hridesh Rajan Jia Tao Steve Shaner Gary T. Leavens Iowa State U. Iowa State U. Iowa State U. U. of Central Florida
- Frances: A Tool For Understanding Code Generation Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan
- Panini: Reconciling Concurrency and Modularity in Design Yuheng Long, Sean L. Mooney, Tyler Sondag and Hridesh Rajan
- Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor
- Type-Based Quantification of Aspect-Oriented Programs Hridesh Rajan
- A Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems
- Unifying Aspect-and Object-Oriented Design HRIDESH RAJAN
- Effe c ts o f A p p ly in g M o b ility L o c a liz a tio n o n S o u r c e R o u tin g A lg o r ith m s fo r M o b ile A d H o c N e tw o r k .
- Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms
- Supporting Dynamic Aspect-oriented Features Robert Dyer and Hridesh Rajan
- Modular Aspect-Oriented Design with XPIs KEVIN SULLIVAN
- A Theory of Reads and Writes for Multi-level Tyler Sondag and Hridesh Rajan
- Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems
- Phase-guided Thread-to-core Assignment for Improved Utilization of Performance-Asymmetric Multi-Core Processors
- Instance-level Quantied, Typed Events for Integrated System Design
- SLEDE: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations
- Classpects: Unifying Aspect-and Object-Oriented Language Design
- Property-Aware Program Sampling Harish Narayanappa Mukul S. Bansal Hridesh Rajan
