高可信软件国际研讨会顺利举行
2011年高可信软件国际研讨会（International Symposium on High Confidence Software）于12月16日和12月17日在北京大学，其间14名国内外知名学者应邀在会上做了口头报告，与会者还讨论了十余份Research Posters，并进行了热烈的会场讨论。
以下是14份口头的题目和报告人
12月16日
1、Internetware: A Software Paradigm for Internet as a Computer (by Gang Huang, Peking University, China)
2、Service Reliability Engineering: Performance Evaluation, Fault Tolerance, and Reliability Prediction (by Michael R. Lyu, Chinese University of Hong Kong, China)
3、Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Coopera-tions to Get Work Done (by Tao Xie, Peking University, China; North Carolina State University, USA)
4、Automating Test Automation (by Suresh Thummalapenta, IBM Research, India)
5、Canonicalizing Execution for Automated Debugging (by Xiangyu Zhang, Purdue University, USA)
6、Making OS Kernels Crash-Proof by Design and Certification (by Zhong Shao, Yale University, USA)
7、Are Users' Misconfigurations Your Fault? (by Yuanyuan Zhou, University of California San Diego, USA)
12月17日
8、The Multi-facets of Building Dependable Applications over Connected Physical Objects (by Shing-Chi Cheung, Hong Kong Univ. of Science and Technology, China)
9、High-Confidence Ubiquitous Computing Systems (by David Rosenblum, National University of Singapore, Singapore)
10、A Temporal Framework for Timely Completion of Cloud Workflows( by Yun Yang, Swinburne University of Technology, Australia)
11、Software Analytics in Practice – Approaches and Experiences (by Dongmei Zhang, Microsoft Research Asia, China)
12、Bidirectional Model Transformation for High-Confidence Software Evolution (by Zhenjiang Hu, National Institute of Informatics, Japan)
13、Detecting Access Control Vulnerabilities in Web Applications (by Zhendong Su, University of California Davis, USA)
14、Can We Just Change What We See on the Interface? (by Lu Zhang, Peking University, China)
