1. Decomposition of Deep Neural Networks into Modules via Mutation Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Distributions for Compositionally Differentiating Parametric Discontinuities;Proceedings of the ACM on Programming Languages;2024-04-29
3. Persimmon: Nested Family Polymorphism with Extensible Variant Types;Proceedings of the ACM on Programming Languages;2024-04-29
4. Practical Program Modularization with Type-Based Dependence Analysis;2023 IEEE Symposium on Security and Privacy (SP);2023-05
5. Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05