Concepedia

Proof-carrying Code

Proof-Carrying Code is a formal method in program verification where a code producer supplies a machine-checkable proof that the code adheres to a specified safety policy, enabling the consumer to verify the code's correctness before execution.

60

Publications

5.3K

Citations

113

Authors

43

Institutions

Publications per year

2017–2026

2

Parents

Publications

60

1–5 of 60

Authors

113

  1. GC
    George C. Necula

    University of California, Berkeley, United States

    11 publications · 2.5K citations

    11

    h-index

  2. ZS
    Zhong Shao

    Yale University, United States

    10 publications · 502 citations

    10

    h-index

  3. ZN
    Zhaozhong Ni

    Yale University, United States

    7 publications · 408 citations

    7

    h-index

  4. AW
    Andrew W. Appel

    Princeton University, United States

    7 publications · 780 citations

    7

    h-index

  5. XF
    Xinyu Feng

    University of Science and Technology of China, China

    4 publications · 216 citations

    4

    h-index

1–5 of 113

Institutions

43

  1. Yale University

    New Haven, United States

    12 h-index

    35 publications

    1.9K citations

  2. Princeton University

    Princeton, United States

    7 h-index

    12 publications

    1.1K citations

  3. University of California, Berkeley

    Berkeley, United States

    6 h-index

    12 publications

    561 citations

  4. University of Science and Technology of China

    Hefei, China

    4 h-index

    6 publications

    207 citations

  5. Paderborn University

    Paderborn, Germany

    3 h-index

    8 publications

    217 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    5 publications

    321 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    5 publications

    2.1K citations

  8. University of California, Irvine

    Irvine, United States

    2 h-index

    9 publications

    96 citations

1–8 of 43

Venues

  1. ACM SIGPLAN Notices

    6 publications · 202 citations

    6

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 141 citations

    5

    h-index

  3. Theoretical Computer Science

    2 publications · 70 citations

    2

    h-index

  4. Journal of Automated Reasoning

    1 publications · 35 citations

    1

    h-index

  5. arXiv (Cornell University)

    Repository · 1 publications · 34 citations

    1

    h-index

1–5