Shuling Wang
Post Doctoral Fellow, working with Dr. Zhiming Liu and Dr. Xu Wang
Phone: +853 85040460
Email: wsl@iist.unu.edu
P. O. Box 3058, Macau
Research Interests
Formal Methods
Object-oriented Programming
Concurrent Programming and Systems
Object Confinement, Encapsulation and Ownership
Thesis
Object Confinement in Object-oriented Programming, Phd Thesis. Department of Mathematical Science, Peking University. July, 2008.
Publications
S. Wang, Z. Qiu, A Generic Model for Confinement and its Application, Theoretical Aspects of Software Engineering, 2nd IFIP/IEEE International Symposium on Volume , Issue, Page(s):57 - 64 . June 2008.
S. Wang, L.S. Barbosa, J.N. Oliveira, A Relational Model for Confined Separation Logic, TASE pp.263-270, 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
Z. Qiu, S. Wang, and Q. Long, Sequential μJava: Formal Foundations. Fifth Asian Workshop on Foundations of Software (AWSF’07), Xiamen, China, June, 2007.
S. Wang, Q. Long, and Z. Qiu, Type safety for FJ and FGJ. The 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC’06), Tunisia, Tunis, LNCS 4281, Springer, 2006.
Z. Qiu, S. Wang, G. Pu, X. Zhao, Semantics of BPEL4WS-like Fault and Compensation Handling. International Symposium of Formal Methods Europe (FM’05), New Castle, UK, LNCS 3582, Springer, 2005.7.
H. Yang, X. Zhao, Z. Qiu, G. Pu, S. Wang, A Formal Model for Web Service Choreography Description Language. International Conference on Web Services (ICWS’06), Chicago, USA, IEEE, CS Press, 2006.
G. Pu, H. Zhu, Z. Qiu, S. Wang, X. Zhao, J. He, Theoretical Foundation of Scope-based Compensable Flow Language for Web Service. The 8th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'06), Bologna, Italy, LNCS 4037, Springer, 2006.
G. Pu, X. Zhao, S. Wang, and Z. Qiu, Towards the semantics and verification of BPEL4WS. International Workshop on Web Languages and Formal Methods (WLFM’05), New Castle, UK, ENTCS 151(2), 33-52, Elsevier, 2006.5.
C. Zhang, Z. Lin, G. Pu, Z. Qiu, S. Wang, and X. Zhao, Robust tabu search for resource predictions in high level synthesis. The 6th Metaheuristics International Conference (MIC’05), Vienna, Austria, 2005.8
G. Pu, X. Zhao, S. Wang, Z. Qiu, J. He, and Y. Wang, An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. International Conference on Software Engineering and Formal Methods (SEFM’04), Beijing, China, IEEE Computer Society Press, 2004.9.