Amazon/Intel Confidentia Presenter: Zhi Chen, Cody Yu Amazon SageMaker Neo, Deep Engine Science Bring Your Own Codegen to TVM AWS AI© 2019, Amazon Web Services, Inc. or its Affiliates. All rights reserved. Considering Prototyping https://github.com/apache/incubator-tvm/pull/4258 RFC https://discuss.tvm.ai/t/bring-your-own-codegen-to-tvm/4501© 2019, Amazon Web Services, Inc. or its Affiliates. All rights reserved. Acknowledgement

Outline Background • RustBelt Project • Rust Types Overview Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow Examples • Rc Logics • Hoare Logic • Separation {x = 3} x += 1 {x = 4} {True} loop {} {False} Hoare Logic Logics P: x ↦ v Ownership We own “x”, and “x” points to “v”. Disjointness Given “(x ↦ v) ∗ (y ↦ w)”, we know that “x ≠ y”, i.e. P −∗ Q Magic wand Consuming resource “P”, we can reach resource “Q”. Q P what we acually own Logics (x ↦ v) ∗ (x ↦ w) ⟹ False (x ↦ v) ∧ (x ↦ w) ⟹ v = w Separation Logic (Iris) (x = 1)

EnvironmentTestUtils OutputCapture TestRestTemplate 44. WebSockets 45. Web Services 46. Creating your own auto-configuration Understanding auto-configured beans Locating auto-configuration candidates Condition conditions Resource conditions Web application conditions SpEL expression conditions Creating your own starter Naming Autoconfigure module Starter module 47. What to read next V. Spring Boot Actuator: System metrics DataSource metrics Cache metrics Tomcat session metrics Recording your own metrics Adding your own public metrics Metric writers, exporters and aggregation Example: Export to Redis Example:

EnvironmentTestUtils OutputCapture TestRestTemplate 42. WebSockets 43. Web Services 44. Creating your own auto-configuration Understanding auto-configured beans Locating auto-configuration candidates Condition conditions Resource conditions Web application conditions SpEL expression conditions Creating your own starter Naming Autoconfigure module Starter module 45. What to read next V. Spring Boot Actuator: System metrics DataSource metrics Cache metrics Tomcat session metrics Recording your own metrics Adding your own public metrics Special features with Java 8 Metric writers, exporters and aggregation

EnvironmentTestUtils OutputCapture TestRestTemplate 41. WebSockets 42. Web Services 43. Creating your own auto-configuration Understanding auto-configured beans Locating auto-configuration candidates Condition conditions Resource conditions Web application conditions SpEL expression conditions Creating your own starter Naming Autoconfigure module Starter module 44. What to read next V. Spring Boot Actuator: System metrics DataSource metrics Cache metrics Tomcat session metrics Recording your own metrics Adding your own public metrics Special features with Java 8 Metric writers, exporters and aggregation

Christian Dupuis , Sébastien Deleuze Copyright © 2012-2017 Copies of this document may be made for your own use and for distribution to others, provided that you do not charge any fee for such copies and further ........................................................................... 149 43. Creating your own auto-configuration ......................................................................... 150 43 ......................................................................... 152 43.4. Creating your own starter ................................................................................ 152 Naming

Christian Dupuis , Sébastien Deleuze Copyright © 2012-2017 Copies of this document may be made for your own use and for distribution to others, provided that you do not charge any fee for such copies and further ........................................................................... 149 43. Creating your own auto-configuration ......................................................................... 150 43 ......................................................................... 152 43.4. Creating your own starter ................................................................................ 152 Naming

EnvironmentTestUtils OutputCapture TestRestTemplate 41. WebSockets 42. Web Services 43. Creating your own auto-configuration Understanding auto-configured beans Locating auto-configuration candidates Condition conditions Resource conditions Web application conditions SpEL expression conditions Creating your own starter Naming Autoconfigure module Starter module 44. What to read next V. Spring Boot Actuator: System metrics DataSource metrics Cache metrics Tomcat session metrics Recording your own metrics Adding your own public metrics Special features with Java 8 Metric writers, exporters and aggregation

EnvironmentTestUtils OutputCapture TestRestTemplate 41. WebSockets 42. Web Services 43. Creating your own auto-configuration Understanding auto-configured beans Locating auto-configuration candidates Condition conditions Resource conditions Web application conditions SpEL expression conditions Creating your own starter Naming Autoconfigure module Starter module 44. What to read next V. Spring Boot Actuator: System metrics DataSource metrics Cache metrics Tomcat session metrics Recording your own metrics Adding your own public metrics Special features with Java 8 Metric writers, exporters and aggregation

Christian Dupuis , Sébastien Deleuze Copyright © 2012-2017 Copies of this document may be made for your own use and for distribution to others, provided that you do not charge any fee for such copies and further ........................................................................... 149 43. Creating your own auto-configuration ......................................................................... 150 43 ......................................................................... 152 43.4. Creating your own starter ................................................................................ 152 Naming