2022
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

SMT-Based Translation Validation for Machine Learning Compiler.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2019
Tag2Pix: Line Art Colorization Using Text Tag With SECat and Changing Loss.
Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019