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 | 2024-12-03 | 2025-03-25 | 2025-07-07 |
a | a* | a1 | PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2024-11-14 | 2025-06-16 | |
CPP | International Conference on Certified Programs and Proofs | 2024-09-10 | 2024-11-19 | 2025-01-19 | |||
a | a* | a1 | POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2024-07-11 | 2024-11-07 | 2025-01-19 |
c | b | APSEC | Asia-Pacific Software Engineering Conference | 2024-07-06 | 2024-09-13 | 2024-12-03 | |
a | ITP | International Conference on Interactive Theorem Proving | 2022-02-01 | 2022-03-30 | 2022-08-07 |
Short | Full Name | Submission | Conference |
---|---|---|---|
OSDI | USENIX Symposium on Operating Systems Design and Implementation | 2024-12-03 | 2025-07-07 |
PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2024-11-14 | 2025-06-16 |
CPP | International Conference on Certified Programs and Proofs | 2024-09-10 | 2025-01-19 |
POPL | ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | 2024-07-11 | 2025-01-19 |
APSEC | Asia-Pacific Software Engineering Conference | 2024-07-06 | 2024-12-03 |
ITP | International Conference on Interactive Theorem Proving | 2022-02-01 | 2022-08-07 |
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. |