China-US Software Workshop

September 27 - 29, 2011
KIAA Institute, Peking University, Beijing

Organizers:

Yifeng Chenname, Peking University, cyf at pku.edu.cn

Phil Papadopoulos, UCSD, phil at sdsc.edu

Peter Arzberger, UCSD, parzberg at ucsd.edu

Slides:

• Lorenzo Alvisi, The University of Texas at Austin
  Reasoning with MAD distributed systems

• Yifeng Chen, Peking University
  Programming GPU Clusters with Array Algebra

• Edmond Chow, Georgia Institute of Technology
  High-Performance Parallel Computing for Scientific Applications

• Peter Dinda, Northwestern University
  Virtualization, Empathic Systems, and Sensors Current Work in the Prescience Lab

• Wei Dong, National University of Defense Technology
  Property Oriented Verification, Testing and Monitoring of Safety Critical Software

• Xiaobing Feng, Institute of Computing Technology, CAS
  Parallel Programming Model

• Renato Figueiredo, University of Florida
  Self-configuring Wide-area Virtual Networks and Applications: SocialVPN and Grid Appliances

• Jose Fortes, University of Florida
  ACIS/CAC Research Activities

• William Gropp, University of Illinois at Urbana-Champaign
  Extreme Scale Computing

• Mingyi Guo, Shanghai Jiao Tong University
  The Research of Some Key Technologies of Compiler Optimization for on-chip multi-core processor

• Yutong Lu, National University of Defense Technology
  
  • Large Scale Hybrid Tiered File System Architecture for the Post petascale and Exascale Computing

  • Resilience Computing FrameworkFor Large-Scale High Performance Computing System

• Esmond Ng, Lawrence Berkeley National Laboratory
  FASTMath - Frameworks, Algorithms, and Scalable Technologies for Mathematics

• Manish Parashar, Rutgers University
  
  • Enabling Science and Engineering Work flows on Dynamically Federated Cloud Infrastructure using CometCloud

  • Green High Performance Computing Initiative at Rutgers University

  • RU-Spaces: Enabling Data-Intensive Applications Workflows at Extreme Scale

• Abani Patra, University of Buffalo
  Scaling the Science: Volcanic Hazard Analysis using HPC, Hazardous Mass Flow Modeling, Statistical Modeling and Parallel Analytics

• Xin Peng, Fudan University
  Requirements-Driven Runtime Adaptation for Trustworthiness Assurance

• Depei Qian, Beihang University
  National High Technology Research and Development Program (863 Program) key projects: Earth System Model Integrated Developing Platform

• Judy Qiu, Indiana University
  Iterative MapReduce Enabling HPC-Cloud Interoperability

• Padma Raghavan, The Pennsylvania State University
  Sparse Computations: Better, Faster, Cheaper!

• Patrick Traynor, Georgia Tech Information Security Center
  Research Challenges in Cellular and Mobile Network Security

• Rebecca Wright, Rutgers University
  Research interests: computer and communications security, particularly in the areas of privacy, accountability, cryptographic protocols, and fault-tolerant distributed computing

• Felix Wu, University of California
  Davis Social Links

• Jian Zhang, Chinese Academy of Sciences
  Program Analysis and Test Data Generation Through Constraint Solving

• Lu Zhang, Peking University
  Research on Techniques for Evolutionary Software Development

• Jianjun Zhao, Shanghai Jiao Tong University
  Program Analysis and Software Testing for System Dependability

• Jin Zhi, Peking University
  Eliciting and Modeling Dependability Requirements: a Control Case Based Approach

• Yuming Zhou, Nanjing University
  Towards a quality object-oriented system: metrics-guided models and methods

Workshop Index

DIMACS Homepage