compilerai

Program equivalence checker 3min demo

compilerai

OOPSLA24 Presentation Modeling Dynamic (De)Allocations of Local Memory for Translation Validation

compilerai

Compiler Design Module 74.1 Examples of Peephole Optimizations

compilerai

Compiler Design Module 71 Phi Nodes

compilerai

Compiler Design Module 67 Operational Semantics for Function Call Dispatch

compilerai

Compiler Design Module 65 Operational Semantics for Control flow and Declarations

compilerai

Compiler Design Module 40 Type Environments

compilerai

Compiler Design Module 39.1 Type Rules Revised for Reference Types

compilerai

Compiler Design Module 39 More Type Rules

compilerai

Compiler Design Module 38 Soundness of a Typesystem

compilerai

Compiler Design Module 37 Type Formalism

compilerai

Compiler Design Module 37.1 Subtyping Relation

compilerai

Compiler Design Module 124 19 Object sensitive pointer analysis formalization

compilerai

Compiler Design Module 124 18 Introduction to Object sensitive pointer analysis

compilerai

Compiler Design Module 124 17 Context sensitive pointer analysis with fields

compilerai

Compiler Design Module 124 16 Example of Context Sensitive Pointer Analysis

compilerai

Compiler Design Module 124 15 Context and Field Sensitive Pointer Analysis

compilerai

Compiler Design Module 124 14 Introduction to Call Context Sensitive Pointer Analysis

compilerai

Compiler Design Module 124 13 Steensgaard's pointer analysis algorithm

compilerai

Compiler Design Module 124 12 Running time of Andersen's pointer analysis algorithm

compilerai

Compiler Design Module 124 11 Field sensitive pointer analysis

compilerai

Compiler Design Module 124 10 Andersen's algorithm for pointer analysis

compilerai

Compiler Design Module 124 9 Abstract Objects for Pointer Analysis

compilerai

Compiler Design Module 124 8 Aliasing and Pointer Analysis

compilerai

Compiler Design Module 124 7 Versioning Variables and Running time of Conversion to SSA

compilerai

Compiler Design Module 124 6 Placing phi nodes during SSA conversion

compilerai

Compiler Design Module 124 5 Computing Dominance Frontiers

compilerai

Compiler Design Module 124 4 Dominance Frontiers

compilerai

Compiler Design Module 124 3 Translation to SSA

compilerai

Compiler Design Module 124 2 Running time of flow insensitive analysis vs flow sensitive analysis

compilerai