Global value numbers and redundant computations

No abstract is available for this paper.

• Publication year

  1988

• Venue

  ACM-SIGACT Symposium on Principles of Programming Languages

• Publication date

  1988-01-13

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/73560.73562
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Detecting equality of variables in programs

  1988cited by this paper
• Code motion of control structures in high-level languages

  1986cited by this paper
• Register allocation by priority-based coloring

  1984cited by this paper
• Data Flow Analysis for Procedural Languages

  1979cited by this paper
• Global optimization by suppression of partial redundancies

  1979cited by this paper
• Symbolic program analysis in almost linear time

  1978cited by this paper
• Symbolic evaluation and the global value graph

  1977cited by this paper
• A Simple Algorithm for Global Data Flow Analysis Problems

  1975cited by this paper
• Program optimization - theory and practice

  1975cited by this paper
• Characterizations of Reducible Flow Graphs

  1974cited by this paper
• Testing flow graph reducibility

  1973cited by this paper
• Depth-First Search and Linear Graph Algorithms

  1972cited by this paper
• Program optimization

  1972cited by this paper
• Object code optimization

  1969cited by this paper
• THE REPRESENTATION OF ALGORITHMS

  1969cited by this paper
• Programming languages and their compilers: Preliminary notes

  1969cited by this paper
• Control-flow analysis

  year unknowncited by this paper

• Compiler Optimization-Based SMT Simplifications: An In-Depth Study

  2026cites this paper
• Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates

  2026cites this paper
• Practical MHP Analysis for Java

  2026cites this paper
• HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance

  2026cites this paper
• Near-Pruned single assignment transformation of programs

  2025cites this paper
• TEDVIL: Leveraging Transformer-Based Embeddings for Vulnerability Detection in Lifted Code

  2025cites this paper
• Relational Abstractions Based on Labeled Union-Find

  2025cites this paper
• Comprehensive Survey on Security and Reliability of Smart Contracts: Vulnerabilities, Verification Techniques, and Future Directions

  2025cites this paper
• Formal Verification of Just-in-Time Compilation

  2025cites this paper
• Fast, Fine-Grained Equivalence Checking for Neural Decompilers

  2025cites this paper
• Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode

  2025cites this paper
• Demand-driven PRE Using Profile Information

  2025cites this paper
• Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution

  2025cites this paper
• xDSL: Sidekick Compilation for SSA-Based Compilers

  2025cites this paper
• Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection

  2025cites this paper
• Towards Precise Reporting of Cryptographic Misuses

  2024cites this paper
• SCVHUNTER: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network

  2024cites this paper
• Automated Verification of Silq Quantum Programs using SMT Solvers

  2024cites this paper
• Sound and precise static analysis using a generalization of static single assignment and value numbering

  2024cites this paper
• IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation

  2024cites this paper
• The Key to Effective UDF Optimization: Before Inlining, First Perform Outlining

  2024cites this paper
• Constable: Improving Performance and Power Efficiency by Safely Eliminating Load Instruction Execution

  2024cites this paper
• Gopher: High-Precision and Deep-Dive Detection of Cryptographic API Misuse in the Go Ecosystem

  2024cites this paper
• Object-Oriented Fixpoint Programming with Datalog

  2024cites this paper
• An SMT-Based Approach to the Verification of Knowledge-Based Programs

  2024cites this paper
• Compiling with Abstract Interpretation

  2024cites this paper
• Program Analysis for Adaptive Data Analysis

  2024cites this paper
• System Modeling for Smallest Optimizer Compiler System

  2024cites this paper
• Possible Value Analysis based on Symbolic Lattice

  2024cites this paper
• Seer: Predictive Runtime Kernel Selection for Irregular Problems

  2024cites this paper
• MultiTagging: A Vulnerable Smart Contract Labeling and Evaluation Framework

  2024cites this paper
• Predictable and optimized single-path code for predicated processors

  2024cites this paper
• Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)

  2024cites this paper
• Experiences in Building a Composable and Functional API for Runtime SPIR-V Code Generation

  2023cites this paper
• Secure compilation of rich smart contracts on poor UTXO blockchains

  2023cites this paper
• A statistical approach for finding property-access errors

  2023cites this paper
• FUZZILLI: Fuzzing for JavaScript JIT Compiler Vulnerabilities

  2023cites this paper
• An empirical assessment of machine learning approaches for triaging reports of static analysis tools

  2023cites this paper
• EasyView: Bringing Performance Profiles into Integrated Development Environments

  2023cites this paper
• Seneca: Taint-Based Call Graph Construction for Java Object Deserialization

  2023cites this paper
• HuffDuff: Stealing Pruned DNNs from Sparse Accelerators

  2023cites this paper
• From SSA to Synchronous Concurrency and Back

  2023cites this paper
• R2D2: Removing ReDunDancy Utilizing Linearity of Address Generation in GPUs

  2023cites this paper
• Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation

  2023cites this paper
• CBMC: The C Bounded Model Checker

  2023cites this paper
• Sound Call Graph Construction for Java Object Deserialization

  2023cites this paper
• Mechanised Semantics for Gated Static Single Assignment

  2023cites this paper
• PEak: A Single Source of Truth for Hardware Design and Verification

  2023cites this paper
• Sidekick compilation with xDSL

  2023cites this paper
• Bringing Compiling Databases to RISC Architectures

  2023cites this paper
• Lazy Demand-driven Partial Redundancy Elimination

  2023cites this paper
• Compiler Discovered Dynamic Scheduling of Irregular Code in High-Level Synthesis

  2023cites this paper
• Constructing Structured SSA from FJ

  2023cites this paper
• SecretFlow-SPU: A Performant and User-Friendly Framework for Privacy-Preserving Machine Learning

  2023cites this paper
• The Duality in Computing SSA Programs and Control Dependency

  2023cites this paper
• A Heavy-Tailed Algebra for Probabilistic Programming

  2023cites this paper
• Enhancing Coverage-Guided Fuzzing via Phantom Program

  2023cites this paper
• MichelsonLiSA: A Static Analyzer for Tezos

  2023cites this paper
• A Sound and Complete Algorithm for Code Generation in Distance-Based ISA

  2023cites this paper
• Towards Robust and Scalable Large Language Models

  2023cites this paper
• SSA Translation Is an Abstract Interpretation

  2023influential citation
• Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts

  2023cites this paper
• Constant-Loop Dominators for Single-Path Code Optimization

  2023cites this paper
• FaultMeter: Quantitative Fault Attack Assessment of Block Cipher Software

  2023cites this paper
• Automated Instantiation of Control Flow Tracing Exercises

  2022cites this paper
• Cross-Language Binary-Source Code Matching with Intermediate Representations

  2022cites this paper
• RISE & Shine: Language-Oriented Compiler Design

  2022cites this paper
• Efficiently Compiling Dynamic Code for Adaptive Query Processing

  2022cites this paper
• An Effective Buffer Overflow Detection With Super Data-Flow Graphs

  2022cites this paper
• ‘do’ unchained: embracing local imperativity in a purely functional language (functional pearl)

  2022cites this paper
• CASCADA: Characteristic Automated Search of Cryptographic Algorithms for Distinguishing Attacks

  2022cites this paper
• Buffer Allocation for Exposed Datapath Architectures

  2022cites this paper
• SSA Data Flow Information for Semantic Code Tasks

  2022cites this paper
• EasyView: Enabling and Scheduling Tensor Views in Deep Learning Compilers

  2022cites this paper
• Fuzzing with Data Dependency Information

  2022influential citation
• C for Yourself: Comparison of Front-End Techniques for Formal Verification

  2022cites this paper
• Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection

  2022cites this paper
• Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution

  2022cites this paper
• LongTail-Bench: A Benchmark Suite for Domain-Specific Operators in Deep Learning

  2022cites this paper
• Full-program induction: verifying array programs sans loop invariants

  2022influential citation
• A Survey on Parallelism and Determinism

  2022cites this paper
• Linker Code Size Optimization for Native Mobile Applications

  2022cites this paper
• Weaving Synchronous Reactions into the Fabric of SSA-form Compilers

  2022cites this paper
• Scalpel: The Python Static Analysis Framework

  2022cites this paper
• Bringing Source-Level Debugging Frameworks to Hardware Generators

  2022cites this paper
• Compiling and Optimizing Real-world Programs for STRAIGHT ISA

  2021cites this paper
• Adaptive Query Execution: Dynamically Rewriting Compiled Queries

  2021cites this paper
• Efficient Representation of Numerical Optimization Problems for SNARKs

  2021cites this paper
• The RERS challenge: towards controllable and scalable benchmark synthesis

  2021cites this paper
• Pointer-Based Divergence Analysis for OpenCL 2.0 Programs

  2021cites this paper
• HerQules: securing programs via hardware-enforced message queues

  2021cites this paper
• Phism: Polyhedral High-Level Synthesis in MLIR

  2021cites this paper
• Lifting C semantics for dataflow optimization

  2021cites this paper
• Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization

  2021influential citation
• Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules

  2021cites this paper
• Dala: a simple capability-based dynamic language design for data race-freedom

  2021cites this paper
• PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles

  2021cites this paper
• Computation over partial information

  2021cites this paper
• Mitigating Memory-Safety Bugs with Efficient Out-of-Process Integrity Checking

  2021cites this paper
• Memory-Aware Partitioning of Machine Learning Applications for Optimal Energy Use in Batteryless Systems

  2021cites this paper