SLIDE 1
Program Analysis in Relay
Gus Smith December 5th, 2019
…
Program Analysis in Relay Gus Smith December 5th, 2019 - - PowerPoint PPT Presentation
Program Analysis in Relay Gus Smith December 5th, 2019 - - PowerPoint PPT Presentation
Program Analysis in Relay Gus Smith December 5th, 2019 Theres no Relay-sanctioned way to build program analyses! This leads to problems: This leads to problems: Duplication of effort This leads to
SLIDE 2
SLIDE 3
…
SLIDE 4
…
SLIDE 5
…
SLIDE 6
…
SLIDE 7
…
SLIDE 8
…
SLIDE 9
SLIDE 10
SLIDE 11
SLIDE 12
There’s no Relay-sanctioned way to build program analyses!
SLIDE 13
This leads to problems:
SLIDE 14
This leads to problems:
- Duplication of effort
SLIDE 15
This leads to problems:
- Duplication of effort
- High barrier to entry for new
developers
SLIDE 16
This leads to problems:
- Duplication of effort
- High barrier to entry for new
developers
- Less readability and maintainability
SLIDE 17
SLIDE 18
SLIDE 19
SLIDE 20
Needs documentation!
SLIDE 21
Needs documentation! Needs a standard data interchange format!
SLIDE 22
Needs documentation! Needs a standard data interchange format! …and needs to be discoverable/accessible!
SLIDE 23
What do we want in an analysis framework?
SLIDE 24
What do we want in an analysis framework?
- Supports many types of program
analyses
SLIDE 25
What do we want in an analysis framework?
- Supports many types of program
analyses
- Quick to write new analyses
SLIDE 26
What do we want in an analysis framework?
- Supports many types of program
analyses
- Quick to write new analyses
- Promotes composing analyses
together
SLIDE 27
https://github.com/microsoft/Analysis-Framework-for-TVM
…
SLIDE 28
https://github.com/gussmith23/tvm/blob/analysis-framework-demo/demo.ipynb
SLIDE 29
Moving forward
https://github.com/apache/incubator-tvm/issues/4449