기본 정보
이름: Leping Zhang
소속 기관: Beihang University
가입일: 2020-09-30
점수: 31
소속 기관: Beihang University
가입일: 2020-09-30
점수: 31
연구 관심 프로필
시스템 자동 생성
조회한 학회와 저널로 볼 때, 이 연구자는 주로 소프트웨어 공학, 시스템·아키텍처에 관심이 있는 것으로 보입니다. 자주 조회하는 학회·저널로는 CPP, APSEC, ITP, PLDI, POPL 등이 있습니다.
이력서
팔로우한 학회
모두 6 개
| CCF | ICORE | 약칭 | 정식 명칭 | 투고 마감 | 통보일 | 개최일 |
|---|---|---|---|---|---|---|
| B | CPP | International Conference on Certified Programs and Proofs | 2026-09-03 | 2027-11-10 | 2027-01-10 | |
| C | C | APSEC | Asia-Pacific Software Engineering Conference | 2026-07-20 | 2026-09-14 | 2026-12-07 |
| A | A* | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2026-07-09 | 2026-10-05 | 2027-01-10 |
| B | ITP | International Conference on Interactive Theorem Proving | 2026-02-12 | 2026-04-26 | 2026-07-26 | |
| A | A* | OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2025-12-04 | 2026-03-26 | 2026-07-13 |
| A | A* | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2025-11-13 | 2026-03-05 | 2026-06-15 |
참가한 학회
모두 1 개
| CCF | ICORE | 약칭 | 정식 명칭 | 개최일 | 개최지 |
|---|---|---|---|---|---|
| C | C | APSEC | Asia-Pacific Software Engineering Conference | 2020-12-01 | Singapore |
팔로우한 저널
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
결과가 없습니다. | ||||
팔로우한 연구자
| 이름 | 소속 기관 | 가입일 | 점수 |
|---|---|---|---|
결과가 없습니다. | |||