Fine-grained distributed consistency guarantees with effect orchestration. - Kia Rahmani; Gowtham Kaki; Suresh Jagannathan (PaPoC@EuroSys, 2018)

CLOTHO: directed test generation for weakly consistent database systems. - Kia Rahmani; Kartik Nagar; Benjamin Delaware; Suresh Jagannathan (Proc. ACM Program. Lang., 2019)

Repairing serializability bugs in distributed database programs via automated schema refactoring. - Kia Rahmani; Kartik Nagar; Benjamin Delaware; Suresh Jagannathan (PLDI, 2021)

Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (CoRR, 2021)

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis. - Kia Rahmani; Mohammad Raza; Sumit Gulwani; Vu Le 002; Daniel Morris 001; Arjun Radhakrishna; Gustavo Soares; Ashish Tiwari 001 (Proc. ACM Program. Lang., 2021)

PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations. - Jimmy Xin; Linus Zheng; Jiayi Wei; Kia Rahmani; Jarrett Holtz; Isil Dillig; Joydeep Biswas (CoRR, 2023)

Program Synthesis for Robot Learning from Demonstrations. - Noah Patton; Kia Rahmani; Meghana Missula; Joydeep Biswas; Isil Dillig (CoRR, 2023)

Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning. - Arko Banerjee; Kia Rahmani; Joydeep Biswas; Isil Dillig (NeurIPS, 2024)

Programming-by-Demonstration for Long-Horizon Robot Tasks. - Noah Patton; Kia Rahmani; Meghana Missula; Joydeep Biswas; Isil Dillig (Proc. ACM Program. Lang., 2024)

Programmatic Imitation Learning From Unlabeled and Noisy Demonstrations. - Jimmy Xin; Linus Zheng; Kia Rahmani; Jiayi Wei; Jarrett Holtz; Isil Dillig; Joydeep Biswas (IEEE Robotics Autom. Lett., 2024)