Analyses and Safe Transformations for Imperative Deep Learning Programs
Date:
(Presentation 1 hr 20 min): To increase the quality and maintainability of software systems, significant research is being done in the fields of program analysis, transformation, and automatic refactoring. Combining these can help programmers create software that is simpler to maintain and adapt over time while also reducing the risk of bugs and errors. In particular, the application of program analysis, transformation, and automatic refactoring has significant potential in developing large industrial deep learning (DL) software systems that utilize imperative-style programming. Utilizing these techniques can facilitate such systems’ robustness and automated evolution and maintenance.