compilerai

@UCVnn5LPz8TNgNV5aqlCt6aQ - 2.5K subscribers

Compiler Design through AI-style Algorithms

Home Videos Live Playlists

Program equivalence checker: 3min demo

Program equivalence checker: 3min demo compilerai

739 views - 6 months ago

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

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

175 views - 1 year ago

Compiler Design Module 74.1 : Examples of Peephole Optimizations

Compiler Design Module 74.1 : Examples of Peephole Optimizations compilerai

475 views - 1 year ago

Compiler Design Module 71 : Phi Nodes

Compiler Design Module 71 : Phi Nodes compilerai

821 views - 1 year ago

Compiler Design Module 67 : Operational Semantics for Function Call Dispatch

Compiler Design Module 67 : Operational Semantics for Function Call Dispatch compilerai

103 views - 1 year ago

Compiler Design Module 65 : Operational Semantics for Control flow and Declarations

Compiler Design Module 65 : Operational Semantics for Control flow and Declarations compilerai

135 views - 1 year ago

Compiler Design Module 40 : Type Environments

Compiler Design Module 40 : Type Environments compilerai

237 views - 1 year ago

Compiler Design Module 39.1 : Type Rules Revised for Reference Types

Compiler Design Module 39.1 : Type Rules Revised for Reference Types compilerai

167 views - 1 year ago

Compiler Design Module 39 : More Type Rules

Compiler Design Module 39 : More Type Rules compilerai

211 views - 1 year ago

Compiler Design Module 38 : Soundness of a Typesystem

Compiler Design Module 38 : Soundness of a Typesystem compilerai

233 views - 1 year ago

Compiler Design Module 37 : Type Formalism

Compiler Design Module 37 : Type Formalism compilerai

288 views - 1 year ago

Compiler Design Module 37.1 : Subtyping Relation

Compiler Design Module 37.1 : Subtyping Relation compilerai

233 views - 1 year ago

Compiler Design Module 124 19: Object sensitive pointer analysis formalization

Compiler Design Module 124 19: Object sensitive pointer analysis formalization compilerai

165 views - 2 years ago

Compiler Design Module 124 18: Introduction to Object sensitive pointer analysis

Compiler Design Module 124 18: Introduction to Object sensitive pointer analysis compilerai

144 views - 2 years ago

Compiler Design Module 124 17: Context sensitive pointer analysis with fields

Compiler Design Module 124 17: Context sensitive pointer analysis with fields compilerai

185 views - 2 years ago

Compiler Design Module 124 16: Example of Context Sensitive Pointer Analysis

Compiler Design Module 124 16: Example of Context Sensitive Pointer Analysis compilerai

103 views - 2 years ago

Compiler Design Module 124 15: Context and Field Sensitive Pointer Analysis

Compiler Design Module 124 15: Context and Field Sensitive Pointer Analysis compilerai

135 views - 2 years ago

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

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

377 views - 2 years ago

Compiler Design Module 124 13: Steensgaard's pointer analysis algorithm

Compiler Design Module 124 13: Steensgaard's pointer analysis algorithm compilerai

390 views - 2 years ago

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

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

180 views - 2 years ago

Compiler Design Module 124 11: Field sensitive pointer analysis

Compiler Design Module 124 11: Field sensitive pointer analysis compilerai

194 views - 2 years ago

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

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

885 views - 2 years ago

Compiler Design Module 124 9: Abstract Objects for Pointer Analysis

Compiler Design Module 124 9: Abstract Objects for Pointer Analysis compilerai

234 views - 2 years ago

Compiler Design Module 124 8: Aliasing and Pointer Analysis

Compiler Design Module 124 8: Aliasing and Pointer Analysis compilerai

712 views - 2 years ago

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

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

292 views - 2 years ago

Compiler Design Module 124 6: Placing phi nodes during SSA conversion

Compiler Design Module 124 6: Placing phi nodes during SSA conversion compilerai

828 views - 2 years ago

Compiler Design Module 124 5: Computing Dominance Frontiers

Compiler Design Module 124 5: Computing Dominance Frontiers compilerai

1.3K views - 2 years ago

Compiler Design Module 124 4: Dominance Frontiers

Compiler Design Module 124 4: Dominance Frontiers compilerai

2.7K views - 2 years ago

Compiler Design Module 124 3: Translation to SSA

Compiler Design Module 124 3: Translation to SSA compilerai

546 views - 2 years ago

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

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

163 views - 2 years ago

Compiler Design Module 124 1: Flow insensitive vs Flow sensitive Dataflow Analyses

Compiler Design Module 124 1: Flow insensitive vs Flow sensitive Dataflow Analyses compilerai

335 views - 2 years ago

Compiler Design Module 121.1 : Examples of Region based Analysis

Compiler Design Module 121.1 : Examples of Region based Analysis compilerai

203 views - 2 years ago

Compiler Design Module 100 1: Example of Monotonicity of Constant Propagation DFA

Compiler Design Module 100 1: Example of Monotonicity of Constant Propagation DFA compilerai

450 views - 2 years ago

Compiler Design Module 99 2 : Examples of Transfer functions for Constant propagation

Compiler Design Module 99 2 : Examples of Transfer functions for Constant propagation compilerai

349 views - 2 years ago

Compiler Design Module 99 1 : Examples of Families of Transfer Functions

Compiler Design Module 99 1 : Examples of Families of Transfer Functions compilerai

190 views - 2 years ago

Compiler Design Module 98.1 : Range Analysis of Integers

Compiler Design Module 98.1 : Range Analysis of Integers compilerai

258 views - 2 years ago

Compiler-based Trojan Horse. Reflections on Trusting Trust (Ken Thompson)

Compiler-based Trojan Horse. Reflections on Trusting Trust (Ken Thompson) compilerai

1.3K views - 3 years ago

Translation Validator Demo

Translation Validator Demo compilerai

2K views - 3 years ago

Compiler Design Module 28 : Viable Prefixes

Compiler Design Module 28 : Viable Prefixes compilerai

1.4K views - 3 years ago

Panel Discussion 2022 (FM Update): "What are the most compelling use-cases of Formal Methods"

Panel Discussion 2022 (FM Update): "What are the most compelling use-cases of Formal Methods" compilerai

363 views - 3 years ago

Reading Group Meeting - Inlining Paper 15th April 2022

Reading Group Meeting - Inlining Paper 15th April 2022 compilerai

341 views - 4 years ago

Equivalence Checking Workshop Talk 2022

Equivalence Checking Workshop Talk 2022 compilerai

179 views - 4 years ago

CSE Seminar on "Compiler as a Database of Code Transformations"

CSE Seminar on "Compiler as a Database of Code Transformations" compilerai

479 views - 4 years ago

CompilerAI Labs Information Video

CompilerAI Labs Information Video compilerai

430 views - 4 years ago

Interaction meeting on Modules 186-190 (Weakest Precondition, Verfication)

Interaction meeting on Modules 186-190 (Weakest Precondition, Verfication) compilerai

565 views - 4 years ago

Interaction Meeting Modules 181-185(Verification Conditions, Exponential Paths Problem, Hoare Logic)

Interaction Meeting Modules 181-185(Verification Conditions, Exponential Paths Problem, Hoare Logic) compilerai

161 views - 4 years ago

Interaction Meeting Modules 176-180 (Assertions, Invariants, Verification Conditions)

Interaction Meeting Modules 176-180 (Assertions, Invariants, Verification Conditions) compilerai

119 views - 4 years ago

Compiler Design Module 190 : Weakest Liberal Precondition for a While Loop

Compiler Design Module 190 : Weakest Liberal Precondition for a While Loop compilerai

1.4K views - 4 years ago

Compiler Design Module 189 : Weakest Liberal Precondition

Compiler Design Module 189 : Weakest Liberal Precondition compilerai

974 views - 4 years ago

Compiler Design Module 188 : More Weakest Precondition Rules

Compiler Design Module 188 : More Weakest Precondition Rules compilerai

3.3K views - 4 years ago

Compiler Design Module 187 : Predicate Transformers

Compiler Design Module 187 : Predicate Transformers compilerai

752 views - 4 years ago

Compiler Design Module 186 : Hoare Logic Rule for While

Compiler Design Module 186 : Hoare Logic Rule for While compilerai

2.9K views - 4 years ago

Interaction Meeting Modules 171-175 (Undef, Poison, Freeze, and their WHYs, Abstract Interpretation)

Interaction Meeting Modules 171-175 (Undef, Poison, Freeze, and their WHYs, Abstract Interpretation) compilerai

54 views - 4 years ago

Compiler Design Module 185 : Hoare Logic Rules

Compiler Design Module 185 : Hoare Logic Rules compilerai

4.5K views - 4 years ago

Compiler Design Module 183 : While Loop Verification Condition

Compiler Design Module 183 : While Loop Verification Condition compilerai

171 views - 4 years ago

Compiler Design Module 184 : Proof Method

Compiler Design Module 184 : Proof Method compilerai

164 views - 4 years ago

Compiler Design Module 182 : Exponential Paths Problem

Compiler Design Module 182 : Exponential Paths Problem compilerai

89 views - 4 years ago

Interaction Meeting Modules 166-170 Undefined Behaviour, Poison Values

Interaction Meeting Modules 166-170 Undefined Behaviour, Poison Values compilerai

60 views - 4 years ago

Compiler Design Module 181 : Sequencing with If Then Else

Compiler Design Module 181 : Sequencing with If Then Else compilerai

123 views - 4 years ago

Compiler Design Module 180 : Verification Conditions for the Sequence Operator

Compiler Design Module 180 : Verification Conditions for the Sequence Operator compilerai

135 views - 4 years ago