INSTITUTION
State Key Laboratory of Computer Science
The people and conference roles recorded under this affiliation.
Historical source listings, not a staff directory or a claim about current employment. Aliases are grouped under this institution, and joint affiliations contribute once to each identified institution. Original affiliation wording is shown below; missing affiliations are not inferred.
People & conference service
Newest editions first| Person | Conference | Committee & role | Affiliation as listed | Evidence |
|---|---|---|---|---|
| Bai XueIdentity not yet linked | FMCAD 2026 | Program CommitteeProgram Committee | State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Fu SongIdentity not yet linked | FMCAD 2026 | Program CommitteeProgram Committee | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China | Conference website ↗Checked 2026-09-13 |
| Zhonghan WangIdentity not yet linked | VMCAI 2025 | Artifact Evaluation Committee MemberArtifact Evaluation Committee | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Hao HuIdentity not yet linked | AAAI 2024 | Program CommitteeAAAI-24 Program Committee | State Key Laboratory of Computer Science, Institue of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Le Sun | AAAI 2024 | Program CommitteeAAAI-24 Program Committee | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Le Sun | IJCAI 2024 | PCIJCAI 2024 PCs | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Naijun ZhanIdentity not yet linked | EMSOFT 2024 | Program CommitteeEMSOFT 2024 Program Committee | State Key Lab of Computer Science, CN | Conference website ↗Checked 2026-09-13 |
| Xianpei Han | AAAI 2024 | Program CommitteeAAAI-24 Program Committee | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Hao HuIdentity not yet linked | AAAI 2023 | Program CommitteeAAAI-23 Program Committee | State Key Laboratory of Computer Science, Institue of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Jian ZhangIdentity not yet linked | ICSE 2023 | Technical Track ICSE Technical TrackTechnical Track ICSE Technical Track | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China | Conference website ↗Checked 2026-09-13 |
| Le Sun | AAAI 2023 | Program CommitteeAAAI-23 Program Committee | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Xianpei Han | AAAI 2023 | Program CommitteeAAAI-23 Program Committee | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |
| Xianpei Han | IJCAI 2023 | PCIJCAI 2023 PCs | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences | Conference website ↗Checked 2026-09-13 |