Basic Information
Name: Leping Zhang
Institution: Beihang University
Registration: 2020-09-30
Score: 31
Tracked Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| a | a* | a1 | OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2023-11-30 | 2024-03-21 | 2024-07-10 |
| a | a* | a1 | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2023-11-16 | 2024-02-26 | 2024-06-24 |
| a | a* | a1 | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2023-07-11 | 2023-11-07 | 2024-01-17 |
| c | b | APSEC | Asia-Pacific Software Engineering Conference | 2023-06-30 | 2023-08-18 | 2023-12-04 | |
| a | ITP | International Conference on Interactive Theorem Proving | 2022-02-01 | 2022-03-30 | 2022-08-07 | ||
| CPP | International Conference on Certified Programs and Proofs | 2021-09-16 | 2021-11-22 | 2022-01-16 |
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2023-11-30 | 2024-07-10 |
| PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2023-11-16 | 2024-06-24 |
| POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2023-07-11 | 2024-01-17 |
| APSEC | Asia-Pacific Software Engineering Conference | 2023-06-30 | 2023-12-04 |
| ITP | International Conference on Interactive Theorem Proving | 2022-02-01 | 2022-08-07 |
| CPP | International Conference on Certified Programs and Proofs | 2021-09-16 | 2022-01-16 |
Attend Conferences
| CCF | CORE | QUALIS | Short | Full Name | Conference | Location |
|---|---|---|---|---|---|---|
| c | b | APSEC | Asia-Pacific Software Engineering Conference | 2020-12-01 | Singapore |
| Full Name | Conference | Location |
|---|---|---|
| Asia-Pacific Software Engineering Conference | 2020-12-01 | Singapore |
Tracked Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| No results found. | ||||
| Full Name | Impact Factor | Publisher |
|---|---|---|
| No results found. | ||
Followed Researchers
| Name | Institution | Registration | Score |
|---|---|---|---|
| No results found. | |||
| Name | Institution | Score |
|---|---|---|
| No results found. | ||
Tracked Jobs
| Job Title | Employer | Job Location |
|---|---|---|
| No results found. | ||
| Job Title | Employer | Job Location |
|---|---|---|
| No results found. | ||
Viewed Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| No results found. | |||||||
| Short | Full Name | Submission | Conference |
|---|---|---|---|
| No results found. | |||
Viewed Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| No results found. | ||||
| Full Name | Impact Factor | Publisher |
|---|---|---|
| No results found. | ||