|
Dr. Cong-Cong Xing Associate Prof Dept of Math and Computer Science Pel 134-F Tel: (985) 448-4406 Email: let 1=cmps-cx 2=@ 3=nicholls.edu in 123 endlet |
|
|
Courses |
Office Hours |
|---|---|
|
|
|
Research Interests All aspects of programming languages with a focus on type theory and object-oriented programming. Algebraic graph transformations and graph grammars. Computer science education. |
|
Professional Activities
- Reviewer of Elsevier journal Science of Computer Programming, special issue 2008.
- Reviewer of CCSC-MS 2008.
- Program committee member for the 2007 International Conference on Principles and Practices of Programming in Java (PPPJ'07), Lisbon, Portugal.
- Session chair for the 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE'07), Shanghai, China, 2007.
- Reviewer of CCSC-MS 2007.
- Reviewer of CCSC-E 2007.
- Reviewer of International Journal of Computing and Information Sciences, 2006.
- Reviewer of CCSC-E 2006.
- Reviewer of CCSC-MS 2006.
- Reviewer of the Journal of Supercomputing, 2005.
- Reviewer of ACMSE conference, Kennesaw, 2005.
- Program committee member (track chair) for The 2006 World Congress in Computer Science, Computer Engineering, and Applied Computing, Las Vegas, 2006.
- Session co-chair of 8th International Conference for Young Computer Scientists, Beijing, 2005.
Selected Peer-Reviewed Publications
- Cong-Cong Xing. {\em Binary Methods and Parameterized Types in Java: A Conflicting Point between Theory and Practice}. 2008 International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, 2008.
- Cong-Cong Xing. {\em A Graph-based Representation for Object Types}. In Proceedings of the 7th International Workshop on Graph Transformation and Visual Modeling Techniques at the 2008 European Joint Conference on Theory and Practice of Software (ETAPS 2008), Budapest, Hungary, 2008
- Cong-Cong Xing. {\em Enhancing the Teaching and Learning of Functions through Functional Programming in ML}. Journal of Computer Sciences in Colleges, Vol 23, No 4, 2008.
- Cong-Cong Xing. {\em An Object Type Graph System}. In Proceedings of the 1st IEEE \& IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, China, 2007
- Cong-cong Xing. {\em Program Verifications, Object Interdependencies, and Object Types }. eInformatica International Software Engineering Journal, Vol. 1, No.1, 2007.
- Cong-Cong Xing. {\em Proof Diagrams: A Graphical Tool for Assisting Set Proofs}. Journal of Computer Sciences in Colleges, Vol. 22, No. 5, 2007.
- Cong-cong Xing. {\em Enhancing Program Verifications by Restricting Object Types}. In Proceedings of the 21st ACM Symposium on Applied Computing, Vol. 2, Dijon, France, 2006.
- Cong-cong Xing. {\em Contravariant Methods in Java and C++: A Case Study}. Journal of Computing Sciences in Colleges, Vol. 21, No. 5, May 2006.
- Cong-cong Xing. {\em An Algorithm for Computing Links}. In Proceedings of the 44th ACM Southeast Conference, Melbourne, Florida, 2006.
- Cong-cong Xing. {\em Integrating Object Component Interdependencies into Object Types}. In Proceedings of 8th International Conference for Young Computer Scientists, Beijing, China, 2005.
- Cong-cong Xing. {\em Object Interdependencies, Behaviors, Semantics, and Types}. In Proceedings of 2005 International Conference on Programming Languages and Compilers, Las Vegas, NV, 2005.
- Cong-cong Xing and Bill Buckles. {\em On the Size of the Search Space of Join Optimization}. Journal of Computing Sciences in Colleges, Vol. 20, No. 6, 2005
- Cong-cong Xing and B. Belkhouche. {\em The Movable Point Problem and Its Resolution in Object Type Graphs}. In Proceedings of 43rd ACM-SE Conference, Kennesaw, GA, 2005. (Best Paper Award )
- Cong-cong Xing and B. Belkhouche. {\em Repr\'{e}sentation graphique des objets et sous-typage}. Revue des sciences et technologies de l'information (RSTI) - L'Objet Journal, Vol. 11, No. 1-2, Hermes and Lavoisier, 2005.
- Cong-cong Xing and B. Belkhouche. {\em On Pseudo Object-oriented Programming Considered Harmful}. Communications of the ACM, Vol. 46, No. 10, 2003.