| Mostly Automated Proof Repair for Verified Libraries K Gopinathan, M Keoliya, I Sergey Proceedings of the ACM on Programming Languages 7 (PLDI), 25-49, 2023 | 6 | 2023 |
| Simulating Noisy Channels in DNA Storage M Keoliya, P Sharma, D Jevdjic 2022 IEEE International Symposium on Performance Analysis of Systems and …, 2022 | 2 | 2022 |
| DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation Y Wu, M Keoliya, K Chen, N Velingker, Z Li, EJ Getzen, Q Long, M Naik, ... arXiv preprint arXiv:2406.00611, 2024 | 1 | 2024 |
| Implementing MicroKanren in Haskell M Keoliya, EL Tan, N Kwan | | |
| Undergraduate Research Opportunity (UROP) Project Report M Keoliya | | |
| DISCRET: a self-interpretable framework for treatment effect estimation Y Wu, N Velingker, Z Li, K Chen, M Keoliya, M Naik, Q Long, E Wong, ... | | |
