Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private...

29
Program Analysis in Relay Gus Smith December 5th, 2019

Transcript of Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private...

Page 1: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

Program Analysis in RelayGus Smith

December 5th, 2019

Page 2: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

…

Page 3: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

…

Page 4: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

…

Page 5: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

…

Page 6: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

…

Page 7: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

…

Page 8: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

…

Page 9: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)
Page 10: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)
Page 11: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)
Page 12: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

There’s no Relay-sanctioned way to build program analyses!

Page 13: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

This leads to problems:

Page 14: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

This leads to problems:

• Duplication of effort

Page 15: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

This leads to problems:

• Duplication of effort

• High barrier to entry for new developers

Page 16: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

This leads to problems:

• Duplication of effort

• High barrier to entry for new developers

• Less readability and maintainability

Page 17: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)
Page 18: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)
Page 19: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)
Page 20: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

Needs documentation!

Page 21: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

Needs documentation!

Needs a standard data interchange format!

Page 22: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

Needs documentation!

Needs a standard data interchange format!

…and needs to be discoverable/accessible!

Page 23: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

What do we want in an analysis framework?

Page 24: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

What do we want in an analysis framework?

• Supports many types of program analyses

Page 25: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

What do we want in an analysis framework?

• Supports many types of program analyses

• Quick to write new analyses

Page 26: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

What do we want in an analysis framework?

• Supports many types of program analyses

• Quick to write new analyses

• Promotes composing analyses together

Page 27: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

https://github.com/microsoft/Analysis-Framework-for-TVM

…

https://github.com/microsoft/Analysis-Framework-for-TVM
Page 28: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

https://github.com/gussmith23/tvm/blob/analysis-framework-demo/demo.ipynb

https://github.com/gussmith23/tvm/blob/analysis-framework-demo/demo.ipynb
Page 29: Program Analysis in Relay - SAMPL: Home1 class MacCounter 2 public: MacCounter count private ExprVisitor { 19 29 static int64_t Get TotalMacNumber(const Expr& expr) { LOG (INFO)

Moving forward

https://github.com/apache/incubator-tvm/issues/4449


¥ PRI NTE R SAMPL E ROLL ¥ THERMALLY PRI NTED SAMPLES ... · ¥ pri nte r sampl e roll ¥ thermally pri nted samples ¥ market focu sed sampl e kits ... e26905 13636718 thermamax3202

¥ PRI NTE R SAMPL E ROLL ¥ THERMALLY PRI NTED SAMPLES ... · ¥ pri nte r sampl e roll ¥ thermally pri nted samples ¥ market focu sed sampl e kits ... e26905 13636718 thermamax3202

The Expr ession: An International Multid isciplinary e -Journalexpressionjournal.com/downloads/58.-aditi-bhola-book... · 2017. 8. 5. · 384 The Expr ession: An International Multid

The Expr ession: An International Multid isciplinary e -Journalexpressionjournal.com/downloads/58.-aditi-bhola-book... · 2017. 8. 5. · 384 The Expr ession: An International Multid

Npower Capital City Sampl Business Plan Euraka

Npower Capital City Sampl Business Plan Euraka

The Expr ession: An International Multid isciplinary e ...expressionjournal.com/downloads/55.-balbir-madhopuri-interview1.pdfThe Expr ession: An International Multid isciplinary e

The Expr ession: An International Multid isciplinary e ...expressionjournal.com/downloads/55.-balbir-madhopuri-interview1.pdfThe Expr ession: An International Multid isciplinary e

Chapter 4 Parsing Sequences. Recursive Descent Parsing expr() – term() lex() +/- lex() term() factor() – if id lex(), if ( expr() right lex(), term()

Chapter 4 Parsing Sequences. Recursive Descent Parsing expr() – term() lex() +/- lex() term() factor() – if id lex(), if ( expr() right lex(), term()

Moldflow Reports sampl

Moldflow Reports sampl

Introduction to Functional Programming and Clojure€¦ · (prn (class expr)) ; => clojure.lang.Persistentlist (prn (class (first expr))) ; => clojure.lang.Symbol (eval expr)) ; =>

Introduction to Functional Programming and Clojure€¦ · (prn (class expr)) ; => clojure.lang.Persistentlist (prn (class (first expr))) ; => clojure.lang.Symbol (eval expr)) ; =>

V0.2ROLL Routing Requirements; The connected home1 Anders Brandt March 2008.

V0.2ROLL Routing Requirements; The connected home1 Anders Brandt March 2008.

04 Expr Regulieres

04 Expr Regulieres

GENE EXPR SRS

GENE EXPR SRS

EXPR Q2 2019 Earnings Presentation - FINAL - Compatibility ... · Microsoft PowerPoint - EXPR Q2 2019 Earnings Presentation - FINAL - Compatibility Mode Author: JZavislak Created

EXPR Q2 2019 Earnings Presentation - FINAL - Compatibility ... · Microsoft PowerPoint - EXPR Q2 2019 Earnings Presentation - FINAL - Compatibility Mode Author: JZavislak Created

The Retail Detail: EXPR Fashion Sells & Promos Low, COH ...

The Retail Detail: EXPR Fashion Sells & Promos Low, COH ...

SAMPL: Past, present and future

SAMPL: Past, present and future

SQL Server 2008R2 Expr

SQL Server 2008R2 Expr

INGEPET ’ 99 EXPR-1-JB

INGEPET ’ 99 EXPR-1-JB

EXPR jan 2016 IRPresentation (ExVideo) 1.16

EXPR jan 2016 IRPresentation (ExVideo) 1.16

Compensatory Jurisprudence Expr

Compensatory Jurisprudence Expr

Verbs Expr Feelingz

Verbs Expr Feelingz

Expr s WELCOME - RSPB

Expr s WELCOME - RSPB

sampl Project Format

sampl Project Format