BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
form (21)
base (10)
regist (9)
use (8)
optim (7)

Stem ssa$ (all stems)

35 papers:

CCCC-2015-DemangePS #coq #optimisation #performance #verification
Verifying Fast and Sparse SSA-Based Optimizations in Coq (DD, DP, LS), pp. 233–252.
CCCC-2014-Dinechin #code generation #using
Using the SSA-Form in a Code Generator (BDdD), pp. 1–17.
CCCC-2014-SurendranBZS #array #using
Inter-iteration Scalar Replacement Using Array SSA Form (RS, RB, JZ, VS), pp. 40–60.
PLDIPLDI-2013-ZhaoNMZ #optimisation #verification
Formal verification of SSA-based optimizations for LLVM (JZ, SN, MMKM, SZ), pp. 175–186.
ESOPESOP-2012-BartheDP
A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.
PLDIPLDI-2011-ZhouCC #algorithm #execution
An SSA-based algorithm for optimal speculative code motion under an execution profile (HZ, WC, FCC), pp. 98–108.
CCCC-2011-BuchwaldZB
SSA-Based Register Allocation with PBQP (SB, AZ, TB), pp. 42–61.
CCCC-2011-RimsadP #analysis #source code
Tainted Flow Analysis on e-SSA-Form Programs (AR, Md, FMQP), pp. 124–143.
PASTEPASTE-2010-CalmanZ #analysis #induction #information retrieval #interprocedural
Interprocedural induction variable analysis based on interprocedural SSA form IR (SC, JZ), pp. 37–44.
CCCC-2010-RoyS #optimisation
The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations (SR, YNS), pp. 304–323.
CGOCGO-2010-WimmerF #linear
Linear scan register allocation on SSA form (CW, MF), pp. 170–179.
CCCC-2009-BraunH #source code
Register Spilling and Live-Range Splitting for SSA-Form Programs (MB, SH), pp. 174–189.
CCCC-2009-PereiraP
SSA Elimination after Register Allocation (FMQP, JP), pp. 158–173.
CGOCGO-2009-BoissinotDRDG #correctness #performance #quality
Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency (BB, AD, FR, BDdD, CG), pp. 114–125.
ISMMISMM-2009-NaeemL #alias #analysis #performance #set #using
Efficient alias set analysis using SSA form (NAN, OL), pp. 79–88.
SASSAS-2008-PrabhuS #analysis #array #java #pointer #using
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA (PP, PS), pp. 110–127.
CGOCGO-2008-BoissinotHGDR #liveness #performance #source code
Fast liveness checking for ssa-form programs (BB, SH, DG, BDdD, FR), pp. 35–44.
LCTESLCTES-2008-EbnerBSKWK #using
Generalized instruction selection using SSA-graphs (DE, FB, BS, AK, PW, AK), pp. 31–40.
LCTESLCTES-2007-BouchezDR #complexity #on the
On the complexity of spill everywhere under SSA form (FB, AD, FR), pp. 103–112.
FoSSaCSFoSSaCS-2006-PereiraP
Register Allocation After Classical SSA Elimination is NP-Complete (FMQP, JP), pp. 79–93.
POPLPOPL-2006-MenonGMMSAP #compilation #optimisation #representation
A verifiable SSA program representation for aggressive compiler optimization (VM, NG, BRM, AM, TS, ARAT, LP), pp. 397–408.
CCCC-2006-HackGG #source code
Register Allocation for Programs in SSA-Form (SH, DG, GG), pp. 247–262.
COCVCOCV-J-2005-AmmeRF #mobile
Quantifying the Benefits of SSA-Based Mobile Code (WA, JvR, MF), pp. 103–119.
COCVCOCV-J-2005-BlechGLM #code generation #comparison #correctness #higher-order #optimisation #proving
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL (JOB, SG, JL, SM), pp. 33–51.
CGOCGO-2004-RastelloFG #constraints #optimisation #using
Optimizing Translation Out of SSA Using Renaming Constraints (FR, FdF, CG), pp. 265–278.
CCCC-2002-MossenbockP #constraints #linear
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints (HM, MP), pp. 229–246.
SACSAC-2000-LenartSG #analysis #constant
SSA-based Flow-sensitive Type Analysis: Combining Constant and Type Propagation (AL, CS, SKSG), pp. 813–817.
LCTESLCTES-2000-CintraA #array #using
Array Reference Allocation Using SSA-Form and Live Range Growth (MSC, GA), pp. 48–62.
PLDIPLDI-1998-SastryJ #algorithm
A New Algorithm for Scalar Register Promotion based on SSA Form (AVSS, RDCJ), pp. 15–25.
SASSAS-1998-SarkarK #array #constant
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form (VS, KK), pp. 33–56.
POPLPOPL-1998-KnobeS #array #parallel
Array SSA Form and Its Use in Parallelization (KK, VS), pp. 107–120.
CCCC-1998-LapkowskiH #multi #pointer
Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers (CL, LJH), pp. 128–143.
PLDIPLDI-1997-ChowCKLLT #algorithm
A New Algorithm for Partial Redundancy Elimination based on SSA Form (FCC, SC, RK, SML, RL, PT), pp. 273–286.
CCCC-1996-ChowCLLS #alias #effectiveness #memory management #representation
Effective Representation of Aliases and Indirect Memory Operations in SSA Form (FCC, SC, SML, RL, MS), pp. 253–267.
PLDIPLDI-1993-CytronG #alias #performance
Efficient Accomodation of May-Alias Information in SSA Form (RC, RG), pp. 36–45.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.