Concepedia

Safety Verification Of Generated Code

Safety Verification of Generated Code is a formal method within the domain of compiler correctness that ensures the machine code produced by an ahead-of-time compilation process adheres to specified safety properties, such as memory safety, type safety, and control-flow integrity, by mathematically proving the absence of runtime errors and unintended behaviors in the generated executable.

54

Publications

4K

Citations

175

Authors

76

Institutions

Publications per year

2017–2026

14

Parents

Publications

54

1–5 of 54

Authors

175

  1. PL
    Peter Lee

    Imperial College London, United Kingdom

    6 publications · 646 citations

    6

    h-index

  2. GC
    George C. Necula

    University of California, Berkeley, United States

    6 publications · 2.5K citations

    6

    h-index

  3. CH
    Chris Hawblitzel

    Microsoft (United States), United States

    4 publications · 174 citations

    4

    h-index

  4. BF
    Bernd Fischer

    University of Southampton, United Kingdom

    3 publications · 44 citations

    3

    h-index

  5. CC
    Christopher Colby

    Loyola University Chicago, United States

    3 publications · 232 citations

    3

    h-index

1–5 of 175

Institutions

76

  1. Carnegie Mellon University

    Pittsburgh, United States

    8 h-index

    14 publications

    3K citations

  2. Yale University

    New Haven, United States

    5 h-index

    7 publications

    275 citations

  3. Microsoft (United States)

    Redmond, United States

    5 h-index

    7 publications

    266 citations

  4. Cornell University

    Ithaca, United States

    4 h-index

    4 publications

    307 citations

  5. Ames Research Center

    Mountain View, United States

    3 h-index

    8 publications

    122 citations

  6. Princeton University

    Princeton, United States

    3 h-index

    9 publications

    228 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    3 publications

    162 citations

  8. University of Science and Technology of China

    Hefei, China

    2 h-index

    5 publications

    196 citations

1–8 of 76

Venues

  1. ACM SIGPLAN Notices

    6 publications · 177 citations

    6

    h-index

  2. arXiv (Cornell University)

    Repository · 2 publications · 33 citations

    2

    h-index

  3. 2

    h-index

  4. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 2 publications · 50 citations

    2

    h-index

  5. Theoretical Computer Science

    1 publications · 11 citations

    1

    h-index

1–5