## Bring Your Own Codegen to TVM ## AWS AI Presenter: Zhi Chen, Cody Yu Amazon SageMaker Neo, Deep Engine Science ## Considering You Design and manufacture a deep learning chip which achieves amazing Prototyping https://github.com/apache/incubator-tvm/pull/4258 RFC https://discuss.tvm.ai/t/bring-your-own-codegen-to-tvm/4501 

的形式化语义模型 Background Rust Semantics • RustBelt Project • Type System • Rust Types Overview • The own Predict Logics • Exclusive Ownership & Mutable Borrow • Hoare Logic Examples • Separation Logic (Iris) P: $ X \mapsto V $ x $ \longrightarrow $ v $ \xleftarrow{x} $ y ## Ownership We own "x", and "x" points to "v". P * Q $$ \boxed{P} $$ Q ## Disjointness  what we acually own Magic wand Consuming resource “P”, we can reach resource “Q”. ## Logics Separation Logic (Iris)

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 7. 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

TestPropertyValues OutputCapture TestRestTemplate 45. WebSockets 46. Web Services 47. Creating Your Own Auto-configuration Understanding Auto-configured Beans Locating Auto-configuration Candidates Condition Conditions Testing your Auto-configuration Simulating a Web Context Overriding the Classpath Creating Your Own Starter Naming autoconfigure Module Starter Module 48. Kotlin support Requirements Null-safety Implementation 73. What to Read Next 1. ‘How-to’ guides 74. Spring Boot Application Create Your Own FailureAnalyzer Troubleshoot Auto-configuration Customize the Environment or ApplicationContext Before

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

WebSockets 47. Web Services 48. Calling Web Services with WebServiceTemplate 49. Creating Your Own Auto-configuration Understanding Auto-configured Beans Locating Auto-configuration Candidates Condition Conditions Testing your Auto-configuration Simulating a Web Context Overriding the Classpath Creating Your Own Starter Naming autoconfigure Module Starter Module 50. Kotlin support Requirements Null-safety Kotlin Implementation 75. What to Read Next IX. 'How-to' guides 76. Spring Boot Application Create Your Own FailureAnalyzer Troubleshoot Auto-configuration Customize the Environment or ApplicationContext Before

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

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 TestRestTemplate ..... 146 41. WebSockets ..... 148 42. Web Services ..... 149 43. Creating your own auto-configuration ..... 150 43.1. Understanding auto-configured beans ..... 150 43.2. Locating Web application conditions ..... 152 SpEL expression conditions ..... 152 43.4. Creating your own starter ..... 152 Naming ..... 152 Autoconfigure module ..... 152 Starter module ..... 153