基本情報
名前: Leping Zhang
所属機関: Beihang University
登録日: 2020-09-30
スコア: 31
研究関心プロフィール システム自動生成

閲覧した会議やジャーナルから、この研究者は主に ソフトウェア工学, システム・アーキテクチャ に関心があると見られます。 よく閲覧する会議・ジャーナルには CPP, APSEC, ITP, PLDI, POPL などがあります。

履歴書
フォロー中の会議
合計 6 件。
CCFICORE略称正式名称投稿締切通知日開催日
BCPPInternational Conference on Certified Programs and Proofs2026-09-032027-11-102027-01-10
CCAPSECAsia-Pacific Software Engineering Conference2026-07-202026-09-142026-12-07
AA*POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
BITPInternational Conference on Interactive Theorem Proving2026-02-122026-04-262026-07-26
AA*OSDIUSENIX Symposium on Operating Systems Design and Implementation2025-12-042026-03-262026-07-13
AA*PLDIACM SIGPLAN conference on Programming Language Design and Implementation2025-11-132026-03-052026-06-15
参加した会議
合計 1 件。
CCFICORE略称正式名称開催日開催地
CCAPSECAsia-Pacific Software Engineering Conference2020-12-01Singapore
フォロー中のジャーナル
CCF正式名称インパクトファクター出版社ISSN
結果が得られませんでした。
フォロー中の研究者
名前所属機関登録日スコア
結果が得られませんでした。