Multi-modal program inference: A marriage of pre-trained language models and component-based synthesis K Rahmani, M Raza, S Gulwani, V Le, D Morris, A Radhakrishna, ... Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021 | 68 | 2021 |
CLOTHO: directed test generation for weakly consistent database systems K Rahmani, K Nagar, B Delaware, S Jagannathan Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 24 | 2019 |
Repairing serializability bugs in distributed database programs via automated schema refactoring K Rahmani, K Nagar, B Delaware, S Jagannathan Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 8 | 2021 |
Programming-by-demonstration for long-horizon robot tasks N Patton, K Rahmani, M Missula, J Biswas, I Dillig Proceedings of the ACM on Programming Languages 8 (POPL), 512-545, 2024 | 7* | 2024 |
Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations J Xin, L Zheng, K Rahmani, J Wei, J Holtz, I Dillig, J Biswas IEEE Robotics and Automation Letters, 2024 | 4* | 2024 |
Fine-grained distributed consistency guarantees with effect orchestration K Rahmani, G Kaki, S Jagannathan Proceedings of the 5th Workshop on the Principles and Practice of …, 2018 | 4* | 2018 |
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning A Banerjee, K Rahmani, J Biswas, I Dillig arXiv preprint arXiv:2405.13863, 2024 | | 2024 |
Multi-modal program inference AT Kiarash RAHMANI, Mohammad Raza, Sumit Gulwani, Vu Minh Le, Daniel James ... US Patent US20230176829A1, 2023 | | 2023 |
SYMBOLIC ANALYSIS OF WEAK CONCURRENCY SEMANTICS IN MODERN DATABASE PROGRAMS K Rahmani Purdue University, 2022 | | 2022 |
A Proof of Cut-Elimination Theorem for U Logic. K Rahmani | | 2014 |