ROSAEC-HKUST CSE Joint Workshop on Software Analysis for Error-free Computing

ROSAEC-HKUST CSE Joint Workshop on Software Analysis for Error-free Computing was held during 16-19 Jan 2012 (Monday-Thursday) at HKUST. Over 75 professors and researchers participated in the workshop. The workshop was driven by, but not limited to, semantic-based static analysis, programming language theories, formal methods, and corpus-based computation.