博士生毕业要求至少达到下列条件之一（要求论文第一或通讯作者，所有论文均为长文，short paper、tool paper、demo、poster paper均不予计算，同一条件中论文工作互不相同，例如期刊论文作为会议论文的扩充版本，则两者只能计入其一）：
1. 在Nature、Science以及Nature子系列等顶级期刊综合版上发表或录用学术论文1篇； 2. A组期刊/会议发表或录用论文1篇，加任意所列出期刊或会议论文2篇； 3. B组期刊/会议发表或录用论文1篇，加任意所列出期刊或会议论文3篇；4. C组期刊/会议发表或录用论文2篇，加任意所列出期刊或会议论文4篇。
硕士生毕业要求至少达到下列条件之一（可为非第一或通讯作者）：
1. A/B组中所列任意期刊/会议发表或录用论文1篇；2. C组期刊/会议发表或录用论文2篇。
此处所列期刊/会议及其分组为根据本人研究方向，参考CCF推荐会议及期刊、澳大利亚CORE Conference and Journal Ranking所定，不具有任何推广意义。学生亦可根据论文研究方向选择其他期刊或会议（可参考CCF推荐会议及期刊），但需事先经导师本人确认与所列出期刊或会议水平相同。CCF推荐的其他会议和期刊若不在下面列表之中，可以对应等同视之。
Journal:Category A:
IEEE Transactions on Software Engineering, IEEE ACM Transactions on Programming Languages and Systems, ACM ACM Transactions on Software Engineering and Methodology, ACM Information and Computation, ELSEVIER ACM Transactions on Embedded Computing Systems, ACM ACM Transactions on Autonomous and Adaptive Systems, ACM Formal Methods in System Design, Springer Journal of the ACM, ACM
Category B:
Theoretical Computer Science, ELSEVIER Science of Computer Programming, ELSEVIER Formal Aspects of Computing, Springer Automated Software Engineering, Springer IEEE Transactions on Services Computing, IEEE Journal of Systems and Software, ELSEVIER Information and Software Technology, ELSEVIER Software and Systems Modeling, Springer Software Testing, Verification and Reliability, WileyMathematical Structures in Computer Science, Cambridge University Press
Category C:
ACM SIGPLAN Notices, ACM ACTA Informatica, Springer Information Processing Letters, ELSEVIER Journal of Universal Computer Science, TU GRAZFundamenta Informaticae, IOS Press Simulation Modelling Practice and Theory, ELSEVIER Frontiers of Computer Science, Springer & Higher Education Press Journal of Computer Science and Technology, Science Press Science China Information Sciences, Science in China Press
Conference:Category A:
AAAI（National Conference of the American Association for Artificial Intelligence）AAMAS（International Conference on Autonomous Agents and Multiagent Systems）ASE (International Conference on Automated Software Engineering) CAV (International Conference on Computer Aided Verification) ESEC/FSE或SIGSOFT/FSE (joint meeting of the European Software Engineering Conference andthe ACM SIGSOFT International Symposium on Foundations of SoftwareEngineering) FM (International Symposium on Formal Methods) ICSE (International Conference on Software Engineering)IJCAI (International Joint Conference on Artificial Intelligence) LICS (IEEE Symposium on Logic in Computer Science) OOPSLA (International Conference on Object-Oriented Programming Systems, Languages and Applications) PLDI (ACM SIGPLAN Conference on Programming Language Design and Implementation) POPL (Symposium on Principles of Programming Languages)
Category B:
ATVA (International Symposium on Automated Technology for Verification and Analysis) CBSE (International Symposium on Component-Based Software Engineering) CONCUR (International Conference on Concurrency Theory) Coordination (International Conference on Coordination Models and Languages) ECOOP (European Conference on Object-Oriented Programming)ETAPS (European Joint Conference on Theory And Practice of Software, ESOP,FASE,TACAS,CC,FoSSaCS) HSCC (International Conference on Hybrid Systems: Computation and Control) ICALP (International Colloquium on Automata, Languages and Programming) ICCPS (International Conference on Cyber-Physical Systems) ICSOC (International Conference on Service Oriented Computing) ISSTA (International Symposium on Software Testing and Analysis) MODELS (International Conference on Model-Driven Engineering Languages and Systems) RTSS (Real Time Systems Symposium) SAS (Static Analysis Symposium)VMCAI (International Conference on Verification, Model Checking and Abstract Interpretation)
Category C:
ACSD (Application of Concurrency to System Design )APLAS (Asian Symposium on Programming Languages and Systems) APSEC (Asia-Pacific Software Engineering Conference)CALCO (International Conference on Algebra and Coalgebra in Computer Science) CMCS (International Workshop on Coalgebraic Methods in Computer Science)COMPSAC (International Computer Software and Applications Conference) FACS (International Symposium on Formal Aspects of Component Software)ICECCS (IEEE International Conference on Engineering of Complex Computer Systems)ICFEM (International Conference on Formal Engineering Methods) ICST (The IEEE International Conference on Software Testing, Verification and Validation) ICTAC (International Colloquium on Theoretical Aspects of Computing) IFM (International Conference on Integrated Formal Methods) LOPSTR (International Symposium on Logic-based Program Synthesis and Transformation) MPC (International Conference on Mathematics of Program Construction) QSIC (International Conference on Quality Software) SAC (ACM Symposium on Applied Computing) SEFM (International Conference on Software Engineering and Formal Methods) SEKE (International Conference on Software Engineering and Knowledge Engineering) SETTA (Symposium on Dependable Software Engineering: Theories, Tools and Applications) SPIN (International SPIN Workshop on Model Checking of Software) TASE (International Symposium on Theoretical Aspects of Software Engineering)TOOLS (International Conference on Objects,Models, Components, Patterns) FOCLASA (International Workshop on the Foundations of Coordination Languages and Software Architectures)