Follow
Kia Rahmani
Title
Cited by
Cited by
Year
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
732021
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
242019
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
8*2024
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
82021
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
The system can't perform the operation now. Try again later.
Articles 1–10