Concepedia

Static Single Assignment Form

Static Single Assignment Form is an intermediate representation in compiler construction that distinguishes itself by assigning each variable exactly once, thereby enabling precise and efficient data-flow analysis during code generation.

81

Publications

9.6K

Citations

162

Authors

72

Institutions

Publications per year

2017–2026

5

Parents

Publications

81

LLVM: A compilation framework for lifelong program analysis & transformation

Chris Lattner, Vikram Adve · 2004 · 2.5K citations

, , +17

Efficiently computing static single assignment form and the control dependence graph

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · ACM Transactions on Programming Languages and Systems · 1991 · 2.2K citations · Full text

, , +12

Slither: A Static Analysis Framework for Smart Contracts

2019 · 758 citations · Full text

, , +17

An efficient method of computing static single assignment form

Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen et al. · 1989 · 465 citations

, , +6

Automatic test data generation using constraint solving techniques

Arnaud Gotlieb, Bernard Botella, Michel Rueher · 1998 · 233 citations · Full text

, , +16

1–5 of 81

Authors

162

  1. RK
    Ron K. Cytron

    Washington University in St. Louis, United States

    4 publications · 2.8K citations

    4

    h-index

  2. MW
    Michael Wolfe

    Oregon Museum of Science and Industry, United States

    4 publications · 319 citations

    4

    h-index

  3. KD
    Keith D. Cooper

    Rice University, United States

    3 publications · 252 citations

    3

    h-index

  4. DN
    Diego Novillo

    Google (Canada), Canada

    3 publications · 98 citations

    3

    h-index

  5. MD
    Michel Delaunay

    Laboratoire de Conception et d'Intégration des Systèmes, France

    3 publications · 41 citations

    3

    h-index

1–5 of 162

Institutions

72

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

    Le Chesnay-Rocquencourt, France

    6 h-index

    15 publications

    349 citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    5 h-index

    16 publications

    5.7K citations

  3. Cornell University

    Ithaca, United States

    4 h-index

    10 publications

    831 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    8 publications

    450 citations

  5. STMicroelectronics (France)

    Montrouge, France

    4 h-index

    8 publications

    162 citations

  6. École Normale Supérieure de Lyon

    Lyon, France

    3 h-index

    5 publications

    153 citations

  7. Hewlett-Packard (United States)

    Palo Alto, United States

    3 h-index

    4 publications

    114 citations

  8. Rice University

    Houston, United States

    3 h-index

    9 publications

    645 citations

1–8 of 72

Venues

  1. 7

    h-index

  2. ACM SIGPLAN Notices

    6 publications · 144 citations

    6

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 62 citations

    3

    h-index

  4. ACM Transactions on Architecture and Code Optimization

    TACO · 2 publications · 190 citations

    2

    h-index

  5. arXiv (Cornell University)

    Repository · 1 publications · 62 citations

    1

    h-index

1–5