Search results for "SSA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
197	Vivek Sarkar, Kathleen Knobe	Enabling Sparse Constant Propagation of Array Elements via Array SSA Form.	SAS	1998	DBLP DOI BibTeX RDF	static single assignment (SSA) form, conditional constant propagation, Array SSA form, unreachable code elimination, constant propagation
186	Christopher Lapkowski, Laurie J. Hendren	Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers.	CC	1998	DBLP DOI BibTeX RDF
180	Arthur Stoutchinin, Guang R. Gao	If-Conversion in SSA Form.	Euro-Par	2004	DBLP DOI BibTeX RDF
147	Christian Wimmer, Michael Franz	Linear scan register allocation on SSA form.	CGO	2010	DBLP DOI BibTeX RDF	SSA form deconstruction, lifetime analysis, linear scan, Java, register allocation, just-in-time compilation, SSA form
142	François de Ferrière	Improvements to the Psi-SSA representation.	SCOPES	2007	DBLP DOI BibTeX RDF
130	Fernando Magno Quintão Pereira, Jens Palsberg	SSA Elimination after Register Allocation.	CC	2009	DBLP DOI BibTeX RDF
124	Christopher Lapkowski, Laurie J. Hendren	Extended SSA numbering: introducing SSA properties to languages with multi-level pointers.	CASCON	1996	DBLP BibTeX RDF
98	Silvian Calman, Jianwen Zhu	Interprocedural induction variable analysis based on interprocedural SSA form IR.	PASTE	2010	DBLP DOI BibTeX RDF	induction variable analysis, interprocedural ssa, ssa
93	Fang Yu 0002, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz	SSA: a power and memory efficient scheme to multi-match packet classification.	ANCS	2005	DBLP DOI BibTeX RDF	multiple-match, packet classification, TCAM, energy-efficient design
87	Fang Yu 0002, T. V. Lakshman, Martin Austin Motoyama, Randy H. Katz	Efficient Multimatch Packet Classification for Network Security Applications.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
80	Fernando Magno Quintão Pereira, Jens Palsberg	Register Allocation After Classical SSA Elimination is NP-Complete.	FoSSaCS	2006	DBLP DOI BibTeX RDF
74	Ranjit Goswami, S. K. De, Biplab Datta	Linguistic diversity and information poverty in South Asia and Sub-Saharan Africa.	Univers. Access Inf. Soc.	2009	DBLP DOI BibTeX RDF	Online content, Utility of information, Medium of content and native language, Information poverty, Information inequality, Linguistic diversity, South Asia, Sub-Saharan Africa
74	Yuan-Shin Hwang, Jia-Jhe Li	Snug set-associative caches: Reducing leakage power of instruction and data caches with no performance penalties.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	Caches, leakage power, drowsy caches, cache decay
74	Paul E. Black, Michael Kass	Software security assurance tools, techniques and metrics (SSATTM).	ASE	2005	DBLP DOI BibTeX RDF
74	Artour Stoutchinin, François de Ferrière	Efficient static single assignment form for predication.	MICRO	2001	DBLP DOI BibTeX RDF
74	Jong-Deok Choi, Vivek Sarkar, Edith Schonberg	Incremental Computation of Static Single Assignment Form.	CC	1996	DBLP DOI BibTeX RDF
68	Fabrice Rastello, François de Ferrière, Christophe Guillon	Optimizing Translation Out of SSA Using Renaming Constraints.	CGO	2004	DBLP DOI BibTeX RDF
65	Lennart Beringer	Functional Representations of SSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Benoît Dupont de Dinechin	SSA Form and Code Generation.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Pedro C. Diniz, Philip Brisk	Hardware Compilation Using SSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	François de Ferrière	Psi-SSA Form.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Fabrice Rastello	SSA Destruction for Machine Code.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Florian Brandner, Diego Novillo	Propagating Information Using SSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Sebastian Hack	SSA Reconstruction.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Massimiliano Mantione, Fred Chow	Hashed SSA Form: HSSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Vivek Sarkar, Kathleen Knobe, Stephen Fink	Array SSA Form.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Dibyendu Das 0005, Ramakrishna Upadrasta, Vugranam C. Sreedhar	Advanced Construction Algorithms for SSA.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
65	Paul Biggar, David Gregg	Building SSA in a Compiler for PHP.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
64	Benoit Boissinot, Sebastian Hack, Daniel Grund, Benoît Dupont de Dinechin, Fabrice Rastello	Fast liveness checking for ssa-form programs.	CGO	2008	DBLP DOI BibTeX RDF	compilers, dominance, jit-compilation, ssa form, liveness analysis
64	Florent Bouchez, Alain Darte, Fabrice Rastello	On the complexity of spill everywhere under SSA form.	LCTES	2007	DBLP DOI BibTeX RDF	spill, complexity, register allocation, SSA form
64	Silvius Vasile Rus, Guobin He, Christophe Alias, Lawrence Rauchwerger	Region array SSA.	PACT	2006	DBLP DOI BibTeX RDF	array SSA, parallelization, constant propagation
64	Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen	A verifiable SSA program representation for aggressive compiler optimization.	POPL	2006	DBLP DOI BibTeX RDF	SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages
62	Yutaka Matsuno, Atsushi Ohori	A type system equivalent to static single assignment.	PPDP	2006	DBLP DOI BibTeX RDF	type system, compiler optimization, static single assignment form
62	Allen Leung, Lal George	Static Single Assignment Form for machine Code.	PLDI	1999	DBLP DOI BibTeX RDF
59	Silvian Calman, Jianwen Zhu	Increasing the Scope and Resolution of Interprocedural Static Single Assignment.	SAS	2009	DBLP DOI BibTeX RDF	dataflow, constant propagation, SSA, interprocedural
58	Sebastian Hack, Gerhard Goos	Copy coalescing by graph recoloring.	PLDI	2008	DBLP DOI BibTeX RDF	graph coloring, register allocation, ssa form
56	Wolfram Amme, Jeffery von Ronne, Michael Franz	SSA-based mobile code: Implementation and empirical evaluation.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	SafeTSA, Virtual machines, static single-assignment form
56	Sabine Glesner	An ASM Semantics for SSA Intermediate Representations.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
56	Fred C. Chow, Sun Chan, Robert Kennedy, Shin-Ming Liu, Raymond Lo, Peng Tu	A New Algorithm for Partial Redundancy Elimination based on SSA Form.	PLDI	1997	DBLP DOI BibTeX RDF
56	Fred C. Chow, Sun Chan, Shin-Ming Liu, Raymond Lo, Mark Streich	Effective Representation of Aliases and Indirect Memory Operations in SSA Form.	CC	1996	DBLP DOI BibTeX RDF	Factoring dependences, Indirect memory operations, Value numbering, Aliasing, Hash tables, Program representation, Static single assignment
53	Seong-Uk Choi, Sung-Soon Park, Myong-Soon Park	Scheduling of conditional branches using SSA form for superscalar/VLIW processors.	ICPADS	1996	DBLP DOI BibTeX RDF	conditional branches scheduling, very long instruction word processors, compensation code, optimization, computational complexity, complexity, parallel architectures, processor scheduling, superscalar processors, instruction sets, instruction set, VLIW processors, code motion, global scheduling, conditional branches, SSA
50	Kyoko Fukuda	Noise Reduction Approach for Decision Tree Construction: A Case Study of Knowledge Discovery on Climate and Air Pollution.	CIDM	2007	DBLP DOI BibTeX RDF
50	Hyoung-Il Lee, Seung-Woo Seo	Matching output queueing with a multiple input/output-queued switch.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	combined input/output-queued (CIOQ) switch, multiple input/output-queued (MIOQ) switch, output queueing emulation, parallel switching architecture
50	Gianfranco Bilardi, Keshav Pingali	Algorithms for computing the static single assignment form.	J. ACM	2003	DBLP DOI BibTeX RDF	program transformation, optimizing compilers, program optimization, Control dependence, static single assignment form
50	Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey, Ken Kennedy, Timothy S. Oberg, Steven W. Reeves	Fast Copy Coalescing and Live-Range Identification.	PLDI	2002	DBLP DOI BibTeX RDF	copy coalescing, live-range identification, code generation, register allocation, interference graph
50	Dhruva R. Chakrabarti, Prithviraj Banerjee	Accurate Data and Context Management in Message-Passing Programs.	LCPC	1999	DBLP DOI BibTeX RDF
50	Jean-Francois Collard	The Advantages of Instance-Wise Reaching Definition Analyses in Array (S)SA.	LCPC	1998	DBLP DOI BibTeX RDF
50	Susanna Donatelli	Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
46	Sebastian Pop, Albert Cohen 0001	Loop Tree and Induction Variables.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Benoit Boissinot, Fabrice Rastello	Liveness.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	James Stanier, Fabrice Rastello	Graphs and Gating Functions.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Markus Schordan, Fabrice Rastello	Introduction.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Philip Brisk, Fabrice Rastello	Properties and Flavours.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Jeremy Singer	Introduction.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Fred Chow	Redundancy Elimination.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Dietmar Ebner, Andreas Krall, Bernhard Scholz	Instruction Code Selection.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Vivek Sarkar, Fabrice Rastello	Introduction.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Jeremy Singer, Fabrice Rastello	Standard Construction and Destruction Algorithms.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Christian Bruel	If-Conversion.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Florent Bouchez-Tichadou, Fabrice Rastello	Register Allocation.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Fernando Magno Quintão Pereira, Fabrice Rastello	Static Single Information Form.	SSA-based Compiler Design	2022	DBLP DOI BibTeX RDF
46	Philip Brisk, Ajay Kumar Verma, Paolo Ienne	An optimistic and conservative register assignment heuristic for chordal graphs.	CASES	2007	DBLP DOI BibTeX RDF	static single assignment (ssa) form, chordal graph, register assignment
43	Nomair A. Naeem, Ondrej Lhoták	Efficient alias set analysis using SSA form.	ISMM	2009	DBLP DOI BibTeX RDF	live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form
43	Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec	Generalized instruction selection using SSA-graphs.	LCTES	2008	DBLP DOI BibTeX RDF	pbqp, compiler, code generation, instruction selection
43	Prakash Prabhu, Priti Shankar	Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.	SAS	2008	DBLP DOI BibTeX RDF
43	Matthias Jeschke, Roland Ewald	Large-Scale Design Space Exploration of SSA.	CMSB	2008	DBLP DOI BibTeX RDF	Stochastic Simulation Algorithms, Performance Evaluation
43	Jiu-Tao Nie, Xu Cheng 0001	An Efficient SSA-Based Algorithm for Complete Global Value Numbering.	APLAS	2007	DBLP DOI BibTeX RDF
43	Stefan Schäfer, Bernhard Scholz	Optimal chain rule placement for instruction selection based on SSA graphs.	SCOPES	2007	DBLP DOI BibTeX RDF
43	Philip Brisk, Foad Dabiri, Roozbeh Jafari, Majid Sarrafzadeh	Optimal register sharing for high-level synthesis of SSA form programs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
43	Sebastian Hack, Daniel Grund, Gerhard Goos	Register Allocation for Programs in SSA-Form.	CC	2006	DBLP DOI BibTeX RDF
43	Silvius Vasile Rus, Guobin He, Lawrence Rauchwerger	Scalable Array SSA and Array Data Flow Analysis.	LCPC	2005	DBLP DOI BibTeX RDF
43	Erik Eckstein, Oliver König, Bernhard Scholz	Code Instruction Selection Based on SSA-Graphs.	SCOPES	2003	DBLP DOI BibTeX RDF
43	Jean-Francois Collard	Array SSA for Explicitly Parallel Programs.	Euro-Par	1999	DBLP DOI BibTeX RDF
43	A. V. S. Sastry, Roy Dz-Ching Ju	A New Algorithm for Scalar Register Promotion based on SSA Form.	PLDI	1998	DBLP DOI BibTeX RDF
43	Michael P. Gerlek, Eric Stoltz, Michael Wolfe	Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable
40	Yue Ma 0004, Jean-Pierre Talpin, Thierry Gautier	Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.	CIT	2010	DBLP DOI BibTeX RDF	behavior annex, synchronous, AADL, SSA
39	Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon	Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency.	CGO	2009	DBLP DOI BibTeX RDF	Compilers, JIT-compilation, SSA form
37	Manuel Arenaz, Pedro Amoedo, Juan Touriño	Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers.	Euro-Par	2008	DBLP DOI BibTeX RDF
37	Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh	Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System
37	Philip Brisk, Ajay Kumar Verma, Paolo Ienne	Optimal polynomial-time interprocedural register allocation for high-level synthesis and ASIP design.	ICCAD	2007	DBLP DOI BibTeX RDF
37	Ki-Tae Kim, Je-Min Kim, Weon-Hee Yoo	Dead Code Elimination in CTOC.	SERA	2007	DBLP DOI BibTeX RDF
37	Simon Connelly, Peter A. Lindsay, Marcus Gallagher	An agent based approach to examining shared situation awareness.	ICECCS	2007	DBLP DOI BibTeX RDF
37	Fang-Ming Shao, Xuemin Shen, Pin-Han Ho	Reliability optimization of distributed access networks with constrained total cost.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
37	Jeffrey S. Steinman	The WarpIV Simulation Kernel.	PADS	2005	DBLP DOI BibTeX RDF
37	Jia-Jhe Li, Yuan-Shin Hwang	Snug set-associative caches: reducing leakage power while improving performance.	ISLPED	2005	DBLP DOI BibTeX RDF	leakage power, set-associative caches
37	Lipo Wang, Sa Li, Fuyu Tian, Xiuju Fu	A noisy chaotic neural network for solving combinatorial optimization problems: stochastic chaotic simulated annealing.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
37	Francisco Javier Alonso 0001, José María Del Castillo, Publio Pintado	An Automatic Filtering Procedure for Processing Biomechanical Kinematic Signals.	ISBMDA	2004	DBLP DOI BibTeX RDF
37	Adam Kaplan, Philip Brisk, Ryan Kastner	Data communication estimation and reduction for reconfigurable systems.	DAC	2003	DBLP DOI BibTeX RDF
37	Huaizhong Kou, Georges Gardarin	Study of category score algorithms for k-NN classifier.	SIGIR	2002	DBLP DOI BibTeX RDF	category score, document categorization, k-NN
37	Michele Bugliesi, Giuseppe Castagna	Secure safe ambients.	POPL	2001	DBLP DOI BibTeX RDF
37	Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam	Translating Out of Static Single Assignment Form.	SAS	1999	DBLP DOI BibTeX RDF
37	Harini Srinivasan, James Hook, Michael Wolfe	Static Single Assignment for Explicitely Parallel Programs.	POPL	1993	DBLP DOI BibTeX RDF
37	Siddharth Bhat, Tobias Grosser	Lambda the Ultimate SSA: Optimizing Functional Programs in SSA.	CoRR	2022	DBLP BibTeX RDF
37	Siddharth Bhat, Tobias Grosser	Lambda the Ultimate SSA: Optimizing Functional Programs in SSA.	CGO	2022	DBLP DOI BibTeX RDF
37	Mitchell Kirshner, David C. Gross	Human-Computer Interaction for Space Situational Awareness (SSA): Towards the SSA Integrated Sensor Viewer (ISV).	HCI (10)	2019	DBLP DOI BibTeX RDF
37	Michel C. R. Leles, João Pedro H. Sansão, Leonardo A. Mozelli, Homero N. Guimarães	A new algorithm in singular spectrum analysis framework: The Overlap-SSA (ov-SSA).	SoftwareX	2018	DBLP DOI BibTeX RDF
37	Quentin Colombet	Decoupled (SSA-based) register allocators : from theory to practice, coping with just-in-time compilation and embedded processors constraints. (Allocation de registres découplée (basée sur la formulation SSA) : De la théorie à la pratique, faire face aux contraintes liées à la compilation juste à temps et aux processeurs embarqués).		2012	RDF
34	Fang-Yie Leu, Jia-Chun Lin, Ming-Chang Li, Chao-Tung Yang	A Performance-Based Grid Intrusion Detection System.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	PGIDS, Grid, DoS, DDoS, SSA, BPNN, SAA
33	Dietmar Ebner, Bernhard Scholz, Andreas Krall	Progressive spill code placement.	CASES	2009	DBLP DOI BibTeX RDF	constrained min-cut, spilling, register allocation, SSA form
33	Lei Huang 0006, Deepak Eachempati, Marcus W. Hervey, Barbara M. Chapman	Exploiting global optimizations for openmp programs in the openuh compiler.	PPoPP	2009	DBLP DOI BibTeX RDF	parallel ssa, openmp, compiler analysis