The Computer Systems Group undertakes research and development in parallel and distributed computing, cloud computing, parallel and distributed simulation, composable modeling and simulation, and parallel program verification. Activities in parallel computing include performance prediction model to characterize application parallelism and its exploitation on different machine architectures, and testing and verification techniques for parallel programs. In distributed computing, current focus includes resource sharing such as strategic-proof game theoretic market-based pricing techniques for federated cloud, composability theory and validation to share and scale simulation, and techniques and models to improve the performance of peer-to-peer file distribution.
- Composable Models and Semantic Validation
- Market-based Resource Pricing
- Parallelism Models
- P2P File Distribution