Concepedia

Conversion To Static Single Assignment

Conversion to Static Single Assignment is a program transformation method that belongs to the class of intermediate representation constructions, distinguished by its systematic conversion of variables into unique, single-assignment forms to simplify data-flow analysis and enable precise optimization in compiler design.

20

Publications

1.5K

Citations

40

Authors

17

Institutions

Publications per year

2017–2026

2

Variants

Ssa Conversion

Parents

Publications

20

Slither: A Static Analysis Framework for Smart Contracts

2019 · 758 citations · Full text

, , +17

Practical improvements to the construction and destruction of static single assignment form

Preston Briggs, Keith D. Cooper, Timothy J. Harvey et al. · Software Practice and Experience · 1998 · 123 citations

, , +15

Program Reusability through Program Transformation

James M. Boyle, M. N. Muralidharan · IEEE Transactions on Software Engineering · 1984 · 94 citations

, , +14

A correspondence between continuation passing style and static single assignment form

Richard Kelsey · 1995 · 89 citations

, , +16

SafeTSA

Wolfram Amme, Niall Dalton, Jeffery von Ronne et al. · 2001 · 72 citations

, , +8

1–5 of 20

Authors

40

  1. FD
    François de Ferrière

    STMicroelectronics (France), France

    3 publications · 40 citations

    3

    h-index

  2. RK
    Richard Kelsey

    Yale University, United States

    2 publications · 116 citations

    2

    h-index

  3. AS
    Arthur Stoutchinin

    STMicroelectronics (France), France

    2 publications · 23 citations

    2

    h-index

  4. FR
    Fabrice Rastello

    Institut national de recherche en sciences et technologies du numérique, France

    1 publications · 17 citations

    1

    h-index

  5. MW
    Michael Wolfe

    Oregon Museum of Science and Industry, United States

    1 publications · 53 citations

    1

    h-index

1–5 of 40

Institutions

17

  1. STMicroelectronics (France)

    Montrouge, France

    3 h-index

    6 publications

    80 citations

  2. Cornell University

    Ithaca, United States

    2 h-index

    4 publications

    87 citations

  3. Centre Inria de l'Université de Rennes

    Rennes, France

    1 h-index

    4 publications

    60 citations

  4. Rice University

    Houston, United States

    1 h-index

    2 publications

    246 citations

  5. New York University

    New York, United States

    1 h-index

    1 publications

    32 citations

  6. University of California, Irvine

    Irvine, United States

    1 h-index

    4 publications

    288 citations

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

    Le Chesnay-Rocquencourt, France

    1 h-index

    4 publications

    60 citations

  8. Laboratoire de Conception et d'Intégration des Systèmes

    Valence, France

    1 h-index

    3 publications

    33 citations

1–8 of 17

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 1 publications · 94 citations

    1

    h-index

  2. Journal of the ACM

    JACM · 1 publications · 42 citations

    1

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 11 citations

    1

    h-index

  4. Software Practice and Experience

    1 publications · 123 citations

    1

    h-index

  5. Symposium on Code Generation and Optimization

    Conference · 1 publications · 17 citations

    1

    h-index

1–5