北京大学官网北京大学新闻网 English
金芝
点赞:
金芝
点赞:
简介

I joined Peking University as a professor of Department of Computer Science and Technology in 2009. Before 2009, I was professor in Academy of Mathematics and System SciencesChinese Academy of Science

I received BS degree from Department of Computer Science of Zhejiang University in 1984 and received MS and PhD degrees from Department of Computer Science of National University of Defense Technology in 1984 and 1992 respectively

I became an assistant professor in 1992, an associate professor in 1995, and a full professor in 2001 in Academy of Mathematics and System SciencesChinese Academy of Science.

I am Fellow of CCF (China Computer Federation),  a senior member of IEEE (Institute of Electrical and Electronics Engineers), and a member of ACM (Association for Computing Machinery)


Research

My main interest is in knowledge engineering and software engineering in general, and knowledge graphs, self-adaptive systems, and deep learning in particular. I am very interested in knowledge-based software engineering, and I am looking into how human’s domain knowledge is helping to elicit the requirements, to design and implement the systems.


Current Research Interests

  • Self-Adaptive Software in the Human, Cyber-Physical Systems

  • Crowd based Requirements Engineering and Software Development

  • Learning from both the Natural Language and Programming Language


Selected Publications [DBLP | Google Scholar]

[Book] Environment Modeling based Requirements Engineerinng for Software Intensive Systerms, Elsevier, Morgan Kaufmann Publisher, 2019


Multi-task Learning based Pre-trained Language Model for Code Completion (ASE 2020)

Retrieve and Refine: Exemplar-based Neural Comment Generation (ASE 2020)

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations (ASE 2020) (ACM Distinguished Paper Award)

Modular Tree Network for Source Code Representation Learning  (TOSEM 2020)

Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration  (JSS 2020)

Modeling programs hierarchically with stack-augmented LSTM  (JSS 2020)

Deep code comment generation with hybrid lexical and syntactical information (EMSE 2020) 

A Self-Attentional Neural Architecture for Code Completion with Multi-Task Learning (ICPC 2020, ACM Distinguished Paper Award)

Detecting Code Clones with Graph Neural Network and Flow-Augmented Abstract Syntax Tree  (SANER 2020)

Privacy-Aware UAV Flights through Self-Configuring Motion Planning  (ICRA 2020)

Generating Adversarial Examples for Holding Robustness of Source Code Processing  (AAAI 2020)

Companies' Participation in OSS Development - An Empirical Study of OpenStack (IEEE TSE 2020)

Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems  (RE'19)

POET: Privacy on the Edge with Bidirectional Data Transformations  (PerCom 2019)

Smart Contract-Based Negotiation for Adaptive for QoS-Aware Service Composition (IEEE TPDS 2019)

Code Generation as a Dual Task of Code Summarization  (NeurIPS 2019)

IntelliMerge: a refactoring-aware software merging technique  (OOPSLA 2019)

Towards Better Summarizing Bug Reports with Crowdsourced Attributes (IEEE TR 2019)

Simplifying the Formal Verification of Safety Requirements in Zone Controllers through Problem Frames and Constraints based Projection (IEEE TITS 2018)

Deep Code Comment Generation  (ICPC 2018, ACM Distinguished Paper Award)

Summarizing Source Code with Transferred API Knowledge (IJCAI 2018)

Stimergy-Based Construction of Internetware Artifacts (IEEE Software 2015)


Academic Activities

Associated Editor: IEEE Transactions on Software Engineering (2018-now), IEEE Transactions on Reliability(2019-now

Editorial Board Member: Empirical Software Engineering (2020-now), Requirements Engineering Journal (2017-now), 

Guest Editor: Special Section on Quality Assurance of Machine Learning Systems in IEEE Transactions on Reliability

Organizers: ICSE 2021 (Area Chair), IEEE SERVICES CONGRESS 2020 (PC-in-Chief Co-Chair), RE 2010 (GC Chair), COMPSAC 2011 (PC Co-Chair), KSEM 2009 (PC Co-Chair)

PC Members: ICSE 2020, FSE 2021/2020, RE 2021/2020/2019/2018/2017, REFSQ 2021/2020, ……


Keynote Speeches