Static single-assignment form (English Wikipedia)

Kevin Millikin; Florian Schneider. "A New Crankshaft for V8". Chromium Blog. Retrieved 26 August 2026. An optimizing compiler which recompiles and optimizes hot code identified by the runtime profiler. It uses static single assignment form to perform optimizations such as loop-invariant code motion, linear-scan register allocation and inlining.

columbia.edu (Global: 554^th place; English: 368^th place)

cs.columbia.edu

Ramanan, Neeraja (12 Dec 2011). "JIT through the ages" (PDF).

cscott.net (Global: low place; English: low place)

Ananian, C. Scott; Rinard, Martin (1999). Static Single Information Form (PDF) (Technical report). CiteSeerX 10.1.1.1.9976. {{cite tech report}}: Cite uses deprecated parameter |citeseerx= (help)

doi.org (Global: 2^nd place; English: 2^nd place)

Kelsey, Richard A. (1995). "A correspondence between continuation passing style and static single assignment form" (PDF). Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations. pp. 13–22. doi:10.1145/202529.202532. ISBN 0897917545. S2CID 6207179.
Rastello & Tichadou 2022, sec. 1.4. Rastello, Fabrice; Tichadou, Florent Bouchez, eds. (2022). SSA-based compiler design (PDF). Cham. doi:10.1007/978-3-030-80515-9. ISBN 978-3-030-80515-9. S2CID 63274602.{{cite book}}: CS1 maint: location missing publisher (link)
Cytron, Ron; Lowry, Andy; Zadeck, F. Kenneth (1986). "Code motion of control structures in high-level languages". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. pp. 70–85. doi:10.1145/512644.512651. S2CID 9099471.
Barry Rosen; Mark N. Wegman; F. Kenneth Zadeck (1988). "Global value numbers and redundant computations" (PDF). Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp. 12–27. doi:10.1145/73560.73562. ISBN 0-89791-252-7.
Alpern, B.; Wegman, M. N.; Zadeck, F. K. (1988). "Detecting equality of variables in programs". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp. 1–11. doi:10.1145/73560.73561. ISBN 0897912527. S2CID 18384941.
Cytron, Ron; Ferrante, Jeanne; Rosen, Barry K.; Wegman, Mark N. & Zadeck, F. Kenneth (1991). "Efficiently computing static single assignment form and the control dependence graph" (PDF). ACM Transactions on Programming Languages and Systems. 13 (4): 451–490. CiteSeerX 10.1.1.100.6361. doi:10.1145/115372.115320. S2CID 13243943. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Cytron, Ron; Ferrante, Jeanne; Rosen, Barry K.; Wegman, Mark N.; Zadeck, F. Kenneth (1 October 1991). "Efficiently computing static single assignment form and the control dependence graph". ACM Transactions on Programming Languages and Systems. 13 (4): 451–490. doi:10.1145/115372.115320. S2CID 13243943.
von Ronne, Jeffery; Ning Wang; Michael Franz (2004). "Interpreting programs in static single assignment form". Proceedings of the 2004 workshop on Interpreters, virtual machines and emulators - IVME '04. p. 23. doi:10.1145/1059579.1059585. ISBN 1581139098. S2CID 451410.
Sarkar, V. (May 1997). "Automatic selection of high-order transformations in the IBM XL FORTRAN compilers" (PDF). IBM Journal of Research and Development. 41 (3). IBM: 233–264. doi:10.1147/rd.413.0233.
Chakrabarti, Gautam; Grover, Vinod; Aarts, Bastiaan; Kong, Xiangyun; Kudlur, Manjunath; Lin, Yuan; Marathe, Jaydeep; Murphy, Mike; Wang, Jian-Zhong (2012). "CUDA: Compiling and optimizing for a GPU platform". Procedia Computer Science. 9: 1910–1919. doi:10.1016/j.procs.2012.04.209.

erlang.org (Global: low place; English: low place)

"OTP 22.0 Release Notes".

escholarship.org (Global: 1,477^th place; English: 863^rd place)

von Ronne, Jeffery; Ning Wang; Michael Franz (2004). "Interpreting programs in static single assignment form". Proceedings of the 2004 workshop on Interpreters, virtual machines and emulators - IVME '04. p. 23. doi:10.1145/1059579.1059585. ISBN 1581139098. S2CID 451410.

ghostarchive.org (Global: 64^th place; English: 28^th place)

"Swift's High-Level IR: A Case Study of Complementing LLVM IR with Language-Specific Optimization, LLVM Developers Meetup 10/2015". YouTube. 9 November 2015. Archived from the original on 2021-12-21.

github.com (Global: 380^th place; English: 337^th place)

"Swift Intermediate Language (GitHub)". GitHub. 30 October 2021.
"HipHop Intermediate Representation (HHIR)". GitHub. 30 October 2021.
"DirectX Intermediate Language". Microsoft.

golang.org (Global: low place; English: low place)

"Go 1.7 Release Notes - The Go Programming Language". golang.org. Retrieved 2016-08-17.
"Go 1.8 Release Notes - The Go Programming Language". golang.org. Retrieved 2017-02-17.

inria.fr (Global: 6,372^nd place; English: 5,582^nd place)

hal.inria.fr

Boissinot, Benoit; Darte, Alain; Rastello, Fabrice; Dinechin, Benoît Dupont de; Guillon, Christophe (2008). "Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency". HAL-Inria Cs.DS: 14.

jku.at (Global: low place; English: low place)

ssw.jku.at

"Java 7 and OpenJDK contain no significant changes, so all information up-to-date." - cf. "SSA Form and Register Allocation for the HotSpot Client Compiler". Retrieved 26 August 2026.

khronos.org (Global: low place; English: 8,658^th place)

"SPIR-V spec" (PDF).

kit.edu (Global: 520^th place; English: 7,067^th place)

pp.ipd.kit.edu

"Firm - Optimization and Machine Code Generation".

lists.freedesktop.org (Global: low place; English: low place)

Ekstrand, Jason (16 December 2014). "Reintroducing NIR, a new IR for mesa".

llvm.org (Global: low place; English: low place)

llvm.org

value range propagation

mlir.llvm.org

"Block Arguments vs PHI nodes - MLIR Rationale". mlir.llvm.org. Retrieved 4 March 2022.

luajit.org (Global: low place; English: low place)

wiki.luajit.org

"Bytecode Optimizations". the LuaJIT project. Archived from the original on 2022-05-21.

microsoft.com (Global: 263^rd place; English: 259^th place)

blogs.msdn.microsoft.com

"Introducing a new, advanced Visual C++ code optimizer". 4 May 2016.

mozilla.org (Global: 2,188^th place; English: 2,076^th place)

wiki.mozilla.org

"IonMonkey Overview".

ocamlpro.com (Global: low place; English: low place)

Chambart, Pierre; Laviron, Vincent; Pinto, Dario (2024-03-18). "Behind the Scenes of the OCaml Optimising Compiler". OCaml Pro.

oracle.com (Global: 2,532^nd place; English: 1,847^th place)

"The Java HotSpot Performance Engine Architecture". Oracle Corporation.

pfalcon.github.io (Global: low place; English: low place)

Rastello & Tichadou 2022, sec. 1.4. Rastello, Fabrice; Tichadou, Florent Bouchez, eds. (2022). SSA-based compiler design (PDF). Cham. doi:10.1007/978-3-030-80515-9. ISBN 978-3-030-80515-9. S2CID 63274602.{{cite book}}: CS1 maint: location missing publisher (link)

psu.edu (Global: 299^th place; English: 159^th place)

citeseerx.ist.psu.edu

Cytron, Ron; Ferrante, Jeanne; Rosen, Barry K.; Wegman, Mark N. & Zadeck, F. Kenneth (1991). "Efficiently computing static single assignment form and the control dependence graph" (PDF). ACM Transactions on Programming Languages and Systems. 13 (4): 451–490. CiteSeerX 10.1.1.100.6361. doi:10.1145/115372.115320. S2CID 13243943. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Ananian, C. Scott; Rinard, Martin (1999). Static Single Information Form (PDF) (Technical report). CiteSeerX 10.1.1.1.9976. {{cite tech report}}: Cite uses deprecated parameter |citeseerx= (help)

researchgate.net (Global: 96^th place; English: 89^th place)

Chakrabarti, Gautam; Grover, Vinod; Aarts, Bastiaan; Kong, Xiangyun; Kudlur, Manjunath; Lin, Yuan; Marathe, Jaydeep; Murphy, Mike; Wang, Jian-Zhong (2012). "CUDA: Compiling and optimizing for a GPU platform". Procedia Computer Science. 9: 1910–1919. doi:10.1016/j.procs.2012.04.209.

rice.edu (Global: 3,744^th place; English: 2,530^th place)

cs.rice.edu

Cooper, Keith D.; Harvey, Timothy J.; Kennedy, Ken (2001). A Simple, Fast Dominance Algorithm (PDF) (Technical report). Rice University, CS Technical Report 06-33870. Archived from the original (PDF) on 2022-03-26.
Briggs, Preston; Cooper, Keith D.; Harvey, Timothy J.; Simpson, L. Taylor (1998). Practical Improvements to the Construction and Destruction of Static Single Assignment Form (PDF) (Technical report). Archived from the original (PDF) on 2010-06-07.
Sarkar, V. (May 1997). "Automatic selection of high-order transformations in the IBM XL FORTRAN compilers" (PDF). IBM Journal of Research and Development. 41 (3). IBM: 233–264. doi:10.1147/rd.413.0233.

semanticscholar.org (Global: 15^th place; English: 8^th place)

api.semanticscholar.org

Kelsey, Richard A. (1995). "A correspondence between continuation passing style and static single assignment form" (PDF). Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations. pp. 13–22. doi:10.1145/202529.202532. ISBN 0897917545. S2CID 6207179.
Rastello & Tichadou 2022, sec. 1.4. Rastello, Fabrice; Tichadou, Florent Bouchez, eds. (2022). SSA-based compiler design (PDF). Cham. doi:10.1007/978-3-030-80515-9. ISBN 978-3-030-80515-9. S2CID 63274602.{{cite book}}: CS1 maint: location missing publisher (link)
Cytron, Ron; Lowry, Andy; Zadeck, F. Kenneth (1986). "Code motion of control structures in high-level languages". Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '86. pp. 70–85. doi:10.1145/512644.512651. S2CID 9099471.
Alpern, B.; Wegman, M. N.; Zadeck, F. K. (1988). "Detecting equality of variables in programs". Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp. 1–11. doi:10.1145/73560.73561. ISBN 0897912527. S2CID 18384941.
Cytron, Ron; Ferrante, Jeanne; Rosen, Barry K.; Wegman, Mark N. & Zadeck, F. Kenneth (1991). "Efficiently computing static single assignment form and the control dependence graph" (PDF). ACM Transactions on Programming Languages and Systems. 13 (4): 451–490. CiteSeerX 10.1.1.100.6361. doi:10.1145/115372.115320. S2CID 13243943. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)
Cytron, Ron; Ferrante, Jeanne; Rosen, Barry K.; Wegman, Mark N.; Zadeck, F. Kenneth (1 October 1991). "Efficiently computing static single assignment form and the control dependence graph". ACM Transactions on Programming Languages and Systems. 13 (4): 451–490. doi:10.1145/115372.115320. S2CID 13243943.
von Ronne, Jeffery; Ning Wang; Michael Franz (2004). "Interpreting programs in static single assignment form". Proceedings of the 2004 workshop on Interpreters, virtual machines and emulators - IVME '04. p. 23. doi:10.1145/1059579.1059585. ISBN 1581139098. S2CID 451410.

springer.com (Global: 182^nd place; English: 172^nd place)

Encyclopedia of Parallel Computing.

ucsd.edu (Global: 2,146^th place; English: 1,364^th place)

www-csag.ucsd.edu

"Illinois Concert Project". Archived from the original on 2014-03-13.

uni-saarland.de (Global: low place; English: low place)

compilers.cs.uni-saarland.de

Zadeck, Kenneth (April 2009). The Development of Static Single Assignment Form (PDF). Static Single-Assignment Form Seminar. Autrans, France.

utexas.edu (Global: 868^th place; English: 634^th place)

cs.utexas.edu

Cytron, Ron; Ferrante, Jeanne; Rosen, Barry K.; Wegman, Mark N. & Zadeck, F. Kenneth (1991). "Efficiently computing static single assignment form and the control dependence graph" (PDF). ACM Transactions on Programming Languages and Systems. 13 (4): 451–490. CiteSeerX 10.1.1.100.6361. doi:10.1145/115372.115320. S2CID 13243943. {{cite journal}}: Cite uses deprecated parameter |citeseerx= (help)

web.archive.org (Global: 1^st place; English: 1^st place)

Cooper, Keith D.; Harvey, Timothy J.; Kennedy, Ken (2001). A Simple, Fast Dominance Algorithm (PDF) (Technical report). Rice University, CS Technical Report 06-33870. Archived from the original (PDF) on 2022-03-26.
Briggs, Preston; Cooper, Keith D.; Harvey, Timothy J.; Simpson, L. Taylor (1998). Practical Improvements to the Construction and Destruction of Static Single Assignment Form (PDF) (Technical report). Archived from the original (PDF) on 2010-06-07.
"Bytecode Optimizations". the LuaJIT project. Archived from the original on 2022-05-21.
"Illinois Concert Project". Archived from the original on 2014-03-13.

webkit.org (Global: low place; English: low place)

"Introducing the WebKit FTL JIT". 13 May 2014.
"Introducing the B3 JIT Compiler". 15 February 2016.

wustl.edu (Global: 3,400^th place; English: 2,101^st place)

cs.wustl.edu

Barry Rosen; Mark N. Wegman; F. Kenneth Zadeck (1988). "Global value numbers and redundant computations" (PDF). Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88. pp. 12–27. doi:10.1145/73560.73562. ISBN 0-89791-252-7.

youtube.com (Global: 13^th place; English: 14^th place)

"Swift's High-Level IR: A Case Study of Complementing LLVM IR with Language-Specific Optimization, LLVM Developers Meetup 10/2015". YouTube. 9 November 2015. Archived from the original on 2021-12-21.
The Evolution of ART - Google I/O 2016. Google. 25 May 2016. Event occurs at 3m47s.

Static single-assignment form (English Wikipedia)

bernsteinbear.com (Global: low place; English: low place)

chromium.org (Global: 9,404th place; English: 9,224th place)

blog.chromium.org

columbia.edu (Global: 554th place; English: 368th place)

cs.columbia.edu

cscott.net (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

erlang.org (Global: low place; English: low place)

escholarship.org (Global: 1,477th place; English: 863rd place)

ghostarchive.org (Global: 64th place; English: 28th place)

github.com (Global: 380th place; English: 337th place)

golang.org (Global: low place; English: low place)

inria.fr (Global: 6,372nd place; English: 5,582nd place)

hal.inria.fr

jku.at (Global: low place; English: low place)

ssw.jku.at

khronos.org (Global: low place; English: 8,658th place)

kit.edu (Global: 520th place; English: 7,067th place)

pp.ipd.kit.edu

lists.freedesktop.org (Global: low place; English: low place)

llvm.org (Global: low place; English: low place)

llvm.org

mlir.llvm.org

luajit.org (Global: low place; English: low place)

wiki.luajit.org

microsoft.com (Global: 263rd place; English: 259th place)

blogs.msdn.microsoft.com

mozilla.org (Global: 2,188th place; English: 2,076th place)

wiki.mozilla.org

ocamlpro.com (Global: low place; English: low place)

oracle.com (Global: 2,532nd place; English: 1,847th place)

pfalcon.github.io (Global: low place; English: low place)

psu.edu (Global: 299th place; English: 159th place)

citeseerx.ist.psu.edu

researchgate.net (Global: 96th place; English: 89th place)

rice.edu (Global: 3,744th place; English: 2,530th place)

cs.rice.edu

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

springer.com (Global: 182nd place; English: 172nd place)

ucsd.edu (Global: 2,146th place; English: 1,364th place)

www-csag.ucsd.edu

uni-saarland.de (Global: low place; English: low place)

compilers.cs.uni-saarland.de

utexas.edu (Global: 868th place; English: 634th place)

cs.utexas.edu

web.archive.org (Global: 1st place; English: 1st place)

webkit.org (Global: low place; English: low place)

wustl.edu (Global: 3,400th place; English: 2,101st place)

cs.wustl.edu

youtube.com (Global: 13th place; English: 14th place)

chromium.org (Global: 9,404^th place; English: 9,224^th place)

columbia.edu (Global: 554^th place; English: 368^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

escholarship.org (Global: 1,477^th place; English: 863^rd place)

ghostarchive.org (Global: 64^th place; English: 28^th place)

github.com (Global: 380^th place; English: 337^th place)

inria.fr (Global: 6,372^nd place; English: 5,582^nd place)

khronos.org (Global: low place; English: 8,658^th place)

kit.edu (Global: 520^th place; English: 7,067^th place)

microsoft.com (Global: 263^rd place; English: 259^th place)

mozilla.org (Global: 2,188^th place; English: 2,076^th place)

oracle.com (Global: 2,532^nd place; English: 1,847^th place)

psu.edu (Global: 299^th place; English: 159^th place)

researchgate.net (Global: 96^th place; English: 89^th place)

rice.edu (Global: 3,744^th place; English: 2,530^th place)

semanticscholar.org (Global: 15^th place; English: 8^th place)

springer.com (Global: 182^nd place; English: 172^nd place)

ucsd.edu (Global: 2,146^th place; English: 1,364^th place)

utexas.edu (Global: 868^th place; English: 634^th place)

web.archive.org (Global: 1^st place; English: 1^st place)

wustl.edu (Global: 3,400^th place; English: 2,101^st place)

youtube.com (Global: 13^th place; English: 14^th place)