Concepedia

Compiler Optimization Validation

Compiler Optimization Validation is a methodological framework within the domain of program analysis that formally verifies the semantic equivalence of source and optimized code to ensure that compiler optimizations preserve program behavior.

30

Publications

1.8K

Citations

87

Authors

36

Institutions

Publications per year

2017–2026

5

Variants

Compiler Optimization Verification

Parents

Publications

30

Compiler validation via equivalence modulo inputs

Vu Le, Mehrdad Afshari, Zhendong Su · 2014 · 372 citations

, , +10

Compiler validation via equivalence modulo inputs

Vu Le, Mehrdad Afshari, Zhendong Su · ACM SIGPLAN Notices · 2014 · 207 citations

, , +10

Equality saturation

Ross Tate, Michael Stepp, Zachary Tatlock et al. · 2009 · 185 citations

, , +14

The Correctness-Security Gap in Compiler Optimization

Vijay D’Silva, Mathias Payer, Dawn Song · 2015 · 98 citations · Full text

, , +13

Design, implementation, and evaluation of optimizations in a just-in-time compiler

Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasue et al. · 1999 · 96 citations

, , +13

1–5 of 30

Authors

87

  1. JT
    Jean-Baptiste Tristan

    Harvard University Press, United States

    3 publications · 200 citations

    3

    h-index

  2. RT
    Ross Tate

    Cornell University, United States

    3 publications · 271 citations

    3

    h-index

  3. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    3 publications · 59 citations

    3

    h-index

  4. SL
    Sorin Lerner

    University of California San Diego, United States

    3 publications · 271 citations

    3

    h-index

  5. XL
    Xavier Leroy

    Université de Lille, France

    3 publications · 132 citations

    3

    h-index

1–5 of 87

Institutions

36

  1. New York University

    New York, United States

    2 h-index

    7 publications

    249 citations

  2. Harvard University Press

    Cambridge, United States

    2 h-index

    6 publications

    414 citations

  3. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    4 publications

    208 citations

  4. University of California, Davis

    Davis, United States

    2 h-index

    6 publications

    1.7K citations

  5. Rutgers, The State University of New Jersey

    New Brunswick, United States

    2 h-index

    2 publications

    104 citations

  6. AbsInt (Germany)

    Saarbrücken, Germany

    2 h-index

    6 publications

    210 citations

  7. Weizmann Institute of Science

    Rehovot, Israel

    2 h-index

    3 publications

    60 citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    2 h-index

    4 publications

    152 citations

1–8 of 36

Venues

  1. ACM SIGPLAN Notices

    4 publications · 353 citations

    4

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 96 citations

    3

    h-index

  3. Future Generation Computer Systems

    FGCS · 1 publications · 43 citations

    1

    h-index

  4. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 13 citations

    1

    h-index

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

    Repository · 1 publications · 26 citations

    1

    h-index

1–5