conference

Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development

Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sudipto Ghosh, Robert B. France

Verifiable composition of access control and application features

Eunjee Song, Raghu Reddy, Robert B. France, Indrakshi Ray, Geri Georg, Roger T. Alexander

Efficient Synthesis of Out-of-Core Algorithms Using a Nonlinear Optimization Solver

Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, J. Ramanujam, P. Sadayappan, Venkatesh Choppella

Specifying Cross-Cutting Requirement Concerns

Geri Georg, Raghu Reddy, Robert B. France

Data Locality Optimization for Synthesis of Efficient Out-of-Core Algorithms

Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, David E. Bernholdt, Venkatesh Choppella

Memory-Constrained Data Locality Optimization for Tensor Contractions

Alina Bibireata, Sandhya Krishnan, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, David E. Bernholdt, Venkatesh Choppella

Polymorphic Type Reconstruction Using Type Equations

Venkatesh Choppella

Source-Tracking Unification

Venkatesh Choppella, Christopher T. Haynes

Validating Run-time Interactions in Distributed Java Applications

Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy

Requirements for and Evaluation of RMI Protocols for Scientific Computing

Madhusudhan Govindaraju, Aleksander Slominski, Venkatesh Choppella, Randall Bramley, Dennis Gannon