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 | 2022-12-06 | 2023-03-23 | 2023-07-10 |
a | a* | a1 | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2022-11-10 | 2023-02-24 | 2023-06-19 |
c | b | APSEC | Asia-Pacific Software Engineering Conference | 2022-06-29 | 2022-08-15 | 2022-12-06 | |
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 | |||
a | a* | a1 | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2021-07-08 | 2021-09-29 | 2022-01-16 |
Short | Full Name | Submission | Conference |
---|---|---|---|
OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2022-12-06 | 2023-07-10 |
PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2022-11-10 | 2023-06-19 |
APSEC | Asia-Pacific Software Engineering Conference | 2022-06-29 | 2022-12-06 |
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 |
POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2021-07-08 | 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. |